Knowledge Level

Newell: a level of system description above the symbol level, in which behaviour is explained by what the system knows and wants (principle of rationality) — the theoretical home of agent theory.

In this vault

Knowledge-representation lineage

graph TD
  MC1["McCarthy (1959)<br/>Programs with Common Sense"] --> AT[Advice Taker]
  AT --> MC2["McCarthy (1969)<br/>Epistemological Problems of AI"]
  MIN1["Minsky (1974)<br/>A Framework for Representing Knowledge"] --> FR[Frames]
  MC2 --> CIRC["McCarthy (1980)<br/>Circumscription"]
  CIRC --> NM[Nonmonotonic reasoning]
  FR --> SoM["Minsky (1986)<br/>Society of Mind"]
  NEW["Newell (1982)<br/>The Knowledge Level"] --> KL((Knowledge Level))
  MC2 --> KL
  KL --> BDI[[BDI]]
  KL --> INT["Dennett<br/>Intentional Stance"]
  BRO["Brooks (1991)<br/>Intelligence Without Representation"] -.critique.-> KL
  CC["Clark & Chalmers (1998)<br/>The Extended Mind"] --> SoM
  SoM --> AGT[[Agent Architecture]]
  BDI --> AGT

Papers: Programs with Common Sense · A Framework for Representing Knowledge · Circumscription - A Form of Nonmonotonic Reasoning · The Knowledge Level · The Society of Mind · Intelligence Without Representation · The Extended Mind · Epistemological Problems of Artificial Intelligence

Backlinks

Levels of Description line 7
Symbol Level line 7
Principle of Rationality line 7
concept-map line 142
The Knowledge Level line 32
Toward Principles for the Design of Ontologies Used for Knowledge Sharing line 35

Linked Pages

Epistemological Problems of Artificial Intelligence

Reference: John McCarthy (1977). “Epistemological Problems of Artificial Intelligence.” In Proceedings of the 5th International Joint Conference on Artificial Intelligence (IJCAI-77), Cambridge, MA, pp. 1038-1044. IJCAI Computers and Thought Award Lecture. Source file: mccarthy-epistemological.pdf. URL

Summary

McCarthy’s IJCAI-77 invited lecture returns to the division of AI into epistemological and heuristic parts first drawn in Some Philosophical Problems from the Standpoint of Artificial Intelligence, and explains, eight years later, what the epistemological part actually studies: what kinds of facts about the world are available to an observer with given opportunities to observe, how these facts can be represented in the memory of a computer, and what rules permit legitimate conclusions to be drawn from them. Heuristics — how to search the space of possibilities — is deliberately bracketed.

The paper defends first-order logic as the right epistemological medium, introducing a key move: treating individual concepts as objects inside first-order logic so that modal phenomena (knowledge, belief, necessity) can be axiomatised without leaving the first-order setting — a move fully developed in First Order Theories of Individual Concepts and Propositions. McCarthy then formulates a precise criterion for epistemological adequacy: a theory is epistemologically adequate iff a robot whose database contains it, and which emits X just in case “I should emit output X now” is a logical consequence of its database, could in principle achieve its goals — irrespective of how fast the program runs. A theory that satisfies this but has no feasible proof search is heuristically inadequate. Most existing AI formalisms, he argues, fail the epistemological criterion — they are too narrow, too procedural, or too entangled with implementation.

The body of the paper surveys concrete epistemological problems: partial information, the representation of other agents’ knowledge, reasoning about one’s own ability, defaults (anticipating circumscription), temporal projection, and knowing what vs knowing that. It is the most concise and programmatic statement of the logicist agenda McCarthy pursued from 1959 through the 1980s, and it is the methodological ancestor of The Knowledge Level — Newell’s roughly contemporaneous reframing of the same distinction in terms of agents that are characterised solely by their knowledge and goals.

Key Ideas

Epistemological problems of AI — what can be known, how it is represented, what inferences are licensed — are studied separately from heuristic problems of search.
First-order logic with concepts as individuals (not modal operators) is the proposed medium for expressing partial knowledge, belief, and necessity.
Precise epistemological adequacy criterion: the theory suffices iff a robot emitting whatever sentences of the form “I should emit X now” are logical consequences of its database could achieve its goals given unbounded computation.
Heuristic adequacy is a separate requirement; a theory may be epistemologically adequate but practically useless.
Most current AI formalisms (MICROPLANNER, pattern-invocation systems, production rules) trade epistemological adequacy for heuristic adequacy — a premature optimisation.
Defaults, counterfactuals, self-knowledge, knowing-what vs knowing-that are identified as open epistemological problems.
The spectrum from logic-as-data through compiled / hardware-embedded knowledge — each step trades declarative generality for heuristic speed.

Connections

Programs with Common Sense
Recursive Functions of Symbolic Expressions and Their Computation by Machine
Some Philosophical Problems from the Standpoint of Artificial Intelligence — source of the epistemological/heuristic division refined here.
Circumscription - A Form of Nonmonotonic Reasoning — later technical answer to the default-reasoning problems this paper names.
Ascribing Mental Qualities to Machines — philosophical companion argued in parallel.
First Order Theories of Individual Concepts and Propositions — formal execution of the concepts-as-individuals move sketched here.
Generality in Artificial Intelligence
Towards a Mathematical Science of Computation
Correctness of a Compiler for Arithmetic Expressions
Elephant 2000 - A Programming Language Based on Speech Acts
Common Business Communication Language
Common Sense Reasoning
Knowledge Representation
Non-monotonic Reasoning
Epistemic Logic
The Knowledge Level — Newell’s parallel knowledge-level formulation.
The Society of Mind — Minsky’s opposing procedural / agent-based stance on the same questions.
Formal Verification — the epistemological-adequacy criterion is structurally analogous to logical completeness for specifications.

Conceptual Contribution

Claim: AI should separate epistemological adequacy (can the theory in principle drive correct action?) from heuristic adequacy (can the proof search be carried out fast enough?); most current AI formalisms have sacrificed the former for the latter, and progress requires re-asserting the epistemological standard — via first-order logic augmented with concepts-as-individuals.
Mechanism: The robot-with-a-database thought experiment: a system whose inputs become sentences in its database and which emits X iff "I should emit X now" is a logical consequence of its database. A theory is epistemologically adequate iff such a system could achieve its goals given unbounded time. This separates content of knowledge from efficiency of inference.
Concepts introduced/used: Epistemological Adequacy, Heuristic Adequacy, Concepts as Individuals, Knowledge Representation, Default Reasoning, Partial Information, First-Order Logic.
Stance: methodological / foundational
Relates to: The methodological backbone of the logicist programme — continued from Some Philosophical Problems from the Standpoint of Artificial Intelligence into First Order Theories of Individual Concepts and Propositions and Circumscription - A Form of Nonmonotonic Reasoning; its epistemological/heuristic distinction is the same divide that The Knowledge Level articulates from a different angle, and that The Society of Mind rejects by identifying knowledge with procedure.

The Extended Mind

Reference

Clark, Andy & Chalmers, David J. (1998). “The Extended Mind.” Analysis 58: 10–23. Reprinted in P. Grim (ed.), The Philosopher’s Annual vol. XXI, 1998.
HTML source: consc.net/papers/extended.html
(HTML-only; full prose captured below in the Summary.)

Summary

Clark and Chalmers ask where the mind stops and the world begins. Rejecting both the internalist “skin-and-skull” demarcation and Putnam/Burge semantic externalism, they advocate a third position: active externalism, on which environmental features play an active role in driving cognitive processes. Their illustrative ladder of Tetris-like cases — mental rotation, screen-button rotation, and a futuristic neural-implant rotation — is designed to show that the mere location of a computation (inside the skull vs. spread across agent and world) does not settle whether that computation is cognitive. Where a part of the world plays a functional role that would count as cognitive if performed in the head, it is part of the cognitive process. “Cognitive processes ain’t (all) in the head.”

The argument for active externalism rests on two-way coupling: when an organism and an external resource jointly govern behaviour, the coupled system is itself a cognitive system; remove the external component and behavioural competence drops as it would from removing brain tissue. This differs from standard semantic externalism, where the external element is causally remote and does little ongoing cognitive work. The celebrated case is Otto and Inga. Inga remembers the Museum of Modern Art is on 53rd Street and walks there; Otto has Alzheimer’s and relies on a notebook he always carries, consults, and trusts; he reads “MoMA is on 53rd Street” and walks there. Clark and Chalmers argue Otto’s notebook plays the same functional role Inga’s biological memory plays, so Otto genuinely believes — in advance of consultation — that MoMA is on 53rd Street. Belief, on the functionalist criterion, extends into the notebook.

The paper carefully distinguishes extended cognition from extended consciousness (they are not claiming Otto’s notebook is conscious), and lists criteria for candidate external beliefs: constancy of availability, direct availability when needed, automatic endorsement on retrieval, and past conscious endorsement. They anticipate objections — brittleness, bandwidth, privileged access — and argue these are differences of degree, not kind. The closing move is social and technological: language, institutions, and especially digital artefacts make extension pervasive, and selves become “spread into the world.”

Key Ideas

Active externalism: environment plays an active, ongoing causal role in cognition, not merely a distal referential role.
Parity principle: if a process done in the head would count as cognitive, doing it in the world also counts as cognitive.
Coupled systems: two-way interaction between organism and artefact yields a single cognitive system.
Otto’s notebook: dispositional beliefs can be stored in external media that are reliably available, automatically endorsed, and trusted.
Epistemic action (Kirsh & Maglio): manipulating the world to aid cognitive processes such as recognition and search.
Criteria for extended belief: constancy, accessibility, automatic endorsement, prior endorsement.
Not extended consciousness: the thesis concerns cognitive/functional states, not phenomenal experience.
Self as spread: language, notebooks, and culture routinely extend cognitive systems beyond the biological organism.

Connections

Computational Boundary of a Self — directly engages where to draw the self/system boundary; Clark–Chalmers is the classic argument that the boundary is not skin.
True Believers - The Intentional Strategy and Why It Works — Dennett’s intentional stance makes belief ascription pattern-based, compatible with extension into notebooks and devices.
Ascribing Mental Qualities to Machines — McCarthy’s permissive attribution of beliefs/goals to artefacts, a precondition for taking Otto’s notebook seriously.
The Society of Mind — Minsky’s distributed-mind intuition, internalised; Clark–Chalmers push the distribution outward.
Intelligence Without Representation — Brooks’s “world as its own best model” is a kindred thesis from robotics.
Actor Model, A Universal Modular Actor Formalism for Artificial Intelligence — coupling among autonomous components maps onto extended cognitive systems.
Agent Architecture — extended-mind arguments motivate agent designs that offload state to environment (stigmergy, blackboards, shared memory).
Semantic Web — if digital artefacts can be cognitive scaffolding, shared ontologies literally extend minds.

Conceptual Contribution

Intelligence Without Representation

Reference

Brooks, Rodney A. (1991). “Intelligence without representation.” Artificial Intelligence 47: 139–159. (Received September 1987.)
PDF: people.csail.mit.edu/brooks/papers/representation.pdf
Local: brooks1991_representation.pdf

Summary

Brooks challenges the dominant symbol-manipulation paradigm of classical AI, arguing that “representation is the wrong unit of abstraction in building the bulkiest parts of intelligent systems.” Drawing on an evolutionary argument — 3.5 billion years were spent evolving sensorimotor and survival competence, and only a few thousand years on “expert” symbolic knowledge — he claims the hard part of intelligence is mobility, vision, and acting in dynamic environments, not the formal problem-solving that dominated early AI. The “blocks-world” style of AI succeeds only because researchers have already factored out perception and motor action, relegating them to input/output black boxes.

In place of centralized symbolic architectures, Brooks proposes building autonomous mobile robots he calls “Creatures,” decomposed by activity rather than by function. Each activity-producing layer connects sensing to action directly and runs in parallel; higher layers are incrementally added on top of lower, already-working layers without a central symbolic world model. This is the subsumption architecture. The slogan is “the world is its own best model”: rather than maintaining an internal representation the robot re-perceives what it needs.

The paper’s philosophical payload is a rejection of the sense–model–plan–act pipeline and of the assumption that intelligence can be decomposed into modules trading symbolic messages. Brooks argues this methodological commitment — that perception delivers a human-style Merkwelt that central reasoning can operate on — is a form of self-deception, since each species and each robot inhabits its own Merkwelt. Intelligence is to be built bottom-up, situated and embodied, tested continuously against the real world.

Key Ideas

Situatedness and embodiment as design primitives: Creatures must cope with a dynamic environment and have some purpose in being.
Decomposition by activity, not function: layers of task-achieving behavior (avoid, wander, explore) replace perception → modeling → planning → action pipelines.
Subsumption architecture: higher competence layers inhibit/subsume lower ones while lower continue running.
No central representation: “the world is its own best model”; no shared symbolic world model between layers.
Evolutionary time argument: sensorimotor intelligence is the hard, ancient core; symbolic expertise is a thin late veneer.
Critique of abstraction: abstracting away perception and action is how AI self-deceives about having solved problems.
Hypothesis (H): representation is the wrong primitive for building intelligent systems.

Connections

Subsumption Architecture — this paper is the manifesto.
Intelligent Agents Theory and Practice — Wooldridge & Jennings use Brooks as the exemplar of reactive agents, contrasted with deliberative BDI agents.
The Society of Mind — shares the anti-monolithic, many-small-agents intuition, though Minsky retains representations.
Multi-Agent Systems — reactive/behavior-based approaches feed directly into swarm and MAS work.
Actor Model — independent parallel activity producers without a central controller.
A Universal Modular Actor Formalism for Artificial Intelligence — kindred rejection of centralized control.
Agent Architecture — subsumption is a canonical architecture contrasted with BDI, layered, hybrid.
Contrast with Knowledge Representation, Ontologies, Advice Taker — papers that double down on representation.

Conceptual Contribution

The Society of Mind

Reference: Marvin Minsky (1986). Simon & Schuster (Touchstone). ISBN 0-671-65713-5. Source file: minsky-society-of-mind.pdf. URL

Summary

Minsky’s landmark synthesis: mind is built from many small agents each of which by itself can only do very simple things, yet collectively — through the right kinds of organisation — give rise to intelligence. Thirty short chapters (each a few pages of essays numbered by subsection) develop a cognitive architecture in which no single agent is conscious, no single agent thinks, and no single agent understands — understanding is always a property of a society of agents working together.

The book ranges across agent theory (agents and agencies, hierarchies and heterarchies), memory (K-lines as activatable sets of agents that were co-active when something was learned), introspection (B-brains watching A-brains watching the world), language (polynemes, isonomes, micronemes, pronomes as classes of inter-agent signals), frames (trans-frames for actions, scripts for scenes), reasoning (chains, uniframes, negation), emotion and development (attachment learning, Papert’s principle), individuality (no unified self — an illusion produced by conflicting agencies), and consciousness (a coarse-grained access to the immediately prior mental state). Across all of it the architectural thesis is the same: agencies, not agents, do the work; and the agencies are themselves agencies all the way down.

As a cognitive-architecture proposal the book is a precise anti-unitarian manifesto — against the idea that there is a single central “thinker”, a single logical reasoner, or a single goal-pursuing executive. It is also the philosophical wellspring of modern multi-agent AI: Shoham’s Agent-Oriented Programming, Wooldridge & Jennings’ agent theory, the BDI tradition, and today’s LLM Agents frameworks (MetaGPT, CAMEL, AutoGen, AGENTS) all descend from — and often explicitly cite — this picture.

Key Ideas

Agents and agencies: the mind is a society; each agent is a specialist that knows little on its own; intelligence is organisational
Parts and wholes: a mind has no single “centre”; every whole is made of parts that are themselves wholes of smaller parts
Hierarchies and heterarchies: not pure trees — agencies form overlapping networks with mutual reciprocity
K-lines: Minsky’s theory of memory — a memory is a K-line that, when activated, re-arouses the set of agents whose joint activity earlier constituted the experience
B-brains and levels of introspection: a brain that watches another brain (and so on); the basis of self-knowledge, but also of systematic error
Frames and trans-frames: structured templates for objects and actions; trans-frames carry the origin/trajectory/destination pattern that underwrites verbs and planning
Polynemes / isonomes / micronemes / pronomes: categories of inter-agent signals — the ‘language’ in which agencies speak to each other
Papert’s Principle: genuine mental growth depends less on acquiring new skills than on acquiring better managerial agents that coordinate old ones
Uniframes and the Exception Principle: concepts are unified by exceptions-as-features, not by defining necessary-and-sufficient conditions
The self as society: personal identity is the persistent organisation of one’s agencies, not a unitary soul or homunculus
No sharp line between reasoning and perception: they are the same agency-activation process with different inputs

Connections

Ascribing Mental Qualities to Machines — McCarthy’s companion stance on design-stance mentalism
Intelligent Agents Theory and Practice — Wooldridge & Jennings’ weak/strong agency taxonomy
Agent-Oriented Programming — Shoham’s first-class “agent” abstraction descends from Minsky’s
Multi-Agent Systems
Multiagent Systems Sycara
BDI
Mental State
The Knowledge Level — Newell’s complementary stratification
Computational Boundary of a Self — Levin’s scale-free generalisation of the individual-as-society idea
Theory of Self-Reproducing Automata — the complication-threshold thesis is a direct ancestor
Self-Adaptive Systems
Agents Framework - Zhou et al
MetaGPT Meta Programming for Multi-Agent Collaboration
CAMEL Communicative Agents for Mind Exploration of LLM Society
AutoGen - Multi-Agent Conversation Framework
Multi-Agent Collaboration in AI - Wasif Tunkel
The Rise and Potential of LLM-Based Agents
Why Do Multi-Agent LLM Systems Fail
Language Games for Autonomous Robots
Myconet Fungi Inspired Superpeer Overlay
Ethical Governor
Metacognitive Loop
Ensuring Trustworthy and Ethical Behaviour in Intelligent Logical Agents
Subsumption Architecture
Semantic Information Processing
Common Sense Reasoning

Conceptual Contribution

Claim: Minds — human or artificial — are built from many simple specialist agents whose organised interactions produce intelligence. There is no single locus of thought, understanding, or selfhood; all mental phenomena are agency-level properties that dissolve if you look for them at the single-agent level.
Mechanism: Thirty small chapters each arguing from introspective examples, developmental psychology, and computational thought-experiments to commit to a specific architectural hypothesis — K-lines for memory, trans-frames for action, pronomes/polynemes for inter-agent signalling, B-brains for introspection, Papert’s principle for growth, the exception principle for concepts. No single chapter is decisive; the book’s force is cumulative.
Concepts introduced/used: Society of Mind, Agents (Minsky), Agencies, K-Lines, Trans-Frames, Pronomes, Polynemes, Isonomes, Micronemes, B-brains, Papert’s Principle, Uniframes, Difference-Engines, Frames (AI), Exception Principle, Investment Principle, Society-of-More
Stance: foundational / essay
Relates to: Minsky’s book is the direct ancestor of the Multi-Agent Systems paradigm. Agent-Oriented Programming, Intelligent Agents Theory and Practice, Multiagent Systems Sycara all inherit the agent-as-specialist framing. The modern LLM-agent revival (MetaGPT Meta Programming for Multi-Agent Collaboration, CAMEL Communicative Agents for Mind Exploration of LLM Society — note the name! — AutoGen - Multi-Agent Conversation Framework, The Rise and Potential of LLM-Based Agents) explicitly returns to the Society-of-Mind idiom: competence emerges from societies of small specialists talking to each other, not from a single monolithic model. B-brains prefigure the runtime self-oversight loop of Ensuring Trustworthy and Ethical Behaviour in Intelligent Logical Agents and the Metacognitive Loop / Ethical Governor. The anti-unitarian account of the self sits beside Computational Boundary of a Self (Levin) and the scale-free-cognition programme. Read alongside The Knowledge Level: Newell describes what such a system means at the agent level; Minsky gives a candidate how.

The Knowledge Level

Reference: Allen Newell (1982). “The Knowledge Level.” Artificial Intelligence 18(1): 87-127. (AAAI Presidential Address, Stanford, 19 Aug 1980; also in AI Magazine 2(2), 1981.) URL

Summary

Newell’s AAAI-80 presidential address proposes that above the symbol level (data structures manipulated by programs) there exists a distinct knowledge level whose medium is knowledge and whose laws are rationality. At the knowledge level an agent is characterised by what it knows and what goals it has; its behaviour is predicted by the principle of rationality — “if an agent knows that one of its actions will lead to a goal, it will select that action” — without commitment to any particular representation or processing mechanism.

The paper motivates the proposal by diagnosing three tensions in early-1980s AI: the mystification of “representation,” the residue of the 1960s-70s theorem-proving controversy (Planner/Microplanner/Conniver’s “uniform procedures will not work” reaction against resolution), and the diversity of answers in the SIGART Special Issue on Knowledge Representation (Brachman and Smith’s survey showing no consensus on quantification, quotation, self-description, or evaluation). Newell’s resolution: treat knowledge as a competence-level notion analogous to physicists’ treatment of temperature — a level with its own laws, reduced to but not replaced by the symbol level. Representations are then understood as symbol-level implementations of knowledge, and we gain a principled way to talk about what an AI system knows without confusing it with how that knowledge is stored.

The Knowledge Level is foundational for agent-oriented programming (Shoham’s “mental state” framing), for the BDI tradition, for KQML’s and FIPA’s claim that ACL semantics should be defined at the level of beliefs/intentions rather than byte-strings, and indirectly for McCarthy’s Elephant 2000, whose speech-act semantics presupposes that one can talk coherently about what a program knows and is committed to, independently of implementation.

Key Ideas

Computer systems are describable at multiple levels (device, circuit, logic, register-transfer, program/symbol); the knowledge level sits above the symbol level.
Medium of the knowledge level: knowledge (distinct from the data structures that represent it).
Law of behaviour at the knowledge level: the principle of rationality — actions selected to achieve goals given what is known.
The knowledge level is a competence-level account: it predicts behaviour without specifying mechanism, analogously to economic rationality.
Representation is the symbol-level realisation of knowledge; mystifying representation conflates the levels.
Diagnostic of the theorem-proving backlash: “uniform procedures will not work” was a symbol-level reaction to a knowledge-level question.

Connections

Agent-Oriented Programming — Shoham explicitly situates AOP at the knowledge level; mental states are Newell-level predicates over agents.
Elephant 2000 - A Programming Language Based on Speech Acts — Elephant commits to knowledge-level program variables (propositions, commitments, past speech acts), making knowledge-level description the native semantics of programs.
Ascribing Mental Qualities to Machines — McCarthy’s ascriptivism is the philosophical cousin of Newell’s levels argument.
Knowledge Representation
Agent Communication Languages — ACL semantics in the KQML/FIPA tradition are knowledge-level (beliefs/intentions) rather than symbol-level (bit patterns).
KIF — intended as a lingua franca at the symbol level that preserves knowledge-level content across heterogeneous systems.
Common Sense Reasoning

Conceptual Contribution

Claim: AI systems have a level of description above the symbol level — the knowledge level — whose medium is knowledge and whose law is rationality; this level is reducible to but not replaceable by the symbol level, and recognising it clarifies decades of representation debates.
Mechanism: Levels-of-description methodology imported from computer architecture; principle of rationality as the behaviour law; knowledge characterised competence-theoretically (what follows from what an agent knows and wants, not how); representations reconceived as symbol-level implementations of knowledge-level content; diagnostic application to the theorem-proving controversy and the SIGART Special Issue.
Concepts introduced/used: Knowledge Level, Symbol Level, Principle of Rationality, Competence vs Performance, Knowledge Representation, Levels of Description.
Stance: foundational
Relates to: The conceptual ground for agent-oriented and BDI programming; provides the “what an agent knows” vocabulary that KQML, Agent Communication Languages, and Elephant 2000 - A Programming Language Based on Speech Acts rely on; complements McCarthy’s ascriptivist argument in Ascribing Mental Qualities to Machines.

Circumscription - A Form of Nonmonotonic Reasoning

Circumscription — A Form of Non-Monotonic Reasoning (1980)

Reference: John McCarthy (1980). “Circumscription — A Form of Non-Monotonic Reasoning.” Artificial Intelligence 13(1-2): 27-39. The author-hosted PDF (2004 reformatting) adds a 1996 addendum; file is mccarthy-circumscription1980.pdf. Disambiguated from the 1986 sequel Circumscription - Applications to Formalizing Common Sense Knowledge which introduces formula circumscription and the abnormality predicate. URL

Summary

McCarthy’s landmark treatment of the qualification problem: any common-sense rule (e.g. “a rowboat can be used to cross a river”) is subject to an open-ended list of possible defeaters (no oars, a leak, cannibals, a sea monster) that cannot plausibly be enumerated in advance. Standard first-order logic is monotonic — adding premises never removes conclusions — so it cannot support the everyday inference “no defeater mentioned, therefore none present.”

Circumscription is a formally specified rule of conjecture that licenses jumping to the conclusion that the objects (or tuples) shown to satisfy a predicate P are the only ones that do. Adding a sentence “There is a bridge upstream” then legitimately retracts the original conclusion — non-monotonicity is thus built in at the rule-of-conjecture level, not by weakening the logic itself. The paper explains predicate circumscription, shows how domain circumscription (minimal inference) is a special case, works through the missionaries-and-cannibals puzzle to show how circumscription blocks sea-monster-style pedantry, and connects the technique to default reasoning (Reiter), to THNOT in MICROPLANNER (Sussman et al.), and to McCarthy’s broader project of formalising common-sense knowledge in logic.

Together with Ascribing Mental Qualities to Machines and First Order Theories of Individual Concepts and Propositions, this is one of the three pillars of McCarthy’s logicist programme. Its non-monotonic commitment is directly inherited by the CBCL proposal (partial-understanding messages) and by Elephant 2000’s treatment of commitments and speech-act preconditions.

Key Ideas

The qualification problem: common-sense rules have unbounded implicit preconditions that cannot be enumerated.
Monotonicity of FOL is the obstacle; circumscription is a rule of conjecture over FOL, not a modification of its proof theory.
Predicate circumscription: the tuples shown to satisfy P are all the tuples that do.
Domain circumscription (minimal inference) subsumed as a special case.
Non-monotonicity at the level of conjecture rather than entailment — new facts retract conjectures without breaking soundness of FOL.
“Common-sense knowledge must be expressed in a form that says a boat crosses rivers unless something prevents it” — ontology must admit prevention-entities.

Connections

Ascribing Mental Qualities to Machines — philosophical companion; circumscription is the formal tool for the ascriptive logicist programme argued for there.
First Order Theories of Individual Concepts and Propositions — shares the methodology of extending expressive power without abandoning first-order logic.
Common Sense Reasoning
Knowledge Representation
Elephant 2000 - A Programming Language Based on Speech Acts — Elephant’s commitments and speech-act preconditions are governed by defeasible, common-sense rules of exactly the kind circumscription was designed to formalise.
Foundations of Logic Programming - Lloyd — negation-as-failure in logic programming is a close cousin of circumscription.
Common Business Communication Language — CBCL’s ADJECTIVE construct and partial-understanding fallback are predicated on non-monotonic reading.

Conceptual Contribution

Claim: Common-sense reasoning requires non-monotonic inference, and this can be supplied to ordinary first-order logic by a rule of conjecture (circumscription) without modifying the logic itself.
Mechanism: Predicate circumscription schema: from a set of facts A mentioning P, conjecture that the only tuples satisfying P are those whose satisfaction follows from A. Domain circumscription as minimal-model inference. Combination with ordinary FOL rules of inference. Explicit introduction into the ontology of prevention-entities (“something wrong with the boat”).
Concepts introduced/used: Circumscription, Non-monotonic Reasoning, Qualification Problem, Default Reasoning, Minimal Model, Common Sense Reasoning, Rule of Conjecture.
Stance: foundational
Relates to: One of the three McCarthy pillars alongside Ascribing Mental Qualities to Machines and First Order Theories of Individual Concepts and Propositions; provides the defeasibility semantics that Elephant 2000 - A Programming Language Based on Speech Acts needs for commitment revision and Common Business Communication Language needs for partial-understanding messaging.

A Framework for Representing Knowledge

Reference

Minsky, Marvin (1974). “A Framework for Representing Knowledge.” MIT-AI Laboratory Memo 306, June 1974. Reprinted in P. Winston (Ed.), The Psychology of Computer Vision, McGraw-Hill 1975; shorter versions in Haugeland (ed.) Mind Design, MIT Press 1981, and in Collins & Smith (eds.) Cognitive Science, Morgan-Kaufmann 1992.
PDF: courses.media.mit.edu/2004spring/mas966/Minsky%201974%20Framework%20for%20knowledge.pdf
MIT DSpace: dspace.mit.edu/handle/1721.1/6089
Local: minsky1974_frames.pdf

Summary

Minsky argues that the “chunks” of reasoning, language, memory, and perception must be larger and more structured than the fine-grained representations (logical predicates, production rules, semantic nets of atoms) favored by then-contemporary AI and psychology. He proposes the frame as a data structure for representing a stereotyped situation — being in a certain kind of living room, attending a birthday party, viewing a cube from an angle. A frame has fixed top-level facts about the situation plus terminals (slots) that must be filled by specific instances meeting marker conditions; slots carry default assignments that are easily displaced by better-fitting data.

Frames are grouped into frame-systems whose members share terminals and whose transformations represent actions, cause-effect relations, or shifts of viewpoint (e.g., walking around a room: different visual frames share identity of the objects seen). Frame-systems are linked by an information-retrieval network that proposes replacement frames when matching fails. The theory covers visual scene analysis, linguistic understanding (discourse and story frames), memory and analogy, and default/non-monotonic reasoning — all as instances of selecting a frame, matching it against the situation, and repairing the match when surprises occur.

The apology in the paper is explicit: Minsky proposes representations without fully specifying the processes that use them, and he admits the basic frame idea is in the Bartlett “schema” / Kuhn “paradigm” tradition. The novelty is the frame-system and the integration of defaults, expectations, markers, and a retrieval network into a single architecture for common-sense thought. The paper closes Part 1 with vision and imagery; later parts address language, memory, control, and an appendix arguing that traditional logic is unsuited to realistic approximations.

Key Ideas

Frame: structured data-stereotype for a recurring situation, with fixed top-level and slotted terminals.
Terminal markers: constraints (person / object of sufficient value / sub-frame of a kind) on what may fill a slot.
Default assignments: terminals normally pre-filled, easily displaced; supports reasoning by example and non-monotonic inference.
Frame-systems and shared terminals: different frames of the same system describe a scene from different viewpoints; transformations among frames model action, perspective, causation.
Matching and replacement: an information-retrieval network offers alternative frames when the current frame fails; surprises drive learning.
Top-down expectation over bottom-up data: perception and language understanding are guided by expectations from proposed frames.
Against purely logical representation: common sense needs approximation and default reasoning, not quantified certainty.

Connections

Frames (AI) — this is the founding document.
The Society of Mind — Minsky’s later book generalizes the many-small-structures intuition; frames become agents.
Trans-Frames — later Minsky concept building on frame-system transformations for actions and causes.
Knowledge Representation — frames are one of the big three paradigms alongside logic and semantic nets.
Ontologies, Handbook On Ontologies — class/slot/default structure of frames is ancestral to object-oriented ontology languages (KL-ONE, F-Logic, OWL classes).
Ontolingua Portable Ontology Specifications, Toward Principles for the Design of Ontologies Used for Knowledge Sharing — frame-style slot-and-filler vocabulary.
A Common Ontology Of ACLs — shared terminals are conceptually parallel to shared performative slots.
Semantic Web — RDF/OWL frame-like class modelling traces to this paper.
Contrast with Intelligence Without Representation — Brooks’s opposite pole on whether structured representations are even needed.
Abnormality Predicate — default reasoning formalized later by McCarthy.

Conceptual Contribution

Programs with Common Sense

Reference: John McCarthy (1959). “Programs with Common Sense.” In Proceedings of the Teddington Conference on the Mechanization of Thought Processes, pp. 75-91. London: Her Majesty’s Stationery Office. Reprinted in Marvin Minsky (ed.), Semantic Information Processing, MIT Press, 1968, and in McCarthy’s Formalizing Common Sense (Ablex, 1990). Source file: mccarthy-mcc59.pdf. URL

Summary

The founding manifesto for knowledge representation and for logic-based AI. McCarthy proposes the advice taker — a program that reasons by manipulating sentences in a formal language (essentially predicate calculus), takes in advice in the form of declarative sentences, and deduces its actions from its premises together with imperative sentences about what is wanted. The central criterion he names is that the program “will have common sense” just in case it automatically deduces for itself a sufficiently wide class of immediate consequences of anything it is told and of what it already knows.

The paper distinguishes teaching a machine by imperative sentences (fast, no prior knowledge needed) from teaching by declarative sentences (exploits prior knowledge, robust to order, robust to context changes), and stakes AI on the declarative side. It lists five conditions for human-level intelligence — generality of representation, simple expression of behavior changes, improvability of the improving mechanism, concepts of partial success, and the ability to form reusable subroutines — and then sketches the advice taker as a concrete attempt at the second. The paper closes with a famous worked example: getting from home to the airport, formalised in a predicate-calculus-like language with premises such as at(I, desk), at(desk, home), and action axioms, so that the advice taker can chain them into a plan. A discussion appendix (Bar-Hillel, Oliver Selfridge, Yehoshua Bar-Hillel again, McCarthy’s replies) is one of the earliest recorded methodological debates in AI.

Every subsequent McCarthy paper — Recursive Functions (1960), Situation Calculus (1969), Epistemological Problems (1977), Circumscription (1980), Ascribing Mental Qualities (1979) — is in some sense an attempt to repair, extend, or defend a weakness of the advice-taker programme first stated here. It is also the point of origin for the entire declarative / symbolic tradition that the ACL design literature inherits.

Key Ideas

A program has common sense iff it automatically deduces a sufficiently wide class of immediate consequences of what it is told plus what it already knows.
Knowledge should be represented as sentences in a formal language (predicate calculus), not baked into procedures.
Declarative vs imperative instruction: declarative scales, imperative is fast; the advice taker chooses declarative.
To learn something, a program must first be capable of being told it.
Five pre-conditions for general intelligence: arbitrary behavior representable, simple expressibility of changes, improvable improvement mechanism, partial-success concepts, reusable subroutines.
Worked airport example — the first substantive formalisation of a situated plan in logic.

Connections

Recursive Functions of Symbolic Expressions and Their Computation by Machine — Lisp, the implementation vehicle proposed for the advice taker.
Some Philosophical Problems from the Standpoint of Artificial Intelligence — 1969 elaboration, introducing situation calculus to repair the action formalisation.
Epistemological Problems of Artificial Intelligence — 1977 diagnosis of what has and has not worked.
Circumscription - A Form of Nonmonotonic Reasoning — needed to make advice-taker inference non-monotonic.
Ascribing Mental Qualities to Machines
First Order Theories of Individual Concepts and Propositions
Generality in Artificial Intelligence
Towards a Mathematical Science of Computation
Correctness of a Compiler for Arithmetic Expressions
Elephant 2000 - A Programming Language Based on Speech Acts
Common Business Communication Language
Common Sense Reasoning
Knowledge Representation
The Knowledge Level — Newell’s characterisation of the advice-taker programme as operating at the knowledge level.
The Society of Mind — Minsky’s later (and more sceptical) response to the logicist programme.
Epistemic Logic

Conceptual Contribution

Claim: An intelligent agent can be built by representing its world as sentences in a formal (predicate-calculus) language, letting it take advice in declarative form, and deducing actions as logical consequences of its premises together with sentences about what it wants — the criterion of intelligence being how wide a class of immediate consequences it can automatically derive.
Mechanism: The advice taker architecture: formal-language knowledge base; declarative input (“I am at my desk”); imperative input (“I want to be at the airport”); rules of inference (predicate-calculus-style); action-producing deductions; interaction with humans that add or retract premises.
Concepts introduced/used: Advice Taker, Common Sense Reasoning, Declarative Knowledge, Knowledge Representation, Logicist AI, Planning, Situated Action.
Stance: foundational / programmatic
Relates to: The origin document of the declarative / logicist tradition that Knowledge Representation and Common Sense Reasoning formalise. The advice-taker agenda is continued in Some Philosophical Problems from the Standpoint of Artificial Intelligence (situation calculus to model action), Epistemological Problems of Artificial Intelligence (methodological self-review), and Circumscription - A Form of Nonmonotonic Reasoning (non-monotonicity to handle the qualification problem inherent in declarative advice). Elephant 2000 - A Programming Language Based on Speech Acts and Common Business Communication Language are late-career revivals of the advice-taker vision applied to agent communication.

BDI

Belief-Desire-Intention

Dominant agent-architecture paradigm: agents maintain beliefs, desires, and intentions and deliberate over them.

In this vault

Principle of Rationality

Newell’s bridge law for the knowledge level: an agent will take an action whose preconditions it knows to hold and whose effects it wants. Gives knowledge-level descriptions predictive force.

In this vault

Symbol Level

Newell: the implementation layer below the knowledge level, where explicit symbolic representations are manipulated by rule.