Abstract
AGM-style revision consists of two suboperations, contraction followed by expansion. With respect to Hansson, this is called “internal revision” and an alternative procedure, “external revision” is proposed. It consists in, first, expanding the belief base by the new sentence and after that contracting by its negation. In this paper, on the one hand, we propose a new framework for local belief revision by extending the LS-model introduced by Parikh and studied by several authors in the last decade. The new model, called the C-structure model, is based on adapting the containment property in propositional logic, since it has been defined in a spatial context. On the other hand, we define a “local external revision” operation equivalent to the one defined by Hansson -in a classical (not-local) framework- by defining local contraction operation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
Hansson, S.O.: Reversing the levi identity. Philosophical Logic 22, 637–639 (1992)
Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates, and counterfactuals, pp. 261–273 (1992)
Liberatore, P., Schaerf, M.: The complexity of model checking for belief revision and update. In: AAAI/IAAI, vol. 1, pp. 556–561 (1996)
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.: An inconsistency tolerant model for belief representation and belief revision. In: IJCAI 1999: Proc. of the 16th International Joint Conference on Artificial Intelligence, pp. 192–199. Morgan Kaufmann Publishers, San Francisco (1999)
Chopra, S., Parikh, R.: Relevance sensitive belief structures. Annals of Mathematics and Artificial Intelligence 28, 259–285 (2000)
Chopra, S., Georgatos, K., Parikh, R.: Relevance sensitive non-monotonic inference on belief sequences. J. of Applied Non-Classical Logics 11, 131–150 (2001)
Kourousias, G., Makinson, D.: Parallel interpolation, splitting, and relevance in belief change. J. Symb. Logic 72, 994–1002 (2007)
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)
Doukari, O., Jeansoulin, R.: Space-contained conflict revision, for geographic information. In: 10th AGILE International Conference on Geographic Information Science, Aalborg, Danmark (2007)
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)
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)
Hansson, S.O.: Kernel contraction. J. Symb. Logic 59, 845–859 (1994)
Mazure, B., Saïs, L., Grégoire, E.: Boosting complete techniques thanks to local search methods. Annals of Mathematics and Artificial Intelligence 22, 319–331 (1998)
Cook, S.: A short proof of the pigeon hole principle using extended resolution. SIGACT News 8, 28–32 (1976)
Chopra, S., Parikh, R., Wassermann, R.: Approximate belief revision. Logic J. IGPL 9, 755–768 (2001)
Hansson, S.O., Wassermann, R.: Local change. Studia Logica 70, 49–76 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Doukari, O., Jeansoulin, R., Würbel, E. (2008). A New Framework for Local Belief Revision. In: Gelbukh, A., Morales, E.F. (eds) MICAI 2008: Advances in Artificial Intelligence. MICAI 2008. Lecture Notes in Computer Science(), vol 5317. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88636-5_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-88636-5_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88635-8
Online ISBN: 978-3-540-88636-5
eBook Packages: Computer ScienceComputer Science (R0)