A Robust Layered Control System for a Mobile Robot

Reference: Brooks, R. A. (1986). A Robust Layered Control System for a Mobile Robot. IEEE Journal of Robotics and Automation, 2(1), pp. 14–23. (Originally MIT AI Lab Memo 864, September 1985.) IEEE DOI · Open access PDF (MIT AI Memo 864)

Summary

Brooks introduces the subsumption architecture — a radical alternative to the sense-plan-act paradigm that dominated robotics through the 1980s. Where the prevailing approach decomposed robot control into functional modules (perception, world modelling, planning, motor control) operating on a single shared symbolic representation, Brooks’s architecture decomposes by behaviour: each layer of the system is a complete sense-act loop implementing one behavioural competence (avoid obstacles, wander, explore, build maps, identify objects, plan, …). Layers run concurrently and are connected by suppression and inhibition wires that allow higher (later-built) layers to subsume the outputs of lower layers. The lowest layer alone produces a useful (if minimal) robot — an obstacle-avoiding wanderer; each additional layer adds more sophisticated competence on top of an already-functional system. There is no central representation, no shared world model, no symbolic planner driving low-level action. Brooks demonstrated the architecture on a real mobile robot (Allen, the AI Lab’s first subsumption-architecture robot) navigating a cluttered office environment in real time — performance unattainable by the symbolic-AI robots of the era. The 1986 paper is the formal architecture description; the underlying philosophical thesis — that intelligent behaviour does not require explicit representation, that the world is its own best model — is developed in the 1991 follow-ups Intelligence Without Representation and Elephants Don’t Play Chess. The subsumption architecture inaugurated behaviour-based robotics as a research programme, influenced multi-agent systems through the reactive vs deliberative agents distinction, and supplied a substantial counter-tradition to BDI-style symbolic agency.

Key Ideas

Decomposition by behaviour, not function: each layer is a complete sense-act loop implementing one behavioural competence; functional decomposition (perception / planning / control) is rejected as the wrong organising principle.
Layered competence: layer 0 is a working (minimal) robot; each subsequent layer adds capability on top of an already-running system. The N-layer system always behaves at least as well as the (N-1)-layer system.
Suppression and inhibition wires: inter-layer communication is by suppression (a higher layer’s output replaces a lower layer’s signal at the suppression node for a fixed time) and inhibition (a higher layer’s signal blocks a lower layer’s output without substituting). No higher-bandwidth representation passes between layers.
No central representation: there is no shared world model. Each layer maintains its own state as needed; cross-layer communication is restricted to the suppression/inhibition primitive.
The world is its own best model: rather than maintain symbolic representations of the world, the robot perceives the world directly when it needs to act on it. Eliminates the symbol-grounding problem and the cost of keeping a world model synchronised with reality.
Real-time, real-environment demonstration: the architecture was demonstrated on Allen, then Herbert, then later the Cog humanoid project — operating in real environments in real time, with performance that the dominant symbolic-AI robotics could not match.
Modular evolution-friendly architecture: layers can be added or removed without modifying others; the architecture is robust to layer failure (the next-lower layer continues to operate). Brooks frames this as an evolutionary architecture in which more sophisticated competences accrete on top of basic survival competences.

Connections

Conceptual Contribution

Claim: Intelligent robot behaviour can be built by decomposing along behavioural competence rather than functional modules: each layer is a complete sense-act loop, layers run concurrently, higher layers subsume lower ones via suppression/inhibition, and there is no central symbolic representation. The architecture is incremental, evolution-friendly, and demonstrably outperforms symbolic-AI robotics in real-time real-world tasks.
Mechanism: Concurrent finite-state-machine layers each implementing one behavioural competence; suppression nodes (replace) and inhibition nodes (block) for inter-layer interaction; no shared world model; demonstration on real mobile robots (Allen, Herbert) in real environments.
Concepts introduced/used: Subsumption Architecture, Behaviour-Based Robotics, Reactive vs Deliberative Agents (the dichotomy this paper inaugurated), Suppression / Inhibition Networks, Layered Competence, Embodiment.
Stance: systems-engineering paper / programmatic break with symbolic-AI orthodoxy.
Relates to: Inaugurates the reactive (or behaviour-based) tradition in agent architectures, opposed at the time to the deliberative / symbolic tradition that produced BDI agents (Rao & Georgeff 1991, Cohen & Levesque 1990) and Agent-Oriented Programming (Shoham 1993). The dichotomy is now mostly resolved as a layered hybrid (3T architecture, BDI with reactive lower layers), but the historical break drove the conceptual repertoire of MAS for two decades. Conceptually adjacent to The Society of Mind (Minsky 1986) — both treat intelligence as the cooperation of many simple specialised agents, though Minsky’s society of agents are still symbolic where Brooks’s subsumption layers are not. The 1991 follow-ups Intelligence Without Representation (already in vault as Intelligence Without Representation) and Elephants Don’t Play Chess extend the philosophical critique. In modern multi-agent systems, the reactive vs deliberative distinction underwrites the design of LLM-agent architectures: the contemporary debate over chain-of-thought / planner-decoupling / tool-use vs end-to-end-trained reactive agents recapitulates Brooks’s polemic with new vocabulary.

Tags

#robotics #subsumption-architecture #brooks #behaviour-based #reactive-agents #foundations

Backlinks

Linked Pages

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

Agents (Minsky)

In Minsky’s Society of Mind: small processes each of which can only do a very simple thing. Intelligence emerges from how they are organised into agencies — not from the cleverness of individual agents.

In this vault

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.

Agent-Oriented Programming

Reference: Shoham, Y. (1993). Artificial Intelligence 60, Elsevier. Source file: shoam-aop.pdf. URL

Summary

Shoham introduces Agent-Oriented Programming (AOP) as a specialization of object-oriented programming in which the state of each module — now called an agent — is a mental state composed of beliefs, capabilities, decisions/choices, commitments, and obligations. Interpretation of these components is formally grounded in an extension of standard epistemic logics that adds temporality, obligation, decision, and capability operators.

Agents communicate via speech-act-inspired primitives (inform, request, offer, promise, decline, etc.), constrained by rules such as honesty and consistency. The paper defines a class of agent interpreters and presents AGENT-0, a concrete implemented language whose semantics is tied to the mental-state logic. Shoham also discusses “agentification” — converting arbitrary devices into AOP-programmable agents — and situates AOP against BDI architectures, speech act theory, and McCarthy’s Elephant2000.

Key Ideas

AOP as OOP specialization with mental-state components.
Agents constrained by honesty/consistency on communicative acts.
Speech-act-typed primitives as message types.
AGENT-0 language and interpreter.
“Agentification” of arbitrary devices.

Connections

Conceptual Contribution

Claim: Programming can be fruitfully specialised to an “agent” paradigm in which module state is a formally specified mental state and inter-module communication is a speech act constrained by rational/ethical rules.
Mechanism: Shoham extends standard modal-epistemic logic with temporal, obligation, decision and capability operators, defines the mental-state components of an agent (belief, capability, commitment, choice, obligation), then specifies a generic agent interpreter cycle (update mental state, execute commitments, handle incoming messages) and instantiates it in AGENT-0, whose programs are condition-action rules over mental state and whose messages are typed INFORM/REQUEST/UNREQUEST primitives.
Concepts introduced/used: Agent-Oriented Programming, Mental State, Commitment, AGENT-0, Speech Act Theory, Agentification, BDI, Honesty Constraint
Stance: foundational
Relates to: Establishes the mentalistic ACL stance later criticised by Agent Communication Languages - Rethinking the Principles and surveyed by Intelligent Agents Theory and Practice; AGENT-0’s speech-act primitives anticipate KQML as an Agent Communication Language and FIPA-ACL; the mental-state architecture is reused in An Interaction-oriented Agent Framework for Open Environments.

Tags

Intention Is Choice with Commitment

Reference: Cohen, P.R. & Levesque, H.J. (1990). Artificial Intelligence 42(3): 213–261. Source file: cohen-levesque-intention-is-choice-with-commitment.pdf. URL

Summary

Cohen and Levesque formalise the “rational balance” that holds between an autonomous agent’s beliefs, goals, actions, and intentions. They define intention as a composite mental attitude: a persistent goal that the agent is committed to pursuing until it is achieved, known to be impossible, or no longer relevant. This yields a modal logic whose axioms capture Bratman’s three functional roles for intention — posing problems for means-end reasoning, acting as a screen of admissibility for future intentions, and prompting the agent to track (and re-try) the success of its actions.

The paper opens with the now-classic “Willie the robot” vignette (uncommitted, overcommitted, then homicidally committed), framing intention as what an agent must reason about to be both reliable and responsive. By relativising intentions to beliefs about another agent’s intentions the authors also sketch a theory of interpersonal commitment that anticipates speech-act and multi-agent communication semantics.

Key Ideas

Persistent goal (P-GOAL): a goal an agent will not drop until it is believed achieved, believed impossible, or its relevance condition fails.
Intention defined as a P-GOAL to have done an action while believing one is about to do it — closing Bratman’s gap between intending and acting intentionally.
Avoids the “side-effect problem”: agents don’t intend foreseen side-effects of their actions.
Mutual/relativised intentions as a foundation for interpersonal commitments and speech acts.
Desiderata list (beliefs, feasibility, non-futility, tracking) becomes a standard benchmark for intention logics.

Connections

Agent-Oriented Programming
Belief-Desire-Intention
BDI Logic
BDI Architecture
Joint Intentions
Commitment
Mental State
Rational Action Semantics
Speech Act Theory
Intentional Stance
Flexible Protocol Specification and Execution
A Commitment-Based Approach to Agent Communication
Communicative Actions for Artificial Agents - Cohen Levesque — the 1995 ICMAS sequel that turns the 1990 framework into an explicit speech-act / ACL semantics; direct ancestor of FIPA-ACL.
FIPA-ACL Specifications
Mentalistic Semantics
ACL Rethinking Principles — Singh’s critique of the BDI-based ACL semantics built on this foundation.

Conceptual Contribution

Claim: Intention is not a primitive mental state but a choice with commitment — a goal plus a meta-policy for when to drop it.
Mechanism: Modal logic over beliefs and goals plus a temporal operator for persistence; intention defined compositionally so its functional roles (planning, filtering, tracking) are theorems rather than axioms.
Concepts introduced/used: Persistent Goal, Commitment, Rational Balance, Mental State, Nested Beliefs, Joint Intentions.
Stance: foundational/formal.
Relates to: Shoham’s Agent-Oriented Programming cites this paper as the prime candidate for grounding AOP’s mental-state semantics; Shoham deliberately chooses a simpler obligation/commitment primitive for AGENT-0 but frames C&L as the rigorous theory AOP languages should eventually implement. The paper also underwrites FIPA-style Mentalistic Semantics and Rational Action Semantics for ACLs.

Tags

Modeling Rational Agents within a BDI-Architecture

Reference: Rao, A. S., & Georgeff, M. P. (1991). In J. Allen, R. Fikes, & E. Sandewall (Eds.), Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR’91), 473–484. Morgan Kaufmann. Also AAII Technical Note 14. Source file: rao_georgeff_bdi_architecture.pdf. URL

Summary

Rao and Georgeff give the canonical formalization of the Belief–Desire–Intention architecture as a modal/temporal logic over a branching-time possible-worlds model (a first-order extension of CTL*). Beliefs, goals (chosen, consistent, believed-achievable desires), and intentions are each modelled as accessibility relations over time trees, with the crucial innovation that belief-, goal-, and intention-accessible worlds are themselves time trees rather than static worlds — so an agent’s mental state simultaneously ranges over uncertainty about the world (branches across belief-worlds) and choice among options (branches within each world).

The paper realises the central tenets of Bratman’s philosophical theory (intentions as partial plans, irreducible to belief+desire) in a tractable semantic framework and introduces the distinction between choice (what the agent picks) and possibility (what the environment affords). A key technical contribution is the family of commitment strategies — blind, single-minded, and open-minded — which parametrically define how intentions persist under changing beliefs, yielding a taxonomy of rational agent types from fanatically committed to fully reconsidering. The formalism relates intentions to actions via sub-world inclusion (goals ⊆ beliefs; intentions ⊆ goals), avoiding classical side-effect problems of earlier intention logics.

Key Ideas

First-order CTL*-based modal logic with Bel, Goal, Intend accessibility.
Belief-, goal-, intention-accessible worlds are themselves branching time trees.
Optional vs. inevitable path modalities; distinguishes choice from possibility.
Strong realism constraint: goal-worlds are sub-worlds of belief-worlds.
Commitment strategies: blind, single-minded, open-minded.
Intentions treated as first-class, non-reducible to beliefs and desires.
Comparison with Cohen–Levesque’s reductive intention formalism.

Connections

Conceptual Contribution

Claim: Rational agent behaviour is best modelled by treating beliefs, goals and intentions as equally fundamental modal attitudes over branching time, with agent types differentiated by commitment strategy rather than by reduction of intention to other attitudes.
Mechanism: (i) Adopt CTL*-style branching time where each situation is a time point in a time tree, with path modalities optional and inevitable; (ii) associate each situation with sets of belief-, goal-, and intention-accessible worlds, each itself a time tree, imposing sub-world containment (strong realism); (iii) define rationality postulates relating the three attitudes; (iv) axiomatise commitment policies (blind = drop intention only on achievement, single-minded = also drop when no longer believed achievable, open-minded = also drop when no longer desired), yielding distinct agent classes.
Concepts introduced/used: BDI Logic, Commitment Strategies, Strong Realism, Branching Time, Intention, Practical Reasoning
Stance: formal framework
Relates to: Formalises the philosophical picture of Two Faces of Intention and operationalises the stance of Intentional Stance; provides the semantic bedrock for BDI Architecture, Agent-Oriented Programming and the theory side of Intelligent Agents Theory and Practice; differs from and complements Intention Is Choice with Commitment (Cohen & Levesque) by treating intention as primitive rather than derived.

Tags

BDI

Belief-Desire-Intention

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

In this vault

Reactive vs Deliberative Agents

A classical dichotomy in agent architecture: reactive agents (Brooks, subsumption) respond to percepts via hardwired stimulus-response rules without explicit world models; deliberative agents (BDI, planning) maintain symbolic representations and reason over them before acting. Hybrid architectures combine a reactive lower layer with a deliberative upper layer.

In this vault

Behaviour-Based Robotics

The research programme inaugurated by Brooks’s subsumption architecture (1986) and Intelligence Without Representation (1991): build robotic intelligence by composing concurrent behavioural competencies (each a complete sense-act loop) rather than by decomposing into functional modules (perception / world-model / planning / control). Rejects central symbolic representation in favour of letting “the world be its own best model.” Influenced multi-agent systems through the Reactive vs Deliberative Agents dichotomy.

In this vault

Subsumption Architecture

Brooks’s layered reactive architecture in which behavioural modules are stacked so that higher layers subsume (override) lower ones; a canonical weak-agency alternative to symbolic deliberative architectures.

In this vault

A Universal Modular Actor Formalism for Artificial Intelligence

Reference

Hewitt, C., Bishop, P., & Steiger, R. (1973). “A Universal Modular Actor Formalism for Artificial Intelligence.” Proceedings of the 3rd International Joint Conference on Artificial Intelligence (IJCAI), 235-245. URL

Summary

Hewitt, Bishop, and Steiger introduce the Actor — a universal computational primitive that unifies data, procedure, and process under a single kind of object. An actor is an active agent with behavior defined entirely by the messages it sends and receives. All computational structures — numbers, functions, semaphores, cells, queues, interpreters — are modeled uniformly as actors that respond to messages. Control flow and data flow are inseparable; sending a message replaces goto, call-return, interrupt, and semaphore operations with a single mechanism.

The paper grew out of the PLANNER project and explicit dissatisfaction with the von Neumann / stored-program paradigm dominant in AI languages. In place of “program counter + global memory + interrupts,” the actor model offers local state per actor, inherent concurrency via simultaneous message sends, and a coherent account of parallelism that scales from fine-grained numeric computation to large, autonomous agents. The authors emphasize intentions as first-class properties — an actor’s intention is the contract it guarantees to satisfy for its senders, supporting a form of declarative meta-evaluation and debugging.

Hewitt’s framework anticipated and influenced a long arc of subsequent work: Smalltalk’s message-passing object model, Agha’s formalization of actor semantics, Erlang/OTP’s supervised processes and let-it-crash philosophy, the Akka framework, CSP (Hoare) which formalized a closely related but channel-centric style, and contemporary actor-based agentic systems. The paper’s insistence that “creation, control, and communication” are one mechanism remains the defining alternative to shared-memory concurrency.

Key Ideas

Actor = message-receiving agent: a single primitive subsumes data, procedures, processes.
Message passing only: no shared memory, no goto, no interrupt, no semaphore.
Inseparability of control and data: computation is intrinsic — “ask not what you can do to an object; ask what the actor will do for you.”
Inherent concurrency: every message send is potentially parallel.
Intentions / contracts: each actor publishes obligations; meta-evaluators check that behavior satisfies intentions.
Modularity via encapsulation: actors expose only message interfaces; internal state is private.
Universality: the formalism expresses every computational construct needed for AI programming without primitive aggregates.
Hierarchies of scheduling, intention, monitoring, binding, resource management: supervisory structures emerge naturally.

Connections

Actor Model
Programming Erlang Second Edition — the most successful large-scale realization.
Let It Crash
Supervision Tree
A Language-Based Approach To Prevent DDoS
The Society of Mind — Minsky’s agent-of-agents shares the intuition.
Communicating Sequential Processes — Hoare’s contemporary rival formulation.
Hoare Logic

Conceptual Contribution

Agent Architecture

The internal computational organisation of an agent — deliberative (BDI), reactive (subsumption), layered, or hybrid — along with the control loop and data pipelines that realise it.

In this vault

Architectural lineage

graph TD
  MC["McCarthy (1979)<br/>Ascribing Mental Qualities to Machines"] --> IS["Dennett<br/>Intentional Stance<br/>True Believers"]
  HEW["Hewitt (1973)<br/>Universal Modular Actor Formalism"] --> ACTOR[Actor Model]
  ACTOR --> CONC[Concurrent agents]
  BRAT["Bratman (1987)<br/>Intention Plans Practical Reason"] --> BDI[[BDI]]
  RG["Rao & Georgeff<br/>BDI Logic"] --> BDI
  MIN["Minsky<br/>Society of Mind"] --> SOC[Societies of sub-agents]
  BRO["Brooks (1991)<br/>Intelligence Without Representation"] --> SUB[Subsumption]
  SUB --> REACT[Reactive / behaviour-based]
  IS --> SHO["Shoham (1993)<br/>AGENT-0 · Agent-Oriented Programming"]
  BDI --> SHO
  SHO --> AA((Agent Architecture))
  REACT --> AA
  SOC --> AA
  CONC --> AA
  AA --> HYB[Hybrid / layered]

Papers: A Universal Modular Actor Formalism for Artificial Intelligence · Ascribing Mental Qualities to Machines · Intelligence Without Representation · The Society of Mind · True Believers - The Intentional Strategy and Why It Works · AGENT-0

Embodiment

The thesis (Brooks, Varela, Clark) that intelligent behaviour requires — or at least is best understood as — situated, physical interaction with the world rather than disembodied symbol manipulation. Closely associated with behaviour-based robotics, the Brooks claim that “the world is its own best model,” and the extended-mind hypothesis of Clark & Chalmers. The opposing position is the strong-symbolic-AI view that intelligence is in principle separable from any particular physical realisation.

In this vault

Sense-Plan-Act

The dominant pre-1986 robotics control paradigm: a serial pipeline through perception (“sense”), world-model construction and symbolic planning (“plan”), and motor control (“act”). Brooks’s subsumption architecture (1986) was an explicit rejection of this organisation in favour of decomposition by behavioural competence — concurrent sense-act loops with no central planner.