A Semantic Approach for Iterated Revision in Possibilistic Logic

In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for revision is too strong to define a practical one-step revision operator and some of them should be weakened. We then present a semantic approach for iterated revision in possibilistic logic using a one-step revision operator. The computation of the semantic approach is given. We show that our revision approach satisfies almost all the DP postulates for iterated revision and some other important logical properties.

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

[2]  Peter Gärdenfors,et al.  Knowledge in Flux: Modeling the Dynamics of Epistemic States , 2008 .

[3]  Bernhard Nebel,et al.  How Hard is it to Revise a Belief Base , 1996 .

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

[5]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[6]  Sven Ove Hansson,et al.  A textbook of belief dynamics - theory change and database updating , 1999, Applied logic series.

[7]  Didier Dubois,et al.  Iterated Revision as Prioritized Merging , 2006, KR.

[8]  Hans Rott,et al.  Two Dogmas of Belief Revision , 2000 .

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

[10]  Ronald Fagin,et al.  On the semantics of updates in databases , 1983, PODS.

[11]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[12]  Guilin Qi,et al.  A Revision-Based Approach to Resolving Conflicting Information , 2005, UAI.

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

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

[15]  Guilin Qi,et al.  A Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic , 2007, AAAI.

[16]  Bernhard Nebel,et al.  Belief Revision and Default Reasoning: Syntax-Based Approaches , 1991, KR.

[17]  Souhila Kaci,et al.  Weakening conflicting information for iterated revision and knowledge integration , 2001, Artificial Intelligence.

[18]  Henri Prade,et al.  A Practical Approach to Revising Prioritized Knowledge Bases , 2002, Stud Logica.

[19]  H. Prade,et al.  Possibilistic logic , 1994 .

[20]  Mary-Anne Williams,et al.  Towards a Practical Approach to Belief Revision: Reason-Based Change , 1996, KR.

[21]  Didier Dubois,et al.  Inconsistency Management and Prioritized Syntax-Based Entailment , 1993, IJCAI.

[22]  Gerhard Brewka,et al.  Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.

[23]  Donald Nute,et al.  Counterfactuals , 1975, Notre Dame J. Formal Log..