Abstract
In [1], the authors have extended Parikh’s relevance-sensitive model for belief revision by defining a new model for belief representation and local belief revision called C-structure Model. This model allows to make local revision when Parikh’s model fails to do it: the case of “fully overlapping belief sets”. Using Grove’s system of spheres construction, we consider additional constraints to define an ordering between interpretations, and show that these constraints allow to formalize perfectly the local revision by the mean of C-structure model, thus providing a well defined semantics for revision of C-structures.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Doukari, O., Würbel, E., Jeansoulin, R.: A new model for belief representation and belief revision based on inconsistencies locality. In: 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007, Patras, Greece, pp. 262–269. IEEE Computer Society Press, Los Alamitos (2007)
Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artificial Intelligence 57(2-3), 227–270 (1992)
Liberatore, P., Schaerf, M.: The complexity of model checking for belief revision and update. In: Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI 1996), pp. 556–561. AAAI Press/The MIT Press (1996)
Nebel, B.: How hard is it to revise a belief base? In: Dubois, D., Prade, H. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems. Belief Change, vol. 3, pp. 77–145. Kluwer Academic Publishers, Dordrecht (1998)
Bennaim, J., Benferha, S., Papini, O., Würbel, E.: An answer set programming encoding of prioritized removed sets revision: application to GIS. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 604–616. Springer, Heidelberg (2004)
Williams, M.A.: Applications of belief revision. In: ILPS 1997: International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases, London, UK, pp. 287–316. Springer, Heidelberg (1998)
Würbel, E., Papini, O., Jeansoulin, R.: Revision: an application in the framework of GIS. In: 7th International Conference on Principles of Knowledge Representation and Reasoning, KR 2000, Breckenridge, Colorado, USA, pp. 505–516 (2000)
Parikh, R.: Beliefs, belief revision, and splitting languages. Logic, language and computation 2, 266–278 (1999)
Chopra, S., Parikh, R.: Relevance sensitive belief structures. Annals of Mathematics and Artificial Intelligence 28, 259–285 (2000)
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Logic 50, 510–530 (1985)
Grove, A.: Two modelings for theory change. Philosophical Logic 17, 157–170 (1988)
Herzig, A., Rifi, O.: Propositional belief base update and minimal change. Artificial Intelligence 115, 107–138 (1999)
Chopra, S., Parikh, R., Wassermann, R.: Approximate belief revision. Logic J. IGPL 9, 755–768 (2001)
Peppas, P., Chopra, S., Foo, N.Y.: Distance semantics for relevance-sensitive belief revision. In: 9th International Conference on Principles of Knowledge Representation and Reasoning, KR 2004, Canada, pp. 319–328 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Doukari, O., Würbel, E., Jeansoulin, R. (2009). Distance-Based Semantics for C-Structure Belief Revision. In: Sossai, C., Chemello, G. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2009. Lecture Notes in Computer Science(), vol 5590. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02906-6_32
Download citation
DOI: https://doi.org/10.1007/978-3-642-02906-6_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02905-9
Online ISBN: 978-3-642-02906-6
eBook Packages: Computer ScienceComputer Science (R0)