Abstract
Intelligent agents must have some way of revising their beliefs. Even though the AGM paradigm [Alchourrón et al., 1985] provides a very elegant and powerful framework for reasoning about how a rational agent should change his beliefs when confronted with new information, it tells us very little about how that agent could really perform such belief changes. Moreover, the rational agent described is a highly idealized one, a perfect reasoner with infinite memory, logical ability, no inconsistent beliefs and no time constraints.
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 Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change. Journal of Symbolic Logic,50, 1985.
Salem Benferhat, Didier Dubois, and Henri Prade. Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. part I: The flat case. Studia Logica,pages 17–45, 1997.
Luis Farinas del Cerro and Andreas Herzig. Belief change and dependence. In Yohav Shoham, editor, Proceedings of TARK 96, 1996.
Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest. Introduction to Algorithms. MIT Press, 1990.
Simon E. Dixon. Belief Revision: a Computational Approach. PhD thesis, Basser Department of Computer Science, University of Sidney, 1994.
Stijn van Dongen. Graph clustering and information structuring. In E. Kraak and R. Wassermann, editors, Proceedings of the Accolade 97. Dutch Graduate School in Logic, 1997.
Jennifer Drapkin and Don Perlis. Step-logics: An alternative approach to limited reasoning. In Wolfgang Wahister, editor, Proceedings of the European Conference on Artificial Intelligence (ECM). Wiley, 1986.
Richard L. Epstein. The semantic foundations of logic, volume 1: Propositional Logic. Nijhoff International Philosophy Series. Kluwer Academic Publishers, 1990.
Ronald Fagin and Joseph Halpern. Belief, awareness, and limited reasoning. Artificial Intelligence, 34: 39–76, 1988.
André Fuhrmann. Theory contraction through base contraction. Journal of Philosophical Logic, 20: 175–203, 1991.
Gary and Elgot-Drapkin, 19961 Kevin Gary and Jennifer Elgot-Drapkin. RABIT- Bridging formal and implementational approaches to commonsense reasoning. Technical report, Arizona State University, 1996.
Kevin Gary. RABIT - A spreading activation approach to real-time commonsense reasoning. Master’s thesis, Arizona State University, Tempe, Arizona, 1993.
Sven Ove Hansson and Renata Wassermann. Local change. In preparation (a preliminary version was presented at the Fourth Symposium on Logical Formalizations of Commonsense Reasoning, London, 1998 ), 1999.
Sven Ove Hansson. Kernel contraction. Journal of Symbolic Logic, 59: 845–859, 1994.
Sven Ove Hansson. A Textbook of Belief Dynamics. Kluwer Academic Press, 1999.
Andreas Herzig. How to change factual beliefs using laws and independence information. In Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, and Hans Juergen Ohlbach, editors, Qualitative and Quantitative Practical Reasoning - First Int. Joint Conf. on Qual. and Quant. Practical Reasoning; ECSQARU-FAPR ‘87, number 1244 in LNCS, pages 311–321. Springer, jun 1997.
Stanislaw Jagkowski. Propositional calculus for contradictory deductive systems. Studia Logica, XXIV:143–157, 1969. Translation from the Polish original that appeared in Studia Societatis Scientiarum Torunensis, Vol 1, No. 5, 1948.
Robert Kowalski. Logic for Problem Solving. North Holland, 1979.
David Lewis. Logic for equivocators. Nofis, 16: 431–441, 1982.
Bernhard Nebel. Reasoning and Revision in Hybrid Representation Systems,volume 422 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1990.
Odinaldo T. Rodrigues. A Methodology for Iterated Information Change. PhD thesis, Imperial College, University of London, 1997.
Hans Ron. A nonmonotonic conditional logic for belief revision. In André Fuhrmann and Michael Morreau, editors, The logic of theory change. Springer Verlag, 1991. LNAI 465.
Hans Ron. Making up one’s mind: Foundations, coherence, nonmonotonicity. Habilitationsschrift, University of Konstanz. To appear as Change, Choice, and Inference, Oxford University Press, October 1996.
Renata Wassermann. Resource-bounded belief revision. Erkenntnis, 50: 429446, 1999.
Mary-Anne Williams. On the logic of theory base change. In Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA’95), 1994.
Marianne Winslett. Updating Logic Databases. Number 9 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Wassermann, R. (2001). On Structured Belief Bases. In: Williams, MA., Rott, H. (eds) Frontiers in Belief Revision. Applied Logic Series, vol 22. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9817-0_18
Download citation
DOI: https://doi.org/10.1007/978-94-015-9817-0_18
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5720-4
Online ISBN: 978-94-015-9817-0
eBook Packages: Springer Book Archive