A General Family of Preferential Belief Removal Operators
- 75 Downloads
Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on supplementing the plausibility ordering with a second, guiding, relation over the worlds was presented in Booth et al. (Artif Intell 174:1339–1368, 2010). However it is not always reasonable to assume completeness of the underlying ordering. In this paper we generalise the structure of Booth et al. (Artif Intell 174:1339–1368, 2010) to allow incomparabilities between worlds. We axiomatise the resulting class of belief removal functions, and show that it includes an important family of removal functions based on finite prioritised belief bases.
KeywordsBelief revision Belief removal Belief contraction Belief change Plausibility orderings Finite belief bases
Unable to display preview. Download preview PDF.
- 3.Benferhat, S., Cayrol, C., Dubois, D., Lang, J., & Prade, H. (1993). Inconsistency management and prioritized syntax-based entailment. In Proceedings of IJCAI (pp. 640–647).Google Scholar
- 4.Benferhat, S., Lagrue, S., & Papini, O. (2005). Revision of partially ordered information: Axiomatization, semantics and iteration. In Proceedings of IJCAI (pp. 376–381).Google Scholar
- 5.Bochman, A. (2001). A logical theory of nonmonotonic inference and belief change. New York: Springer.Google Scholar
- 9.Brewka, G. (1989). Preferred subtheories: An extended logical framework for default reasoning. In Proceedings of IJCAI (pp. 1043–1048).Google Scholar
- 10.Cantwell, J. (1999). Relevant contraction. In Proceedings of the Dutch-German workshop on non-monotonic reasoning (DGNMR’99).Google Scholar
- 18.Maynard-Zhang, P., & Lehmann, D. (2003). Representing and aggregating conflicting beliefs. Journal of Artificial Intelligence Research, 19, 155–203.Google Scholar
- 22.Rott, H. (2001). Change, choice and inference: A study of belief revision and nonmonotonic reasoning. Oxford: Oxford University Press.Google Scholar
- 24.Shoham, Y. (1987). A semantical approach to nonmonotic logics. In Proceedings of LICS (pp. 275–279).Google Scholar
- 25.Yahi, S., Benferhat, S., Lagrue, S., Sérayet, M., & Papini, O. (2008). A lexicographic inference for partially preordered belief bases. In Proceedings of KR (pp. 507–517).Google Scholar