Stanford CS547 HCI Seminar | Winter 2026 | Creation, Evolution, and Formalization of Notations
TL;DR
This seminar challenges the traditional linear model of 'informal-to-formal' notation development, arguing that humans dynamically create new notations through collaborative practice while current AI systems are limited to 'instant formalization' into existing structures. The speaker presents a three-stage historical model of notation evolution—from culturally situated invention through community dispersion to institutional sanctification—to guide future HCI system design.
🤖 AI's Blind Spot: Instant Formalization vs. Creation 3 insights
AI locks users into dominant languages
While AI enables 'instant formalization' from vague prompts to runnable code like React or Python, this capability incentivizes users to abandon preferred languages for AI-optimized ones, suppressing notational diversity.
The creation dimension is missing
Current AI systems can translate informal ideas into existing formal representations but cannot dynamically co-create new abstractions with users to ground emerging shared understanding during collaborative work.
Risk of notational monoculture
As engineers default to languages like Python solely for better AI assistance, the feedback loop threatens to homogenize computational expression and erase context-specific notation innovations.
📊 Rethinking Formalization: Beyond the Spectrum 3 insights
The linear spectrum is insufficient
Traditional HCI theory (Shipman and McCall) models formalization as a simple horizontal progression from informal text to formal semantic nets, failing to capture how humans actually iterate on whiteboards.
Ad-hoc notation invention is constant
In practice, humans continuously invent and extend notations mid-think—such as modifying Venn diagrams with squares for AI and circles for humans to represent human-AI common ground.
Formalization requires two dimensions
Notation work involves both horizontal translation toward existing formalisms and vertical creation of entirely new representations, with AI currently supporting only the former while ignoring the latter.
📜 Historical Evolution of Notations 3 insights
Stage 1: Invention through metaphor
Notations originate as culturally situated inventions employing linking and grounding metaphors to accurately describe specific empirical phenomena within their birth communities.
Stage 2: Dispersion and divergence
As notations spread to broader communities, they naturally diverge and adapt to local needs unless active social and material infrastructure manages the dispersion process.
Stage 3: Institutional sanctification
Maturation culminates in standardization committees establishing canonical versions, effectively 'sanctifying' specific formal structures and often freezing further evolutionary adaptation.
Bottom Line
To advance human-AI collaboration, we must design systems that support the dynamic creation and evolution of new notations alongside users, rather than merely optimizing for instant formalization into existing dominant languages.
More from Stanford Online
View all
Stanford MS&E435 Economics of the AI Supercycle | Spring 2026 | Applications, Coding AI
Vercel founder Guillermo Rauch explains how AI coding agents have expanded the software development market by 10-100x, driving a fundamental shift from traditional web services to 'agentic infrastructure' where tokens replace pixels as the primary commodity and deployment becomes the critical value creator.
Stanford MS&E435 Economics of the AI Supercycle | Spring 2026 | Building AI Factories
Crusoe Energy CEO Chase Lockmiller explains how AI data centers represent history's second-largest infrastructure investment, driven by the economic potential of scalable 'digital labor.' He reveals Crusoe's strategy of building massive AI factories in stranded-power locations like Abilene, Texas, to overcome the industry's critical bottleneck: energized data center capacity.
AI in Healthcare Series: Inside the Rise of AI in Healthcare, Open Evidence and Cyber Risks
Former U.S. Chief Data Scientist DJ Patil warns that healthcare systems are dangerously unprepared for AI-enabled cyberattacks from nation states, while simultaneously seeing rapid democratization of medical knowledge through tools like Open Evidence that are fundamentally reshaping the doctor-patient relationship.
Stanford CS153 Frontier Systems | Scale, AGI, and the Future of Everything
Sam Altman explains how AI has fundamentally altered startup economics, enabling small teams to achieve unprecedented scale, while sharing OpenAI's journey from research lab to product company and arguing that pushing systems beyond conventional scaling limits often reveals emergent properties that consensus thinking misses.