Abstract
In the present work we introduce a simple yet powerful formalism to model the evolution of knowledge bases. The semantics are based on the fundamental intuition that more recent information overrides previous knowledge, insofar as keeping the old knowledge would lead to inconsistencies. Combining this with the techniques from logic programming and ordered logic semantics yields a notion of model that nicely extends the semantics of ordinary logic programming. Our approach extends existing ones in that we model updates that contain simple facts as well as intentional information using a uniform declarative formalism that also supports what-if reasoning and transactions.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul, E. Simon, and V. Vianu, “Non-deterministic Languages to express Deterministic Transformations,” in Proc. of the Symposium on Principles of Database Systems, pp. 218–230, 1990.
S. Abiteboul, “Updates, a New Frontier,” in Proc. of the 2nd International Conference on Database Theory, pp. 1–18, 1988.
M. Ben-Jacob and M. Fitting, “Stratified and three-valued logic programming semantics,” in Proc. 5th Int. Conf. and Symp. on Logic Programming, pp. 1054–1068, 1988.
A. Van Gelder, K. Ross, and J. S. Schlipf, The Well-Founded Semantics for General Logic Programs, 1988. UCSC-CRL-88-16
S. Kripke, “Semantic analysis of modal logic I, normal prepositional calculi,” Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, vol. 9, pp. 67–96, 1963
E. Laenens and D. Vermeir, “On the Relationship between Weil-Founded and Stable Partial Models,” in Proc. of the Mathematical Fundamentals of Database and Knowledge Base Systems, 1991.
E. Laenens, B. Verdonk, D. Vermeir, and D. Sacca, “The LOCO language: towards an integration of logic and object oriented programming,” Proc. of the Workshop on Logic Programming and Non-Monotonic Reasoning, pp. 62–73, Austin, Texas
E. Laenens, Foundations of Ordered Logic, 1990. Ph.D. Thesis, University of Antwerp UIA
E. Laenens, D. Sacca, and D. Vermeir, “Extending logic programming,” in Proc. of the ACM-SIGMOD conference, pp. 184–193, 1990.
S. Manchanda, “Declarative Expression of Deductive Database Updates,” in Proc. of the 1989 Symposium on Principles of Database Systems, pp. 93–100, 1989.
S. Manchanda and D. S. Warren, “A Logic-based Language for Database Updates,” in Deductive Databases and Logic Programming, pp. 363–394, 1987.
S. Naqvi and R. Krishnamurthy, “Database Updates in Logic Programming,” in Proc. of the Symposium on Principles of Database Systems, pp. 251–262, 1988.
V. Vianu, “Dynamic functional dependencies and database aging,” Journal of the ACM, vol. 34, no. 1, pp. 28–59, 1987.
V. Vianu, “A Dynamic Framework for Object Projection Views,” ACM Transactions on Database Systems, vol. 13, no. 1, pp. 1–22, 1988.
Jia-Huai You and Li Yan Yuan, “Three-Valued Formalization of Logic Programming: Is It Needed?,” in Proc. of the Symposium on Principles of Database Systems, pp. 172–182, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sacca, D., Verdonk, B., Vermeir, D. (1992). Evolution of knowledge bases. In: Pirotte, A., Delobel, C., Gottlob, G. (eds) Advances in Database Technology — EDBT '92. EDBT 1992. Lecture Notes in Computer Science, vol 580. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0032434
Download citation
DOI: https://doi.org/10.1007/BFb0032434
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55270-3
Online ISBN: 978-3-540-47003-8
eBook Packages: Springer Book Archive