Abstract
In this paper we present an extension to SNePSwD, a belief revision system which is capable of default reasoning, and belief revision. This extension pertains to a new way of performing belief revision, called permissive belief revision. Typically, to get rid of a contradiction in a set of beliefs, belief revision theories abandon one or more beliefs from that set. The idea behind permissive revision is to take the abandoned beliefs, weaken them, and add the weakened beliefs to the result of classical (in the sense of non-permissive) revision. So, the advantage of permissive revision over classical revision is that in some situations it allows us to keep more information.
In another direction, we used SNePSwD dependency records to avoid repeating inferences of formulas that were initially derivable from the abandoned beliefs, and are still derivable from the weakened beliefs.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Carlos E. Alchourrón, Peter Gärdenfors, 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.
Salem Benferhat, Souhila Kaci, Daniel Le Berre, and Mary-Anne Williams. Weakening conflicting information for iterated revision and knoweledge integration. In Proceedings of IJCAI-2001, Seattle, Washington, USA, 2001. Morgan Kaufmann Publishers, Inc.
Maria R. Cravo. A belief revision theory based on SWMC. Technical Report GIA 93/03, Instituto Superior Técnico, Universidade Técnica de Lisboa, Lisbon, Portugal, November 1993.
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.
Maria R. Cravo, João P. Cachopo, Ana C. Cachopo, and João P. Martinsr. Permissive belief revision. In Pavel Brazdil and Al’ıpio Jorge, editors, Proceedings of the 10th Portuguese Conference on Artificial Intelligence, number 2258 in Lecture Notes in Computer Science, pages 335–348, Porto, Portugal, 2001. Springer-Verlag.
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.
Gilbert H. Harman. Change in View: Principles of Reasoning. MIT Press, Cambridge, MA, USA, 1986.
João P. Martins and Stuart C. Shapiro. A model for belief revision. Artificial Intelligence, 35(1):25–79, 1988.
César F. Pimentel. Revisão permissiva de crenças: Teoria e aplicação. Master’s thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, Lisbon, Portugal, 2001.
Willard Van Orman Quine and Joseph S. Ullian. The Web of Belief. Random House, 2 edition, 1978.
Stuart C. Shapiro and João P. Martins. Recent advances and developments: The SNePS 2.1 report. In Kumar, editor, Current Trends in SNePS-Semantic Network Processing System: Proceedings of the First Annual SNePS Workshop, number 437 in Lecture Notes in Artificial Intelligence, pages 1–13, Heidelberg, Germany, 1990. Springer-Verlag.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pimentel, C.F., Cravo, M.R. (2002). Extending SNePSwD with Permissive Belief Revision. In: Priss, U., Corbett, D., Angelova, G. (eds) Conceptual Structures: Integration and Interfaces. ICCS 2002. Lecture Notes in Computer Science(), vol 2393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45483-7_21
Download citation
DOI: https://doi.org/10.1007/3-540-45483-7_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43901-1
Online ISBN: 978-3-540-45483-0
eBook Packages: Springer Book Archive