Belief Change in Nonmonotonic Multi-Context Systems

Brewka and Eiter's nonmonotonic multi-context system is an elegant knowledge representation framework to model heterogeneous and nonmonotonic multiple contexts. Belief change is a central problem in knowledge representation and reasoning. In this paper we follow the classical AGM approach to investigate belief change in multi-context systems. Specifically, we formulate semantically the AGM postulates of belief expansion, revision and contraction for multi-context systems. We show that the change operations can be characterized in terms of minimal change by ordering equilibria of multi-context systems. Two distance based revision operators are obtained and related to the classical Satoh and Dalal revision operators via loop formulas.

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

[2]  Thomas Eiter,et al.  Distributed Nonmonotonic Multi-Context Systems , 2010, KR.

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

[4]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[5]  Joohyung Lee,et al.  Loop Formulas for Disjunctive Logic Programs , 2003, ICLP.

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

[7]  Paolo Ferraris,et al.  Logic programs with propositional connectives and aggregates , 2008, TOCL.

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

[9]  Thomas Eiter,et al.  Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems , 2007, AAAI.

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

[11]  Antonius Weinzierl,et al.  Managed Multi-Context Systems , 2011, IJCAI.

[12]  Frank van Harmelen,et al.  Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.

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

[14]  Tran Cao Son,et al.  Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.

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

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

[17]  S. Hansson,et al.  Twenty-Five Years of Research in Belief Change , 2011 .

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

[19]  Aldo Franco Dragoni,et al.  Toward a Revision for Multi-Context Systems , 2022 .

[20]  Thom W. Frühwirth,et al.  Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction , 2013, TOCL.

[21]  Fangzhen Lin,et al.  ASSAT: computing answer sets of a logic program by SAT solvers , 2002, Artif. Intell..

[22]  Stefan Woltran,et al.  Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2 , 2009, Theory and Practice of Logic Programming.

[23]  Luciano Serafini,et al.  Comparing formal theories of context in AI , 2004, Artif. Intell..

[24]  Pavlos Peppas,et al.  Handbook of Knowledge Representation Edited Belief Revision Pavlos Peppas 8.1 Introduction , 2022 .

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

[26]  Miroslaw Truszczynski,et al.  Answer set programming at a glance , 2011, Commun. ACM.

[27]  Wolfgang Faber,et al.  Logic Programming and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.

[28]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

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

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

[31]  Thomas Eiter,et al.  Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources , 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.

[32]  Juan Carlos Acosta Guadarrama,et al.  On updates of epistemic states: belief chance under incomplete information , 2009 .

[33]  Aldo Franco Dragoni,et al.  Distributed Belief Revision , 2004, Autonomous Agents and Multi-Agent Systems.

[34]  Mahesh Viswanathan,et al.  A counterexample-guided abstraction-refinement framework for markov decision processes , 2008, TOCL.

[35]  Wei Liu,et al.  A Framework for Multi-Agent Belief Revision , 2001, Stud Logica.