A model for non-monotonic reasoning using Dempster's rule

Considerable attention has been given to the problem of non-monotonic reasoning in a belief function framework. Earlier work (M. Ginsberg) proposed solutions introducing meta-rules which recognized conditional independencies in a probabilistic sense. More recently an e-calculus formulation of default reasoning (J. Pearl) shows that the application of Dempster's rule to a non-monotonic situation produces erroneous results. This paper presents a new belief function interpretation of the problem which combines the rules in a way which is more compatible with probabilistic results and respects conditions of independence necessary for the application of Dempster's combination rule. A new general framework for combining conflicting evidence is also proposed in which the normalization factor becomes modified. This produces more intuitively acceptable results.

[1]  Didier Dubois,et al.  Combination and Propagation of Uncertainty with Belief Functions - A Reexamination , 1985, IJCAI.

[2]  Mary Deutsch-McLeish,et al.  An investigation of the general solution to entailment in probabilistic logic , 1990, Int. J. Intell. Syst..

[3]  Judea Pearl,et al.  Reasoning with belief functions: An analysis of compatibility , 1990, Int. J. Approx. Reason..

[4]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[5]  Henri Prade,et al.  Representation and combination of uncertainty with belief functions and possibility measures , 1988, Comput. Intell..

[6]  Raj Bhatnagar,et al.  Handling Uncertain Information: A Review of Numeric and Non-numeric Methods , 1985, UAI.

[7]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[8]  Matthew L. Ginsberg,et al.  Does Probability Have a Place in Non-monotonic Reasoning? , 1985, IJCAI.

[9]  Benjamin N. Grosof,et al.  Non-monotonicity in probabilistic reasoning , 1986, UAI.

[10]  Mary McLeish.  A Note on Probabilistic Logic , 1988, AAAI.

[11]  Smets Ph.,et al.  Belief functions, Non-standard logics for automated reasoning , 1988 .

[12]  Drew McDermott,et al.  Default Reasoning, Nonmonotonic Logics, and the Frame Problem , 1986, AAAI.

[13]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems , 1988 .

[14]  H. Prade,et al.  An approach to approximate reasoning based on the Dempster rule of combination , 1987 .

[15]  Glenn Shafer,et al.  Perspectives on the theory and practice of belief functions , 1990, Int. J. Approx. Reason..

[16]  A. Dempster.  Upper and lower probability inferences based on a sample from a finite univariate population. , 1967, Biometrika.

[17]  Malcolm C. Harrison,et al.  An analysis of four uncertainty calculi , 1988, IEEE Trans. Syst. Man Cybern..

[18]  Matthew L. Ginsberg,et al.  Non-Monotonic Reasoning Using Dempster's Rule , 1984, AAAI.

[19]  Lotfi A. Zadeh,et al.  A Simple View of the Dempster-Shafer Theory of Evidence and Its Implication for the Rule of Combination , 1985, AI Mag..