The DIALOGIC system for syntactic analysis and semantic translation has been under development for over ten years, and during that time it has been used in a number of domains in both database interface and message-processing applications.
This paper constitutes an investigation into the generative capabilities of two-level phonology with respect to unilevel generative phonological rules.
Jerry R. Hobbs, Mark E. Stickel, Douglas E. Appelt, & Paul Martin
Abduction is inference to the best explanation. In the TACITUS project at SRI we have developed an approach to abductive inference, called "weighted abduction," that has resulted in a significant simplification of how the problem of interpreting texts is conceptualized.
The development of reasoning systems that can reason and plan in a continuously changing environment is emerging as an important area of research in Artificial Intelligence.
We describe an approach to abductive reasoning called weighted abduction, which uses inference weights to compare competing explanations for observed behavior. We present an algorithm for computing a weighted-abductive explanation, and sketch a model-theoretic semantics for weighted abduction.
This paper describes research concerned with automating the monitoring and control of spacecraft systems. In particular, the paper examines the application of SRI’s Procedural Reasoning System (PRS) to the handling of malfunctions in the Reaction Control System (RCS) of NASA’s space shuttle
In this report, we describe the search algorithm of the GEMPLAN multiagent planning system. The search algorithm is based upon the GEMPLAN domain description and its localized constraint representation.
In this research stereomodel acquisition geometry is analyzed, the relationship between stereomodel geometric parameters and stereoscopic fusion is established, and a criterion for collection of fusible models is tested.
