Permissive Belief Revision

  • Maria R. Cravo
  • João P. Cachopo
  • Ana C. Cachopo
  • João P. Martins
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2258)


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.


Belief Revision Atomic Formula Traditional Theory Default Logic Weaken Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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.CrossRefMathSciNetGoogle Scholar
  2. 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. 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. 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.CrossRefGoogle Scholar
  5. 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. 6.
    Andr Fuhrmann. Theory contraction through base contraction. Journal of Philosophical Logic, 20(2):175–203, 1991.zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Daniel Lehmann. Belief revision revised. In Proceedings of IJCAI-95, pages 1534–1540, Montreal, Canada, 1995. Morgan Kaufmann Publishers, Inc.Google Scholar
  8. 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. 9.
    Bernhard Nebel. Reasoning and revision in hybrid representation systems, volume 422 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, Germany, 1990.zbMATHGoogle Scholar
  10. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Maria R. Cravo
    • 1
  • João P. Cachopo
    • 1
  • Ana C. Cachopo
    • 1
  • João P. Martins
    • 1
  1. 1.Dep. Eng. Informática, GIAInstituto Superior TécnicoLisboaPortugal

Personalised recommendations