A Universal Modular ACTOR Formalism for Artificial Intelligence
📜 Abstract
This paper proposes a modular ACTOR architecture and definitional method for artificial intelligence that is conceptually based on a single kind of object: actors [or, if you will, virtual processors, activation frames, or streams]. The formalism makes no presuppositions about the representation of primitive data structures and control structures. Such structures can be programmed, micro-coded, or hard wired in a uniform modular fashion. In fact it is impossible to determine whether a given object is "really" represented as a list, a vector, a hash table, a function, or a process. The architecture will efficiently run the coming generation of PLANNER-like artificial intelligence languages including those requiring a high degree of parallelism. The efficiency is gained without loss of programming generality because it only makes certain actors more efficient; it does not change their behavioral characteristics. The architecture is general with respect to control structure and does not have or need goto, interrupt, or semaphore primitives. The formalism achieves the goals that the disallowed constructs are intended to achieve by other more structured methods.
✨ Summary
The paper presents actors as a single, uniform abstraction for representing data structures, functions, processes, control mechanisms, logical formulae, databases, and other computational entities. Actors communicate by sending messages, with control flow and data flow treated as inseparable. The formalism includes continuations, partial-order histories of events, behavioral equivalence, extension worlds for hypothetical reasoning and procedure invocation, pattern-directed reception, and actor-based mechanisms for scheduling, monitoring, intentions, resource management, synchronization, and protection. It also proposes procedural semantics for logical operators and describes how substitution, reduction, and meta-evaluation could support deduction, program verification, compilation, automatic actor generation, and knowledge-base construction.
The paper’s documented influence is primarily conceptual and foundational. Later historical accounts identify it as an early and unusually broad formulation of the actor model, connecting message passing with concurrency, programming-language semantics, modularity, security, and artificial intelligence. (groups.seas.harvard.edu) Contemporary industry documentation from AWS cites the paper as an origin of decentralized, message-driven computation and relates its principles—state and behavior isolation, asynchronous interaction, and dynamic task creation—to modern distributed systems and agent design. This supports a connection to later research and industry discourse, but does not by itself establish that the paper directly influenced a particular commercial implementation. (docs.aws.amazon.com)