Publications
-
Information and Architecture
This paper is a continuation of [1] and builds on both the theory and the terminology of that earlier work.
-
Artificial intelligence methods for theory representation and hypothesis formation
This article describes artificial intelligence methods for representing theories in molecular biology, and for improving the predictive power of these theories using experimental data.
-
Managing Deliberation and Reasoning In Real-Time Ai Systems
This paper describes some recent research on architectures for situated (embedded) systems that need to deliberate and reason in real time. We present an architecture, based on the Procedural Reasoning…
-
Understanding Evidential Reasoning
We show that evidential reasoning can be interpreted in terms of classical probability theory and that the Dempster-Shafer calculus of evidence may be considered to be a form of generalized…
-
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…