A Theory of Mechanized Thought
A Blueprint for Building an AI Agent
For Logicians: a Finitist Description of Knowing
For AI Researchers: a Cognitive Architecture
For Social Science: An app that understands your subject
For Commerce: What comes after LLMs (like ChatGPT)
The basic ideas Outline
- What is a thing? - mental images modeled as IBML Types
- What are facts and how do we justify them? - reasoning with [contexts]
- Computations as/on things - restartable computations
The Type of Everything