Skip to main content
Springer Nature Link
Log in

Permissive Belief Revision

  • Conference paper
  • First Online:
Progress in Artificial Intelligence (EPIA 2001)

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

Included in the following conference series:

  • 632 Accesses

Abstract

We propose a new operation of belief revision, called permissive belief revision. The underlying idea of permissive belief revision is to replace the beliefs that are abandoned by traditional theories with weaker ones, entailed by them, that still keep the resulting belief set consistent. This framework allows us to keep more beliefs than what is usual using existent belief base-based revision theories.

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

Access this chapter

Log in via an institution

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. Carlos E. Alchourrn, Peter Gedenfors, and David Makinson. On the logic of theory change: partial meet functions for contraction and revision. The Journal of Symbolic Logic, 50(2):510–530, 1985.

    Article  MathSciNet  Google Scholar 

  2. Salem Benferhat, Souhila Kaci, Daniel Le Berre, and Mary-Anne Williams. Weakening conflicting information for iterated revision and knowledge integration. In Proceedings of IJCAI-2001, Seattle, Washington, USA, 2001. Morgan Kaufmann Publishers, Inc.

    Google Scholar 

  3. Maria R. Cravo, Jo o P. Cachopo, Ana C. Cachopo, and Jo o P. Martins. Permissive belief revision (preliminary report). "Third Workshop on Nonmonotonic Reasoning, Action, and Change" (NRAC99), "Sixteenth International Joint Conference on Artificial Intelligence" (IJCAI99), August 1999.

    Google Scholar 

  4. Maria R. Cravo and Jo o P. Martins. SNePSwD, a newcomer to the SNePS family. Journal of Experimental and Theoretical Artificial Intelligence, 5:135–148, 1993.

    Article  Google Scholar 

  5. Maria R. Cravo. SWMC: A logic for default reasoning and belief revision (a new version). Technical Report GIA 93/02, Instituto Superior T cnico, Universidade T cnica de Lisboa, Lisbon, Portugal, November 1993.

    Google Scholar 

  6. Andr Fuhrmann. Theory contraction through base contraction. Journal of Philosophical Logic, 20(2):175–203, 1991.

    Article  MATH  MathSciNet  Google Scholar 

  7. Daniel Lehmann. Belief revision revised. In Proceedings of IJCAI-95, pages 1534–1540, Montreal, Canada, 1995. Morgan Kaufmann Publishers, Inc.

    Google Scholar 

  8. Bernhard Nebel. A knowledge level analysis of belief revision. In Proceedings of KR-89, pages 301–311. Morgan Kaufmann Publishers, Inc., Toronto, Canada, 1989.

    Google Scholar 

  9. Bernhard Nebel. Reasoning and revision in hybrid representation systems, volume 422 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, Germany, 1990.

    MATH  Google Scholar 

  10. C.F. Pimentel and M. R. Cravo. Permissive belief revision using default logic. Technical Report GIA 01/01, Instituto Superior T cnico, Universidade T cnica de Lisboa, Lisbon, Portugal, 2001.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dep. Eng. Informática, GIA, Instituto Superior Técnico, Av. Rovisco Pais, 1049-001, Lisboa, Portugal

    Maria R. Cravo, João P. Cachopo, Ana C. Cachopo & João P. Martins

Authors
  1. Maria R. Cravo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. João P. Cachopo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ana C. Cachopo
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. João P. Martins
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Economics LIACC, Laboratório de Inteligência Artificial e Ciência de Computadores, University of Porto, Rua do Campo Alegre, 823, 4150-180, Porto, Portugal

    Pavel Brazdil  & Alípio Jorge  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cravo, M.R., Cachopo, J.P., Cachopo, A.C., Martins, J.P. (2001). Permissive Belief Revision. In: Brazdil, P., Jorge, A. (eds) Progress in Artificial Intelligence. EPIA 2001. Lecture Notes in Computer Science(), vol 2258. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45329-6_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-45329-6_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43030-8

  • Online ISBN: 978-3-540-45329-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics