Skip to main content

Relevant Minimal Change in Belief Update

  • Conference paper
Logics in Artificial Intelligence (JELIA 2012)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7519))

Included in the following conference series:

  • 890 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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)

    Article  MathSciNet  MATH  Google Scholar 

  2. Dalal, M.: Investigations into a theory of knowledge base revision: Preliminary report. In: Proc. of AAAI 1988, pp. 475–479 (1988)

    Google Scholar 

  3. Darwiche, A., Marquis, P.: A Knowledge Compilation Map. Journal of Artificial Intelligence Research (17), 229–264 (2002)

    Google Scholar 

  4. Van de Putte, F.: Prime implicates and relevant belief revision. Journal of Logic and Computation 7, 1–11 (2011), DOI: 10.1093/logcom/exr040

    MATH  Google Scholar 

  5. Forbus, K.: Introducing actions into qualitative simulation. In: Proc. of IJCAI 1989, pp. 1273–1278 (1989)

    Google Scholar 

  6. Grove, A.: Two Modellings for Theory Change. J. of Philosophical Logic 17, 157–170 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  7. Katsuno, H., Mendelzon, A.: On the difference between updating a knowledge base and revising it. In: Proc. of KR 1991, pp. 387–394 (1991)

    Google Scholar 

  8. Katsuno, H., Mendelzon, A.: Propositional knowledge base revision and minimal change. Artificial Intelligence 52(3), 263–294 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  9. Kourousias, G., Makinson, D.: Parallel interpolation, splitting, and relevance in belief change. J. Symb. Log. 72(3), 994–1002 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  10. Makinson, D., Kourousias, G.: Respecting relevance in belief change. Análisis Filosófico 26(1), 53–61 (2006)

    MATH  Google Scholar 

  11. Marchi, J., Bittencourt, G., Perrussel, L.: Prime forms and minimal change in propositional belief bases. Annals of Math. and AI (2010)

    Google Scholar 

  12. McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4, 463–502 (1969)

    MATH  Google Scholar 

  13. Parikh, R.: Beliefs, belief revision, and splitting languages, vol. 2, pp. 266–278. Center for the Study of Language and Information, Stanford (1999)

    MATH  Google Scholar 

  14. Peppas, P., Chopra, S., Foo, N.: Distance semantics for relevance-sensitive belief revision. In: Proc. of KR 2004, pp. 319–328 (2004)

    Google Scholar 

  15. 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)

    Chapter  Google Scholar 

  16. 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)

    Google Scholar 

  17. Quine, W.V.O.: On cores and prime implicants of truth functions. American Mathematics Monthly 66, 755–760 (1959)

    Article  MathSciNet  MATH  Google Scholar 

  18. Winslett, M.: Reasoning about action using a possible models approach. In: Proc. of AAAI 1988, pp. 89–93 (1988)

    Google Scholar 

  19. Wu, M., Zhang, D., Zhang, M.: Language splitting and relevance-based belief change in horn logic. In: AAAI (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics