Belief Change in Nonmonotonic Multi-Context Systems [chapter]

Yisong Wang, Zhiqiang Zhuang, Kewen Wang
2013 Lecture Notes in Computer Science  
Brewka and Eiter's nonmonotonic multi-context systems 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 the paper we follow the classical AGM approach to investigate belief change in multi-context systems. Specifically, we semantically formulate the AGM postulates of belief expansion, revision and contraction for multi-context systems. We show that the
more » ... revision 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).
doi:10.1007/978-3-642-40564-8_54 fatcat:6crgqok63bd6tm3o6khrvca3hi