On analysis of unicity of Jeffrey's rule of conditioning in a probabilistic framework

Conditioning is an important task for designing intelligent systems in artificial intelligence. This paper addresses an issue related to the possibilistic counterparts of Jeffrey’s rule of conditioning. More precisely, it addresses the existence and unicity of solutions computed using the possibilistic counterparts of the socalled kinematics properties underlying Jeffrey’s rule of conditioning. We first point out that like the probabilistic framework, in the quantitative possibilistic setting, there exists a unique solution for revising a possibility distribution given uncertainty bearing on a set of exhaustive and mutually exclusive events. However, in the qualitative possibilistic framework, the situation is different. In particular, the application of the kinematics principle does not guarantee the existence of a solution. We provide precise conditions where the unicity of the revised possibility distribution exists. On analysis of the unicity of Jeffrey’s rule of conditioning in a possibilistic framework Salem Benferhat, Karim Tabia, Karima Sedki CRIL CNRS UMR 8188 Universite d’Artois {benferhat,tabia,sedki}@cril.univ-artois.fr

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

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

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

[4]  J. Pearl.  Causality: Models, Reasoning and Inference , 2000 .

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

[6]  Philippe Smets,et al.  Jeffrey's rule of conditioning generalized to belief functions , 1993, UAI.

[7]  Zoltan Domotor.  Probability Kinematics and Representation of Belief Change , 1980, Philosophy of Science.

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

[9]  Salem Benferhat,et al.  Possibilistic Causal Networks for Handling Interventions: A New Propagation Algorithm , 2007, AAAI.

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

[11]  Odile Papini.  Iterated Revision Operations Stemming from the History of an Agent’s Observations , 2001 .

[12]  L. Zadeh.  Fuzzy sets as a basis for a theory of possibility , 1999 .

[13]  Sébastien Konieczny,et al.  Improvement Operators , 2008, KR.

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

[15]  Didier Dubois,et al.  A General Framework for Revising Belief Bases Using Qualitative Jeffrey's Rule , 2009, ISMIS.

[16]  Didier Dubois,et al.  Three Scenarios for the Revision of Epistemic States , 2008, J. Log. Comput..

[17]  Craig Boutilier,et al.  Revision Sequences and Nested Conditionals , 1993, IJCAI.

[18]  Ronald R. Yager.  Fuzzy set and possibility theory : recent developments , 1982 .

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