Reconsidering AGM-Style Belief Revision in the Context of Logic Programs

Belief revision has been studied mainly with respect to background logics that are monotonic in character. In this paper we study belief revision when the underlying logic is non-monotonic instead— an inherently interesting problem that is under explored. In particular, we will focus on the revision of a body of beliefs that is represented as a logic program under the answer set semantics, while the new information is also similarly represented as a logic program. Our approach is driven by the observation that unlike in a monotonic setting where, when necessary, consistency in a revised body of beliefs is maintained by jettisoning some old beliefs, in a non-monotonic setting consistency can be restored by adding new beliefs as well. We will define two revision functions through syntactic and modeltheoretic methods respectively and subsequently provide representation theorems for characterising them.

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

[2]  Teodor C. Przymusinski,et al.  Update by Means of Inference Rules , 1997, J. Log. Program..

[3]  Hans Tompits,et al.  A Preference-Based Framework for Updating Logic Programs , 2007, LPNMR.

[4]  Hans Tompits,et al.  On properties of update sequences based on causal rejection , 2001, Theory and Practice of Logic Programming.

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

[6]  José Júlio Alferes,et al.  Dynamic updates of non-monotonic knowledge bases , 2000, J. Log. Program..

[7]  João Leite,et al.  The rise and fall of semantic rule updates based on SE-models , 2014, Theory Pract. Log. Program..

[8]  Ken Satoh.  Nonmonotonic Reasoning by Minimal Belief Revision , 1988, FGCS.

[9]  Norman Y. Foo,et al.  Towards Generalized Rule-based Updates , 1997, IJCAI.

[10]  Stefan Woltran,et al.  On Solution Correspondences in Answer-Set Programming , 2005, IJCAI.

[11]  Gabriele Kern-Isberner,et al.  Belief Base Change Operations for Answer Set Programming , 2012, JELIA.

[12]  SVEN OVE HANSSON,et al.  Reversing the Levi identity , 1993, J. Philos. Log..

[13]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[14]  Norman Y. Foo,et al.  Updating Logic Programs , 1998, ECAI.

[15]  Kewen Wang,et al.  Partial Meet Revision and Contraction in Logic Programs , 2015, AAAI.

[16]  Stefan Woltran,et al.  A Model-Theoretic Approach to Belief Change in Answer Set Programming , 2013, TOCL.

[17]  João Leite,et al.  Evolving knowledge bases : specification and semantics , 2003 .

[18]  Hudson Turner,et al.  Strong equivalence made easy: nested expressions and weight constraints , 2003, Theory and Practice of Logic Programming.

[19]  Chiaki Sakama,et al.  An abductive framework for computing knowledge base updates , 2003, Theory Pract. Log. Program..

[20]  Mauricio Osorio,et al.  Updates in answer set programming: An approach based on basic structural properties , 2006, Theory and Practice of Logic Programming.

[21]  João Leite,et al.  On Semantic Update Operators for Answer-Set Programs , 2010, ECAI.

[22]  David Pearce,et al.  Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..

[23]  Katsumi Inoue,et al.  Characterization Theorems for Revision of Logic Programs , 2013, LPNMR.

[24]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[25]  Stefan Woltran,et al.  AGM-Style Belief Revision of Logic Programs under Answer Set Semantics , 2008, LPNMR.

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

[27]  João Leite,et al.  Robust Equivalence Models for Semantic Updates of Answer-Set Programs , 2012, KR.

[28]  Stefan Woltran,et al.  Model-based recasting in answer-set programming , 2013, J. Appl. Non Class. Logics.

[29]  Mauricio Osorio,et al.  Updates in Answer Set Programming based on structural properties , 2005 .