Abstract
The notion of relevance was introduced by Parikh in the belief revision field for handling minimal change. It prevents the loss of beliefs that do not have connections with the epistemic input. But, the problem of minimal change and relevance is still an open issue in belief update. In this paper, a new framework for handling minimal change and relevance in the context of belief update is introduced. This framework goes beyond relevance in Parikh’s sense and enforces minimal change by first rewriting the Katzuno-Mendelzon postulates for belief update and second by introducing a new relevance postulate. We show that relevant minimal change can be characterized by setting agent’s preferences on beliefs where preferences are indexed by subsets of models of the belief set. Each subset represents a prime implicant of the belief set and thus stresses the key propositional symbols for representing the belief set.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. of Symbolic Logic 50(2), 510–530 (1985)
Dalal, M.: Investigations into a theory of knowledge base revision: Preliminary report. In: Proc. of AAAI 1988, pp. 475–479 (1988)
Darwiche, A., Marquis, P.: A Knowledge Compilation Map. Journal of Artificial Intelligence Research (17), 229–264 (2002)
Van de Putte, F.: Prime implicates and relevant belief revision. Journal of Logic and Computation 7, 1–11 (2011), DOI: 10.1093/logcom/exr040
Forbus, K.: Introducing actions into qualitative simulation. In: Proc. of IJCAI 1989, pp. 1273–1278 (1989)
Grove, A.: Two Modellings for Theory Change. J. of Philosophical Logic 17, 157–170 (1988)
Katsuno, H., Mendelzon, A.: On the difference between updating a knowledge base and revising it. In: Proc. of KR 1991, pp. 387–394 (1991)
Katsuno, H., Mendelzon, A.: Propositional knowledge base revision and minimal change. Artificial Intelligence 52(3), 263–294 (1991)
Kourousias, G., Makinson, D.: Parallel interpolation, splitting, and relevance in belief change. J. Symb. Log. 72(3), 994–1002 (2007)
Makinson, D., Kourousias, G.: Respecting relevance in belief change. Análisis Filosófico 26(1), 53–61 (2006)
Marchi, J., Bittencourt, G., Perrussel, L.: Prime forms and minimal change in propositional belief bases. Annals of Math. and AI (2010)
McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4, 463–502 (1969)
Parikh, R.: Beliefs, belief revision, and splitting languages, vol. 2, pp. 266–278. Center for the Study of Language and Information, Stanford (1999)
Peppas, P., Chopra, S., Foo, N.: Distance semantics for relevance-sensitive belief revision. In: Proc. of KR 2004, pp. 319–328 (2004)
Perrussel, L., Marchi, J., Zhang, D.: Characterizing Relevant Belief Revision Operators. In: Li, J. (ed.) AI 2010. LNCS, vol. 6464, pp. 42–51. Springer, Heidelberg (2010)
Perrussel, L., Marchi, J., Bittencourt, G.: Prime implicants and belief update. In: Proceedings of the Twenty-Second International FLAIRS Conference 2009, pp. 577–598 (2009)
Quine, W.V.O.: On cores and prime implicants of truth functions. American Mathematics Monthly 66, 755–760 (1959)
Winslett, M.: Reasoning about action using a possible models approach. In: Proc. of AAAI 1988, pp. 89–93 (1988)
Wu, M., Zhang, D., Zhang, M.: Language splitting and relevance-based belief change in horn logic. In: AAAI (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Perrussel, L., Marchi, J., Thévenin, JM., Zhang, D. (2012). Relevant Minimal Change in Belief Update. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds) Logics in Artificial Intelligence. JELIA 2012. Lecture Notes in Computer Science(), vol 7519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33353-8_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-33353-8_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33352-1
Online ISBN: 978-3-642-33353-8
eBook Packages: Computer ScienceComputer Science (R0)