Search
Now showing items 1-10 of 37
Functional Abstraction in LISP and PLANNER
(1968-01-01)
Presented here is part of the graduate work that I am doing in the much broader area of protocol analysis (see A.I. memo 137). The goal of the function abstraction is to find a procedure that satisfies a given set of ...
Planner Implementation Proposal to ARPA 1972-1973
(1971-12-01)
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 ...
Design Issues in Parallel Architecture for Artificial Intelligence
(1983-11-01)
Development of highly intelligent computers requires a conceptual foundation that will overcome the limitations of the von Neumann architecture. Architectures for such a foundation should meet the following design ...
Concurrent Programming Using Actors: Exploiting Large-Scale Parallelism
(1985-10-01)
We argue that the ability to model shared objects with changing local states, dynamic reconfigurability, and inherent parallelism are desirable properties of any model of concurrency. The actor model addresses these ...
Viewing Control Structures as Patterns of Passing Messages
(1976-12-01)
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 ...
A Real Time Garbage Collector Based on the Lifetimes of Objects
(1981-10-01)
In previous heap storage systems, the cost of creating objects and garbage collection is independent of the lifetime of the object. Since objects with short lifetimes account for a large portion of storage use, it's ...
Linguistic Support of Receptionists for Shared Resources
(1984-09-01)
This paper addressed linguistic issues that arise in providing support for shared resources in large scale concurrent systems. Our work is based on the Actor Model of computation which unifies the lambda calculus, the ...
The Scientific Community Metaphor
(1981-01-01)
Scientific communnities have proven to be extremely successful at solving problems. They are inherently parallel systems and their macroscopic nature makes them amenable to careful study. In this paper the character of ...
Specification and Proof Techniques for Serializers
(1977-08-01)
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
(1970-09-01)
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 ...