An Application of Non-Monotonic Probabilistic Reasoning to Air Force Threat Correlation

by   Kathryn Blackmond Laskey, et al.

Current approaches to expert systems' reasoning under uncertainty fail to capture the iterative revision process characteristic of intelligent human reasoning. This paper reports on a system, called the Non-monotonic Probabilist, or NMP (Cohen, et al., 1985). When its inferences result in substantial conflict, NMP examines and revises the assumptions underlying the inferences until conflict is reduced to acceptable levels. NMP has been implemented in a demonstration computer-based system, described below, which supports threat correlation and in-flight route replanning by Air Force pilots.


page 1

page 2

page 3

page 4

page 5

page 6


A Framework for Non-Monotonic Reasoning About Probabilistic Assumptions

Attempts to replicate probabilistic reasoning in expert systems have typ...

Conflict-based Force Aggregation

In this paper we present an application where we put together two method...

Uncertainty and Incompleteness

Two major difficulties in using default logics are their intractability ...

On the links between argumentation-based reasoning and nonmonotonic reasoning

In this paper we investigate the links between instantiated argumentatio...

Non-monotonic Reasoning and the Reversibility of Belief Change

Traditional approaches to non-monotonic reasoning fail to satisfy a numb...

An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider

In this article we present an implementation of non-monotonic reasoning ...

Tackling Air Traffic Conflicts as a Weighted CSP : Experiments with the Lumberjack Method

In this paper, we present an extension to an air traffic conflicts resol...