Donald E. Walker, William H. Paxton, B. Grosz, Gary G. Hendrix, Ann E. Robinson, Jane J. Robinson, & J. Slocum
This paper describes the procedures for integrating knowledge from different sources in the SRI speech understanding system. A language definition system coordinates–at the phrase level–information from syntax, semantics, and discourse in the course of the interpretation of an utterance.
This paper describes the current status of research being performed by Stanford Research Institute on the development of a speech understanding system capable of engaging a human operator in a conversation about a specific task domain.
This paper summarizes initial progress on a computer based consultant project aimed at helping a novice mechanic work with electromechanical equipment.
A review of the principles and status of Prospector, a computer-based consultation program for mineral exploration. The mechanisms for representing ore deposit models by networks of inference rules are described, and the overall approach is compared to alternative decision making methodologies.
This paper builds a case for needed additional levels of representation and outlines the design of a general-purpose computer-vision system capable of high performance in a wide variety of industrial vision tasks.
Barbara J. Grosz, Aravind K Joshi, & Scott Weinstein
Linguistic theories typically assign various linguistic phenomena to one of the categories, syntactic, semantic, or pragmatic, as if the phenomena in each category were relatively independent of those in the others.
Rule-based systems are being applied to tasks of increasing responsibility. Deductive methods are being applied to their validation, to detect flaws in these systems and enable us to use them with more confidence.
This paper introduces the first implemented version of the problem solving language QA4 and illustrates the application of this language to some simple robot planning problems. Features of the language include built-in backtracking, parallel processing, pattern matching, and set manipulation.
The QA4 programming language is designed for the writing of theorem-provers, robot planners, and problem solvers. This note presents an informal introduction to the unusual programming concepts used in the construction of such problem-solving programs.
