Revision over Partial Pre-orders: A Postulational Study

Belief revision is the process that incorporates, in a consistent way, a new piece of information, called input, into a belief base. When both belief bases and inputs are propositional formulas, a set of natural and rational properties, known as AGM postulates, have been proposed to define genuine revision operations. This paper addresses the following important issue : How to revise a partially pre-ordered information (representing initial beliefs) with a new partially pre-ordered information (representing inputs) while preserving AGM postulates? We first provide a particular representation of partial pre-orders (called units) using the concept of closed sets of units. Then we restate AGM postulates in this framework by defining counterparts of the notions of logical entailment and logical consistency. In the second part of the paper, we provide some examples of revision operations that respect our set of postulates. We also prove that our revision methods extend well-known lexicographic revision and natural revision for both cases where the input is either a single propositional formula or a total pre-order.

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

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

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

[4]  C. E. Alchourrón,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985 .

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

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

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

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

[9]  Maurice Pagnucco,et al.  Dynamic belief revision operators , 2003, Artif. Intell..

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

[11]  Jeff Z. Pan,et al.  An Argument-Based Approach to Using Multiple Ontologies , 2009, SUM.

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

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

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

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

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

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

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

[19]  Gabriele Kern-Isberner,et al.  Conditionals in Nonmonotonic Reasoning and Belief Revision , 2001, Lecture Notes in Computer Science.

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

[21]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

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

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

[24]  David Makinson,et al.  Parallel interpolation, splitting, and relevance in belief change , 2007, Journal of Symbolic Logic.

[25]  Mary-Anne Williams,et al.  Transmutations of Knowledge Systems , 1994, KR.

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

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

[28]  Michael Thielscher,et al.  Iterated Belief Revision, Revised , 2005, IJCAI.

[29]  D. Dubois,et al.  Belief Change Rules in Ordinal and Numerical Uncertainty Theories , 1998 .

[30]  Gabriele Kern-Isberner,et al.  Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals as Agents , 2001 .

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

[32]  Weiru Liu,et al.  Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework , 2012, KR.

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

[34]  Gabriele Kern-Isberner,et al.  A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets , 2011, IJCAI.