Abstract
The question of knowledge base dynamics is currently one of the most challenging problems in the area of intelligent information systems. A change operation, sometimes also called revision, sometimes called update, consists in modifying the contents of a body of knowledge upon the arrival of some new piece of information. What is called ‘a body of knowledge’ can take several forms ranging from the contents of a database to the ill-known values of parameters, or a set of constraints incompletely describing a situation. In this book, knowledge is supposed to refer to a set of logical sentences, or to some uncertainty function on a set of alternatives, in each case representing the beliefs of an agent on a question of interest. The belief change literature has developed rather independently in two clusters corresponding to these two modes of representation of epistemic states. The oldest established belief revision theory is based on Bayes’ rule for probability measures. The study of change in probability theory has been dubbed ‘probability kinematics’ [Domotor, 1985], and is relevant to fields such as statistics, decision theory and philosophy of science. The logical framework has emerged with the advent of information systems and artificial intelligence. In the field of database research the problem of change naturally arises whenever the database is supposed to evolve: how to add a piece of information? what to do if the new information contradicts the already stored information? The latter problem cannot always be solved just by rejecting the new information. In the field of artificial intelligence the change problem is closely related to two issues that share a lot of concerns: how to handle the defeasibility of conclusions derived from exception-prone knowledge? How to reason about dynamic worlds? These issues question the monotonicity property of classical logic inference that excludes defeasibility, and have close connections with topics such as hypothetical reasoning, truth-maintenance systems and the theories of action.
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. P. Alchourrón, P. Gärdenfors and D Makinson. On the logic of theory change: partial meet functions for contraction and revision. Journal of Symbolic Logic, 50, 513–530, 1985.
L. J. Cohen. The Probable and the Provable. Clarendon Press, Oxford, 1977.
B. De Finetti. Theory of Probability. Wiley, New York, 1974.
A. P. Dempster. Upper and lower probabilities induced by a multivalued mapping. Ann. Math. Stat., 38, 325–339, 1967.
Z. Domotor. Probability kinematics Conditionals and entropy principles. Synthese, 63, 74–115, 1985.
J. Doyle. A truth maintenance system. Artificial Intelligence, 12, 231–272, 1979.
D. Dubois and H. Prade (with the collaboration of H. Farreny, R. Martin-Clouaire and C. Testemal). Possibility Theory An Approach to Computerized Processing of Uncertainty. Plenum Press, New York, 1988.
D. Dubois, L. Farinas del Cerro, A. Herzig and H. Prade. Qualitative relevance and independence: a roadmap. In Proc. 15th Int. Joint Conf. on Artificial Intelligence, Nagoya, Japan, pp. 62–67, 1997.
R, Fagin, G. M, Kuper, J. D. Ullman and M. Y. Vardi. Updating logical databases. Advances in Computing Research, 3, 1–18, 1986.
P. C. Fishburn. The axioms of subjective probability. Statistical Science, 1, 335–358, 1986.
N. Friedman and J. Halpern. Plausibility measures and default reasoning. In Proc of the 13th National Conf. on Artificial Intelligence (AAAI′96), Portland, pp. 1297–1304, 1996. To appear in J. Assoc. for Comp. Mac.
P. Gärdenfors. Belief revision and the Ramsay test for conditionals. Philosophical Review, 91, 81–83, 1986.
P. Gärdenfors. Knowledge in Flux Modeling the Dynamics of Epistemic States. The MIT Press, Cambridge, MA, 1988.
P. Gärdenfors, Ed. Belief Revision. Cambridge Univ. Press, Cambridge, UK, 1992.
P. Gärdenfors and H. Rott. Belief revision. In Handbook of Logic in Artificial Intelligence and Logic Programming — Vol. 4: Epistemic and Temporal Reasoning, D. M. Gabbay, C. J. Hogger and J. A. Robinson, eds. pp. 35–132. Clarendon Press, Oxford, 1995.
I. J. Good. Subjective probability as the measure of a non-measurable set. In Logic, Methodology and Philosophy of Sciences, E. Nagel, P. Suppes and A. Tarski, eds. Stanford University Press, Stanford, CA, 1962.
G. Harman. (1986) Change in View. The MIT press. Cambridge, Mass, 1986.
R. Jeffrey. The Logic of Decision. McGraw-Hill, New York. 2nd edition, University of Chicago Press, 1983.
H. Katsuno and A. O. Mendelzon. On the difference between updating a knowledge base and revising In Proc. of the 2nd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR′91), Cambridge, MA, April 22–25, 387–394, 1991.
S. Kraus, D. Lehmann and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44, 167–207, 1990.
H. E. Ky burg. Probability and the Logic of Rational Belief. Wesleyan University Press. Middletown, CT, 1961.
Léa Sombé. Revision and Updating in Knowledge Bases. Wiley, New York, 1994.
D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55(1), 1–60, 1992.
I. Levi. The Enterprize of Knowledge. The MIT Press, Cambridge, MA, 1980.
D. Lewis. Probabilities of conditionals and conditional probabilities. Philos. Review, 85, 297–315, 1976.
D. Makinson and P. Gärdenfors. Relations between the logic of theory change and nonmonotonic logic. The Logic of Theory Change, Proc. of the Workshop, Konstanz, Germany, Oct. 1989. A. Fuhrmann and M. Morreau, eds. pp. 185–205. Lecture Notes in Artificial Intelligence, Vol. 465, Springer Verlag, Berlin, 1991.
B. Nebel. Syntax based approaches to belief revision. In Belief Revision, P. Gärdenfors, ed. pp. 52–89, Cambridge Univ. Press, 1992
G. L. S. Shackle. Decision, Order and Time, in Human Affairs. Cambridge University Press, Cambridge, UK (2nd edition), 1992.
G. Shafer. A Mathematical Theory of Evidence. Princeton University Press, Princeton, NJ, 1976.
D. M. Gabbay and P. Smets, Eds. Handbookfor Practical Reasoning. Kluwer Academic Publ., Dordrecht, 1997.
P. Smets. The combination of evidence in the transferable belief model. IEEE Trans. on Pattern Analysis and Machine Intelligence, 12(5), 447–458, 1990.
C. A. B. Smith. Consistency in statistical inference and decision. J. Royal Statist. Soc., B-23, 1–23, 1961.
W. Spohn. Ordinal conditional functions: a dynamic theory of epistemic states. In Causation in Decision, Belief Change and Statistics, W. Harper and B. Skyrms, eds., pp. 105–134, 1988
P. M. Williams. Bayesian conditionalization and the principle of minimum information. British J. for the Philosophy of Sciences, 31, 131–144, 1980.
M. Winslett. Updating Logical Databases. Cambridge University Press, Cambridge, MA, 1990.
S. K. M. Wong, Y. Y. Yao, P. Pollmann and H. C. Burger. Axiomatization of qualitative belief structure. IEEE Trans. on Systems, Man and Cybernetics, 21, 726–734, 1991.
L. A. Zadeh. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1, 3–28, 1978
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Dubois, D., Prade, H. (1998). Introduction: Revising, Updating and Combining Knowledge. In: Dubois, D., Prade, H. (eds) Belief Change. Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol 3. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-5054-5_1
Download citation
DOI: https://doi.org/10.1007/978-94-011-5054-5_1
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6123-0
Online ISBN: 978-94-011-5054-5
eBook Packages: Springer Book Archive