Symbolic Evidence, Arguments, Supports and Valuation Networks

Starting from assumption-based propositional knowledge bases, symbolic evidence theory is developed. It is shown to be the qualitative equivalent of the well known numerical evidence theory (Dempster-Shafer theory). In particular it is shown how symbolic evidence fits into the framework of the axiomatic theory of valuation nets of Shenoy, Shafer (1990). This leads then to a local combination scheme for propagating symbolic arguments and supports similar to the methods of propagating probability or belief functions.

[1]  C. Hooker,et al.  Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science , 1976 .

[2]  Khaled Mellouli,et al.  On the propagation of beliefs in networks using the Dempster-Shafer theory of evidence , 1987 .

[3]  Katsumi Inoue,et al.  Linear Resolution for Consequence Finding , 1992, Artif. Intell..

[4]  Gregory M. Provan,et al.  A logic-based analysis of Dempster-Shafer theory , 1990, Int. J. Approx. Reason..

[5]  Raymond Reiter,et al.  Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.

[6]  D. Rose.  Triangulated graphs and the elimination process , 1970 .

[7]  Kathryn B. Laskey,et al.  Assumptions, Beliefs and Probabilities , 1989, Artif. Intell..

[8]  Umberto Bertelè,et al.  Nonserial Dynamic Programming , 1972 .

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

[10]  Jürg Kohlas.  The reliability of reasoning with unreliable arguments , 1991, Ann. Oper. Res..

[11]  Derek G. Corneil,et al.  Complexity of finding embeddings in a k -tree , 1987 .

[12]  Jürg Kohlas,et al.  Probabilistic Assumption-Based Reasoning , 1993, UAI.

[13]  G. Shafer.  A Theory of Statistical Evidence , 1976 .

[14]  Robert E. Tarjan,et al.  Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs , 1984, SIAM J. Comput..

[15]  Katsumi Inoue,et al.  Consequence-Finding Based on Ordered Linear Resolution , 1991, IJCAI.

[16]  Prakash P. Shenoy,et al.  Axioms for probability and belief-function proagation , 1990, UAI.