Artificial intelligence publications

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 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…

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…

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…

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,…

This paper describes some of the features of a Procedural Reasoning System (PRS) that enables it to operate effectively in such environments.

Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC