Author: John D. Lowrance

PEWS combines a proven project reporting methodology with the latest artificial intelligence techniques such as evidential reasoning. Together, they ensure the successful outcome of large projects.

The functional and operational requirements that define the DoD Directory will yield a system with a significant level of complexity. We describe the artificial intelligence-based approach developed to solve and reduce problems in order to achieve a usable, capable, secure, and manageable DoD Directory service.

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 probabilities reasoning based on the representation of probabilistic ignorance by intervals of possible values.

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

Evidential reasoning is a body of techniques that supports automated reasoning from evidence. It is based upon the Dempster-Shafer theory of belief functions. Both the formal basis and a framework for the implementation of automated reasoning systems based upon these techniques are presented. The formal and practical approaches are divided into four parts (1) specifying…

Over the past eight years, the Artificial Intelligence Center at SRI International has been developing new technology to address the problem of automated information management within real-world contexts. The result of this work is a body of techniques for automated reasoning from evidence, called evidential reasoning. These techniques emphasize the ability to reason from information…

Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC

One of the most highly touted virtues of knowledge-based expert systems is their ability to construct explanations for their lines of reasoning. However, there is a basic difficulty in generating explanations in expert systems that reason under uncertainty using numeric measures. In particular, systems based upon evidential reasoning using the theory of belief functions have…

We have developed both a formal basis and a framework for implementating automated reasoning systems

Over the past five years the Artificial Intelligence Center at SRI has been developing a new technology to address the problem of automated information management within real-world contexts. The result of this work is a body of techniques for automated reasoning from evidence that we call evidential reasoning. The techniques are based upon the mathematics…