Introduction to Knowledge-Based AI¶
Conundrums in AI¶
Five fundamental conundrums of AI:
Limited resources vs. intractable problems — Agents have finite computational resources (processing speed, memory), yet most interesting AI problems are computationally intractable. How can agents achieve near real-time performance?
Local computation vs. global constraints — All computation is local, but most AI problems have global constraints. How can agents address global problems using only local computation?
Deductive logic vs. abductive/inductive problems — Computational logic is fundamentally deductive, but many AI problems require abduction or induction.
Dynamic world vs. limited knowledge — The world is dynamic and knowledge is limited, yet an agent must begin with what it already knows. How can it address novel problems?
Complexity of explanation — Problem solving, reasoning, and learning are already complex; explanation and justification add further complexity. How can an agent explain or justify its decisions?
Characteristics of AI Problems¶
Six key characteristics of AI problems:
Incremental data — Data arrives incrementally, not all at once
Recurring patterns — The same kinds of problems recur
Multiple abstraction levels — Problems occur at many levels of abstraction
Computational intractability — Many interesting problems are computationally intractable
Dynamic world — The world constantly changes, but knowledge remains relatively static
Open-ended world — The world is open-ended, but knowledge is relatively limited
Characteristics of AI Agents¶
Five properties of AI agents:
Limited computing power — Finite processing speed and memory
Limited sensors — Cannot perceive everything in the world
Limited attention — Cannot focus on everything simultaneously
Deductive logic — Computational logic is fundamentally deductive
Incomplete knowledge — Knowledge of the world is incomplete relative to the world’s complexity
The central question: how can agents with such bounded rationality address open-ended problems?
What is Knowledge-Based AI¶
KBAI centers on three fundamental, interconnected processes:
Reasoning — Understanding natural language, making decisions, generating responses
Learning — Acquiring new knowledge, storing correct answers, updating from mistakes
Memory — Storing what is learned and providing access to knowledge needed for reasoning
These three processes form a tightly coupled cycle: we learn so we can reason; reasoning produces additional learning; learning is stored in memory; reasoning requires knowledge that memory provides. The more we know, the more we can learn. Together, these processes constitute deliberation.
The full cognitive agent architecture maps percepts (input) to actions (output) through three layers:
Reaction — Direct mapping of percepts to actions (no planning)
Deliberation — Reasoning, learning, and memory working together
Metacognition — Reasoning about one’s own deliberation and reaction
The Four Schools of AI¶
AI can be categorized along two dimensions:
Thinking vs. Acting — Planning a route (thinking) vs. driving a car (acting)
Optimal vs. Human-like — Optimizing for a specific task vs. exhibiting general human-like intelligence
This yields four quadrants:
Thinking optimally — Many machine learning algorithms that analyze large datasets for optimal patterns
Acting optimally — Airplane autopilots
Acting like humans — Improvisational robots that dance to music
Thinking like humans — Semantic web technologies; Knowledge-Based AI
KBAI falls in the thinking like humans quadrant. An autonomous vehicle might belong to “acting optimally,” but studying how humans drive can inform robot design, and robot design can illuminate human cognition — this bidirectional relationship is a key pattern in KBAI.
Cognitive Systems¶
The course subtitle is Cognitive Systems:
Cognitive — Dealing with human-like intelligence
Systems — Multiple interacting components (learning, reasoning, memory)
A cognitive system is situated in both a physical world and a social world. It takes percepts as input (via sensors) and produces actions as output (via actuators). Multiple cognitive systems can interact with each other.
The three-layered architecture of a cognitive system:
Reaction — Direct percept-to-action mapping. Example: seeing brake lights turn red and immediately pressing your brakes. No planning involved.
Deliberation — Goal-directed reasoning using learning, reasoning, and memory. Example: planning a lane change by assessing positions of surrounding cars and choosing left vs. right.
Metacognition — Reasoning about one’s own reasoning. Example: after a poorly executed lane change (cars honked because insufficient space was left), reflecting on the deliberation that produced the suboptimal plan and adjusting future behavior.
Intelligence is about mapping percepts to actions — selecting the right action given a particular world state. The three layers represent increasingly sophisticated ways to achieve this mapping.
Course Topics¶
The course is organized into eight major units:
Fundamentals — Knowledge representations (Semantic Networks, Production Systems) and reasoning strategies (Generate & Test, Means-End Analysis, Problem Reduction)
Planning — Logic as a knowledge representation, then systematic planning for achieving goals
Common Sense Reasoning — Reasoning about everyday situations (e.g., inferring who has the book after “John gave the book to Mary”); uses frames as a knowledge representation
Learning — A recurring theme throughout the course, with a dedicated unit covering multiple learning methods
Analogical Reasoning — Reasoning about novel problems by analogy to familiar ones; includes learning by recording cases and explanation-based learning
Visuospatial Reasoning — Reasoning with visual knowledge (e.g., diagram-based reasoning); uses constraint propagation
Design & Creativity — Building AI that handles novel situations with creative solutions
Metacognition — Thinking about thinking; course concludes with Ethics in AI
Topics are interleaved across units rather than covered sequentially.
The Cognitive Connection¶
KBAI is richly connected to cognitive science. Many course topics relate to human reasoning, learning, and memory. A key course goal is learning to use AI agent design to reflect on human cognition.