Now showing items 1-10 of 25
Planner Implementation Proposal to ARPA 1972-1973
The task objective is the generalization and implementation of the full power of the problem solving formalism PLANNER in the next two years. We will show how problem solving knowledge can be effectively incorporated into ...
Viewing Control Structures as Patterns of Passing Messages
The purpose of this paper is to discuss some organizational aspects of programs using the actor model of computation. In this paper we present an approach to modelling intelligence in terms of a society of communicating ...
Specification and Proof Techniques for Serializers
This paper presents an implementation mechanism, specification language, and proof techniques for problems involving the arbitration of concurrent requests to shared resources. This mechanism is the serializer which ...
Teaching Procedures in Humans and Robots
Analysis of the structure of procedures is central to the foundations of problem soling. In this paper we explore three principle means for teaching procedures: telling, canned loops, and procedural abstraction. The ...
Modelling Distributed Systems
Distributed systems are multi-processor information processing systems which do not rely on the central shared memory for communication. This paper presents ideas and techniques in modelling distributed systems and ...
Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot
Planner is a formalism for proving theorems and manipulating models in a robot. The formalism is built out of a number of problem-solving primitives together with a hierarchical multiprocess backtrack control structure. ...
The Incremental Garbage Collection Processes
This paper investigates some problems associated with an expression evaluation order that we call "future" order, which is different from call-by-name, call-by-value, and call-by-need. In future order evaluation, an ...
Evolutionary Programming with the Aid of A Programmers' Apprentice
(MIT Artificial Intelligence Laboratory, 1979-05)
Actor Semantics of PLANNER-73
(MIT Artificial Intelligence Laboratory, 1974-11)
Work on PLANNER-73 and actors has led to the development of a basis for semantics of programming languages. Its value in describing programs with side-effects, parallelism, and synchronization is discussed. Formal definitions ...
Preliminary Design of the APIARY for VLSI Support of Knowledge-Based Systems
(MIT Artificial Intelligence Laboratory, 1979-06)
Knowledge-based applications will require vastly increased computational resources to achieve their goals. We are working on the development of a VLSI Message Passing Architecture to meet this need. As a first step we ...