This paper describes the ACT formalism, which is designed to encode the knowledge required to support both the generation of complex plans and reactive execution of those plans in dynamic environments.
Program synthesis is the systematic derivation of a program from a given specification. A deductive approach to program synthesis is presented for the construction of recursive programs.
This paper presents a general criterion for measuring the degree to which any given theory can be considered a good explanation of a particular body of data.
This paper describes a language for constructing problem-solving programs. The language can manipulate several data structures, including ordered and unordered sets.
In October 1981, Japan announced a national project to develop highly innovative computer systems for the 1990s, with the title "Fifth Generation Computer Systems." This paper is a personal view of that project, its significance, and reactions to it.
This paper develops the following strategy: to achieve two goals simultaneously, develop a plan to achieve one of them and then modify that plan to achieve the second as well.
Description of SRI's design for a comprehensive study of alternative teacher certification programs, to determine the characteristics of those that were effective.
This report describes an abstract Prolog instruction set suitable for software, firmware, or hardware implementation. The instruction set is abstract in that certain details of its encoding and implementation are left open, so that it may be realized in a number of different forms.
