Publications

This paper is a continuation of [1] and builds on both the theory and the terminology of that earlier work.

Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC

Ce papier fait le point dans ce domaine, en essayant de repondre aux questions : Qu'est-ce que la couleur ? Quelles en sont les representations adequates ? Comment la determiner…

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…

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…

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…

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…

This article appeared in the Proceedings of the Defense Advanced Research Project Agency (DARPA) Workshop on Innovative Approaches to Planning, Scheduling, and Control.

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.

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…