Abstract
Belief revision theory is concerned with the problem of revising a set of beliefs K with a new belief represented by a formula α. When the set K is supposed to represent the totality of the current beliefs of an agent, it is usually taken to be closed under classical consequence, since necessary consequences of beliefs are themselves beliefs. This closure assumption nevertheless leads to important problems: Hansson, for instance, invokes in [Hansson, 1996] the disadvantages of dealing with a belief set that contains “myriads of sentences that the believer has never thought of”, and also notes that the recovery postulate problem and the problem of inconsistent belief states may find solutions that are more satisfying when the revision operation is performed on belief bases than when it is performed on belief sets. Another argument in favour of the foundations theory,which focuses on belief bases rather than on belief sets, is that it conforms with the intuistic notion that a set of beliefs most commonly consists of a rough collection B of several pieces of knowledge, put together without any structure, and treated as elementary beliefs. In order to revise the resulting theory K = Cn(B) by an information α, it is therefore natural in this perspective to first try to revise the base B by α, and it is only at a second stage that the effect of this revision on the logical closure K of B should be examined (for a more detailed discussion on the difference between the justifications theory and the coherence theory, see [Gärdenfors and Rott, 1995]).
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
C. E. Alchourron and D. Makinson. On the logic of theory change: contraction functions and their associated revision functions, Theoria, 48, 14 - 37, 1982.
Fagin et aL,19861 R. Fagin, J. D. Ulmann, G. M. Kuper and M. Y. Vardi. Updating logical databases, Advances in Computing Research,3, 1-18, 1986.
M. Freund. Preferential reasoning in the perspective of Poole default logic, Artificial Intelligence, 98, 209 - 235, 1998.
Freund, submitted] M. Freund. Statics and dynamics of induced inferences. Submitted.
N. Friedman and J. Y. Halpern. Belief revision: a critique. In Principles of Knowledge Representation and Reasoning, Proceedings of the 5th International Conference, KR’ 96, pp. 421 - 431, 1996.
P. Gärdenfors and D. Makinson. Nonmonotonic inference based on expectations, Artificial Intelligence, 65, 197 - 245, 1994.
Gä;rdenfors and Rott, 1995] P. Gärdenfors and H. Rott. Belief revision. In Handbook of Logic in Artificial Intelligence and Logic Programming,Vol 4, D. M. Gabbay et al.,eds. pp. 35-132. Clarendon Press, Oxford, 1995.
A. Grove. Two modellings for theory change, Journal of Philosophical Logic, 17, 157170, 1988.
Hansson, 19931 S. O. Hansson. Reversing the Levi identity, Journal of Philosophical Logic, 22, 637 - 669, 1993.
S. O. Hansson. Knowledge-level analysis of belief base operations, Artificial Intelligence, 82, 225 - 235, 1996.
Katsuno and Mendelzon, 19921 H. Katsuno and A. O. Mendelzon. On the difference between updating a knowledge base and revising it. In Belief Revision, P. Gärdenfors, ed. pp. 183-203. Cambridge University Press, 1992.
D. Makinson. General patterns in nonmonotonic reasoning. In Handbook of Logic in Artificial Intelligence and Logic Programming,Vol 3, D. M. Gabbay et al.,eds. pp. 35-110, Oxford University Press, 1994.
B. Nebel. A knowledge-level Analysis of belief revision. In Principles of Knowledge Representation and Reasoning: Proceedings of the First International Conference, R. Brachman, H. Levesque and R. Reiter eds. pp. 2301 - 311. Morgan Kaufmann, San Mateo, CA, 1989.
H. Rott. Belief contraction in the context of the general theory of rational choice, Journal of Symbolic Logic, 58, 1426 - 1450, 1993.
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
Freund, M. (2001). On a Full Meet Base Revision That Satisfies the Categorial Matching Principle. 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_15
Download citation
DOI: https://doi.org/10.1007/978-94-015-9817-0_15
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5720-4
Online ISBN: 978-94-015-9817-0
eBook Packages: Springer Book Archive