Now that I Have a Good Theory of Uncertainty, What Else Do I Need?

by   Piero P. Bonissone, et al.

Rather than discussing the isolated merits of a nominative theory of uncertainty, this paper focuses on a class of problems, referred to as Dynamic Classification Problem (DCP), which requires the integration of many theories, including a prescriptive theory of uncertainty. We start by analyzing the Dynamic Classification Problem and by defining its induced requirements on a supporting (plausible) reasoning system. We provide a summary of the underlying theory (based on the semantics of many-valed logics) and illustrate the constraints imposed upon it to ensure the modularity and computational performance required by the applications. We describe the technologies used for knowledge engineering (such as object-based simulator to exercise requirements, and development tools to build the Knowledge Base and functionally validate it). We emphasize the difference between development environment and run-time system, describe the rule cross-compiler, and the real-time inference engine with meta-reasoning capabilities. Finally, we illustrate how our proposed technology satisfies the pop's requirements and analyze some of the lessons reamed from its applications to situation assessment problems for Pilot's Associate and Submarine Commander Associate.


page 1

page 2

page 5

page 7

page 8

page 9

page 10

page 11


Toward a Research Agenda in Adversarial Reasoning: Computational Approaches to Anticipating the Opponent's Intent and Actions

This paper defines adversarial reasoning as computational approaches to ...

Using T-Norm Based Uncertainty Calculi in a Naval Situation Assessment Application

RUM (Reasoning with Uncertainty Module), is an integrated software tool ...

Knowledge Engineering Within A Generalized Bayesian Framework

During the ongoing debate over the representation of uncertainty in Arti...

On Building a Knowledge Base for Stability Theory

A lot of mathematical knowledge has been formalized and stored in reposi...

Pulcinella: A General Tool for Propagating Uncertainty in Valuation Networks

We present PULCinella and its use in comparing uncertainty theories. PUL...

A Note on Digitization of Real-Time Models and Logics

Digitization provides a sound and complete method to reduce the problem ...

Analysis and Extension of the Evidential Reasoning Algorithm for Multiple Attribute Decision Analysis with Uncertainty

In multiple attribute decision analysis (MADA) problems, one often needs...

Please sign up or login with your details

Forgot password? Click here to reset