Reasoning with Uncertain Inputs in Possibilistic Networks

Graphical belief models are compact and powerful tools for representing and reasoning under uncertainty. Possibilistic networks are graphical belief models based on possibility theory. In this paper, we address reasoning under uncertain inputs in both quantitative and qualitative possibilistic networks. More precisely, we first provide possibilistic counterparts of Pearl's methods of virtual evidence then compare them with the possibilistic counterparts of Jeffrey's rule of conditioning. As in the probabilistic setting, the two methods are shown to be equivalent in the quantitative setting regarding the existence and uniqueness of the solution. However in the qualitative setting, Pearl's method of virtual evidence which applies directly on graphical models disagrees with Jeffrey's rule and the virtual evidence method. The paper provides the precise situations where the methods are not equivalent. Finally, the paper addresses related issues like transformations from one method to another and commutativity.

[1]  R. Yager An introduction to applications of possibility theory (+ commentaries by L.A. Zadeh, W. Bandler, T. Saaty, A. Kandel, D. Dubois & H. Prade, R.M. Tong and M. Kochen) , 1982 .

[2]  Arie Tzvieli Possibility theory: An approach to computerized processing of uncertainty , 1990, J. Am. Soc. Inf. Sci..

[3]  E. Hisdal Conditional possibilities independence and noninteraction , 1978 .

[4]  Didier Dubois,et al.  Possibility theory , 2018, Scholarpedia.

[5]  Jeff A. Bilmes,et al.  On Virtual Evidence and Soft Evidence in Bayesian Networks , 2004 .

[6]  Didier Dubois,et al.  Belief Revision and Updates in Numerical Formalisms: An Overview, with new Results for the Possibilistic Framework , 1993, IJCAI.

[7]  Jiri Vomlel,et al.  Probabilistic reasoning with uncertain evidence , 2004 .

[8]  Pascale Fonck,et al.  A comparative study of possibilistic conditional independence and lack of interaction , 1997, Int. J. Approx. Reason..

[9]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[10]  Didier Dubois,et al.  A synthetic view of belief revision with uncertain inputs in the framework of possibility theory , 1997, Int. J. Approx. Reason..

[11]  Didier Dubois,et al.  A survey of belief revision and updating rules in various uncertainty models , 1994, Int. J. Intell. Syst..

[12]  Didier Dubois,et al.  A Framework for Iterated Belief Revision Using Possibilistic Counterparts to Jeffrey's Rule , 2010, Fundam. Informaticae.

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

[14]  Weiru Liu,et al.  A framework for managing uncertain inputs: An axiomization of rewarding , 2011, Int. J. Approx. Reason..

[15]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[16]  Yun Peng,et al.  Belief Update in Bayesian Networks Using Uncertain Evidence , 2006, 2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06).

[17]  Adnan Darwiche,et al.  On the Revision of Probabilistic Beliefs using Uncertain Evidence , 2003, IJCAI.

[18]  Salem Benferhat,et al.  Jeffrey’s rule of conditioning in a possibilistic framework , 2011, Annals of Mathematics and Artificial Intelligence.

[19]  Salem Benferhat,et al.  Syntactic Computation of Hybrid Possibilistic Conditioning under Uncertain Inputs , 2013, IJCAI.

[20]  C. Aitken,et al.  The logic of decision , 2014 .

[21]  Adnan Darwiche,et al.  Modeling and Reasoning with Bayesian Networks , 2009 .