This paper builds on a technical report written by Carl Hewitt and Henry Baker called "Actors and Continuous Functionals". What is called a "goal-oriented activity" in that paper will be referred to in this paper as a ...

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 ...

An explanatory component is an important ingredient in any complex AI system. A simple generative scheme to build descriptive phrases from Lisp function calls can produce respectable explanations if explanation generators ...

This paper addresses theoretical issues involved for the implementation of security and modularity in concurrent systems. It explicates the theory behind a mechanism for safely delegating messages to shared handlers in ...

Contemporary concurrent programming languages fall roughly into two classes. Languages in the first class support the notion of a sequence of values and some kind of pipelining operation over the sequence of values. Languages ...

This paper introduces a frame-based description language and studies methods for reasoning about problems using knowledge expressed in the language. The system is based on the metaphor of a society of communicating experts ...

This paper gives some examples of the conceptual grammar approach to the representation of linguistic knowledge. First we give a short overview of the language we use to represent knowledge. Then we discuss an example ...

This paper contains an informal and sketchy overview of a new way of thinking about linguistics and linguistic processing known as conceptual grammar. Some ideas are presented on what kind of knowledge is involved in a ...

In the summer of 1978 a decision was made to devote a special issue of the SIGART newsletter to the subject of knowledge representation research. To assist in ascertaining the current state of people's thinking on this ...

This paper describes a hardware system designed to facilitate position and velocity control of a group of eight stepping motors using a PDP-11. The system includes motor driver cards and other interface cards in addition ...

In a distributed system where many processors are connected by a network and communicate using message passing, many users can be allowed to access the same facilities. A public utility is usually an expensive or limited ...

The registration of an image with a model of the surface being imaged is an important prerequisite to many image understanding tasks. Once registration is achieved, new image analysis techniques can be explored. One approach ...

This paper is written for an Area Examination on the three papers: "A Framed PAINTING: The Representation of a Common Sense Knowledge Fragment" by Eugene Charniak, "Reporter: An Intelligent Noticer" by Steve Rosenberg, and ...

This memo describes a vision program for recognizing simple furniture comprising assemblies of blocks, in which the same item may be composed in diverse ways. As such, it is concerned with three theoretical issues, perceptual ...

This paper describes GEL, a new geometry theorem prover. GEL is the result of an attempt to transfer the problem solving abilities of the EL electronic circuit analysis program of Sussman and Stallman to the domain of ...

This paper describes the progress made towards tracking an object visually using a PIN diode attached to a dual mirror deflection system which enables the PIN diode to "optically point" to any position in two-space. A ...

The paper introduces a language for representing knowledge in a declarative form. With this language it is possible to define knowledge about a certain domain by introducing a number of concepts and by specifying their ...