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…
-
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…
-
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…
-
On Acting Together
We present a formal definition of what it could mean for a group to jointly commit to a common goal, and explore how these joint commitments relate to the individual…