Abstract
In this paper we present Structured Belief Bases (SBBs), a framework to reason about belief change. Structured Belief Bases can be considered as a special case of prioritised base revision, where the components of the base are allowed to be structured bases as well. This allows for the representation of complex levels of priority between sentences. Each component is resolved into a sentence via a revision operator taking the ordering into account. By adopting a right associative interpretation of the operator we avoid many of the problems with iteration faced by revision operators complying with the AGM postulates. New beliefs can be accepted by simply incorporating them into the base with highest priority.
Preview
Unable to display preview. Download preview PDF.
References
Karl Hans Bläsius and Hans-Jürgen Bürckert. Deduction Systems in Artificial Intelligence. Ellis Horwood Limited, 1989.
M. Dalal. Investigations into a theory of knowledge base revision: Preliminary report. Proceedings of the 7th National Conference on Artificial Intelligence, pages 475–479, 1988.
Dov Gabbay and Odinaldo Rodrigues. A methodology for iterated theory change. In Dov M. Gabbay and Hans Jürgen Ohlbach, editors, Practical Reasoning — First International Conference on Formal and Applied Practical Reasoning, FAPR'96, Lecture Notes in Artificial Intelligence. Springer Verlag, 1996.
P. Gärdenfors and Hans Rott. Belief revision. In C. J. Hogger Dov Gabbay and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 4, pages 35–132. Oxford University Press, 1995.
Peter Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. A Bradford Book-The MIT Press, Cambridge, Massachusetts-London, England, 1988.
Hirofumi Katsuno and Alberto O. Mendelzon. On the difference between updating a knowledge base and revising it. Belief Revision, pages 183–203, 1992.
Bernhard Nebel. Belief revision and default reasoning: Syntax-based approaches. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, pages 417–428. Morgan Kaufmann, 1991.
Ilkka Niiniluoto. Truthlikeness. Kluwer Academic Publishers, 1989.
Odinaldo Rodrigues. Transfer report: Mphil/phd. Imperial College of Science, Technology and Medicine, February 1996. Department of Computing.
Odinaldo Rodrigues. A methodology for iterated information change. PhD thesis, Department of Computing, Imperial College, To appear.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gabbay, D., Rodrigues, O. (1997). Structured belief bases: A practical approach to prioritised base revision. In: Gabbay, D.M., Kruse, R., Nonnengart, A., Ohlbach, H.J. (eds) Qualitative and Quantitative Practical Reasoning. FAPR ECSQARU 1997 1997. Lecture Notes in Computer Science, vol 1244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035628
Download citation
DOI: https://doi.org/10.1007/BFb0035628
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63095-1
Online ISBN: 978-3-540-69129-7
eBook Packages: Springer Book Archive