Publications
-
On The Semantics Of Fuzzy Logic
The problem of generating similarity functions from a given set of possibility distributions, with the latter interpreted as defining a number of (graded) discernibility relations and the former as the…
-
Simpson’s Paradox: A Maximum Likelihood Solution
Simpson's paradox exemplifies a class of problems that can arise when the logic used to reason about the semantics of propositional sentences does not adequately capture certain dependencies between sentences…
-
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…
-
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…
-
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…
-
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…
-
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…