Publications
-
Proving Properties Of Rule-Based Systems
Deductive methods are being applied to their validation, to detect flaws in these systems and enable us to use them with more confidence. Each system of rules is encoded as…
-
Plan Evaluation under Uncertainity
This article appeared in the Proceedings of the Defense Advanced Research Project Agency (DARPA) Workshop on Innovative Approaches to Planning, Scheduling, and Control.
-
Spoken Language In Interpreted Telephone Dialogues
This research outlines the predominant dialogue and performance characteristics of three-person interpreted telephone speech during service-oriented dialogues, in comparison with those of two-person non-interpreted dialogues.
-
Intelligent monitoring and diagnosis of semiconductor manufacturing
The use of AI methods to monitor and control semiconductor fabrication in a state-of-the-art manufacturing environment called the Rapid Thermal Multiprocessor is described.
-
Syntactic Constraints On Anaphoric Binding
One of the primary advantages of the treatment of syntactic constraints on anaphoric binding that has been presented here is that it provides a framework for stating binding constraints in…
-
Approximate Reasoning: Past, Present, Future
To contrast their objectives and characteristics with the sound deductive procedures of classical logic, methodologies developed for that purpose are usually described as relying on Approximate Reasoning. Using a unified…
-
Domain-Independent Task Specification In The Tacitus Natural Language System
We have defined and implemented a schema specification and recognition language for the TACITUS natural language system. We give examples of the use of this schema language in a diagnostic…
-
Incremental Interpretation
We present a system for the incremental interpretation of natural-language utterances in context. The main goal of the work is to account for the influences of context on interpretation, while…
-
Introducing The Tileworld: Experimentally Evaluating Agent Architectures
We describe a system called Tileworld, which consists of a simulated robot agent and a simulated environment which is both dynamic and unpredictable. We describe our initial experiments using Tileworld,…
-
Task-Oriented Dialogues As A Consequence Of Joint Activity
The purpose of this paper to show how a number of difficult-to-explain features of these dialogues follow from the joint or team nature of the underlying task. Specifically, the paper…
-
Translation By Abduction
This approach overcomes the common machine translation bottleneck by allowing mapping of information from the source to the target language at a variety of levels from the most superficial to…
-
A Survey Of AI Approaches To The Integration Of Information
In this paper, we first review briefly a variety of AI inference techniques, focusing primarily on logical inference and uncertain reasoning methods. We conclude with a survey of approaches used…