The goal of this project was to enable knowledge engineers to construct knowledge bases faster. We investigated two techniques: knowledge reuse and axiom templates. The results were demonstrated by developing a question-answering system for the crisis management challenge problem.
The implications of allowing parallel actions in a plan or problem solution are discussed. The planning system should take advantage of helpful interactions between parallel branches, must detect harmful interactions, and if possible, remedy them.
Parametric correspondence is a technique for matching images to a three dimensional symbolic reference map. An analytic camera model is used to predict the location and appearance of landmarks in the image, generating a projection for an assumed viewpoint.
By exploring the relationship between parsing and deduction, a new and more general view of chart parsing is obtained, which encompasses parsing for grammar formalisms based on unification, and is the basis of the Earley Deduction proof procedure for definite clauses.
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.
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.
This report presents a language, called QA4, designed to facilitate the construction of problem-solving systems used for robot planning, theorem proving, and automatic program synthesis and verification.
