A parser for a speech understanding system is described. The parser uses a best-first strategy in which alternative paths are assigned priorities and paths are suspended as long as there is a higher priority alternative to explore.
Certain restrictions on possible scopings of quantified noun phrases in natural language are usually expressed in terms of formal constraints on binding at a level of logical form.
Existing robot projects in the field of artificial intelligence have concentrated on tasks wherein the robot must excite an action in order to change the current state of its environment.
The objections to mentalistic psychology raised by Skinner in "Behaviorism at Fifty" [Skinner, 1984] are reviewed, and it is argued that a "cognitivist" perspective offers a way of constructing mentalistic theories that overcome these objections.
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.
In this paper we present a theory of referring. This theory is presented within the framework of a general theory of speech acts and rationality advanced by Cohen and Levesque.
D-LADDER (DIAMOND-based Language Access to Distributed Data with Error Recovery) is a computer system designed to provide answers to questions posed at the terminal in a subset of natural language regarding a distributed data base of naval command and control information.
Reasoning about the knowledge and beliefs of computer and human agents is assuming increasing importance in artificial intelligence systems for natural language, understanding, planning, and knowledge representation.
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.
