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

03/27/2013
by   Kathryn Blackmond Laskey, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

page 5

page 6

03/27/2013

A Framework for Non-Monotonic Reasoning About Probabilistic Assumptions

Attempts to replicate probabilistic reasoning in expert systems have typ...
05/16/2003

Conflict-based Force Aggregation

In this paper we present an application where we put together two method...
03/27/2013

Uncertainty and Incompleteness

Two major difficulties in using default logics are their intractability ...
01/13/2017

On the links between argumentation-based reasoning and nonmonotonic reasoning

In this paper we investigate the links between instantiated argumentatio...
03/20/2013

Non-monotonic Reasoning and the Reversibility of Belief Change

Traditional approaches to non-monotonic reasoning fail to satisfy a numb...
07/31/2019

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 ...
01/30/2020

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