Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework

Belief revision studies strategies about how agents revise their belief states when receiving new evidence. Both in classical belief revision and in epistemic revision, a new input is either in the form of a (weighted) propositional formula or a total pre-order (where the total pre-order is considered as a whole). However, in some real-world applications, a new input can be a partial pre-order where each unit that constitutes the partial pre-order is important and should be considered individually. To address this issue, in this paper, we study how a partial pre-order representing the prior epistemic state can be revised by another partial pre-order (the new input) from a different perspective, where the revision is conducted recursively on the individual units of partial pre-orders. We propose different revision operators (rules), dubbed the extension, match, inner and outer revision operators, from different revision points of view. We also analyze several properties for these operators.

[1]  Leon van der Torre,et al.  From Belief Change to Preference Change , 2008, ECAI.

[2]  Michael Freund,et al.  Preferential Reasoning in the Perspective of Poole Default Logic , 1998, Artif. Intell..

[3]  A. Hunter,et al.  Shapley Inconsistency Values , 2006, KR.

[4]  Emil Weydert,et al.  General Belief Measures , 1994, UAI.

[5]  Odile Papini,et al.  Iterated Revision by Epistemic States: Axioms, Semantics and Syntax , 2000, ECAI.

[6]  Richard Booth,et al.  Admissible and Restrained Revision , 2006, J. Artif. Intell. Res..

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

[8]  Didier Dubois,et al.  Representing Default Rules in Possibilistic Logic , 1992, KR.

[9]  Guillermo Ricardo Simari,et al.  A Change Model for Credibility Partial Order , 2011, SUM.

[10]  Weiru Liu,et al.  Revision Rules in the Theory of Evidence , 2010, 2010 22nd IEEE International Conference on Tools with Artificial Intelligence.

[11]  Weiru Liu,et al.  Modeling and reasoning with qualitative comparative clinical knowledge , 2011, Int. J. Intell. Syst..

[12]  Weiru Liu,et al.  Modeling Belief Change on Epistemic States , 2009, FLAIRS Conference.

[13]  Gabriele Kern-Isberner.  Handling conditionals adequately in uncertain reasoning and belief revision , 2002, J. Appl. Non Class. Logics.

[14]  Weiru Liu,et al.  Handling Sequential Observations in Intelligent Surveillance , 2011, SUM.

[15]  J. Pearl,et al.  On the Logic of Iterated Belief Revision , 1994, Artif. Intell..

[16]  H. Kyburg.  Iterated Belief Change Based on Epistemic Entrenchment* , 1994 .

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

[18]  Weiru Liu,et al.  A General Model for Epistemic State Revision using Plausibility Measures , 2008, ECAI.

[19]  Alexander Bochman,et al.  A Logical Theory of Nonmonotonic Inference and Belief Change , 2001, Artificial Intelligence.

[20]  Weiru Liu,et al.  Bridging Jeffrey's Rule, AGM Revision and Dempster Conditioning in the Theory of Evidence , 2011, Int. J. Artif. Intell. Tools.

[21]  Odile Papini,et al.  Revision of Partially Ordered Information: Axiomatization, Semantics and Iteration , 2005, IJCAI.

[22]  Weiru Liu,et al.  Belief change with noisy sensing in the situation calculus , 2011, UAI.

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

[24]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

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