Abstract
This paper proposes an update language for logic programming based knowledge systems. The language is built upon two basic update operators denoting insertions and deletions of positive literals (atoms), respectively. Several simple control structures have been defined by which basic updates can be combined to program complex updates. The presented approach is centered around the idea of executing a basic update operation by directly modifying the truth valuation of the (intensionally or extensionally defined) atom on which it is requested. Also the truth valuations of the atoms inductively depending on the updated one are accordingly modified. Several examples are presented which show that both deterministic and nondeterministic transformations of a logic program are easily expressed within the update language.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Abiteboul, S., Updates, a new frontier, in: Proc. Second Int. Conf. on Database Theory, LNCS 326, Springer-Verlag, 1–18, 1988.
Abiteboul, S. and V. Vianu, Datalog extensions for database queries and updates, JCSS, 43(1), 62–124, 1991.
Atzeni, P. and R. Torlone, Updating intensional predicates in datalog, Data and Knowledge Engineering, 1992.
Bancilhon, F., and N. Spyratos, “Update semantics of relational views”, ACM TODS, 6(40), Dec. 1981.
Decker, H., Drawing updates from derivations, in: Proc. 3th Int. Conf. on Database Theory, LNCS 460, Paris, 1990.
Granne, G., A.O. Mendelzon and P.Z. Revesz, Knowledgebase transformations, in: Proc. 11th ACM PODS, 246–260, 1992.
Guessoum A. and J.W. Lloyd, Updating knowledge bases, New Generation Computing, 8(1), 71–89, 1990.
Harel, D., “First-order dynamic logic”, LNCS (Goos, G., and J. Hartmains eds.), Springer-Verlag, 1979.
Harel, D., “Dynamic logic”, in Handbook of Philosophical Logic, (Gabbay and Guenther, eds.), D.Reidel Publishers, 1983.
Kakas, T. and P. Mancarella, Database updates through abduction, in: Proc. 16th Int. Conf. on Very Large Databases (Morgan-Kaufmann, Los Altos, CA, 1990) 650–661.
Lloyd, J.W., Foundations of logic programming (Springer, Berlin, 2nd ed., 1987).
Manchanda, S. and D.S. Warren, “Towards a logical theory of database view updates”, Int.Worksh. on Foundations of Deductive databases and Logic Programming, J.Minker ed., Aug. 1988.
Naqvi,S., and R.Krishnamurthy, “Database updates in logic programming, ACM PODS, 1988.
Rossi,F., and S.Naqvi, “Contribution to the view update problem”, Proc. Int. Conf. on Logic Programming, 388–415, 1989.
Sterling, L. and E. Shapiro, The art of Prolog, MIT Press, Cambridge, 1986.
Van Gelder, Ross, Schlipf, The well-founded semantics of general logic programs, Journal of ACM, 38(3), 620–650, 1991.
Warren, D.S., Database update in pure Prolog, in: Proc. Int. Conf. on Fifth Generation Computer Systems, 244–253, 1985.
M. Winslett, “A model-theoretic approach to updating logical databases”, ACM PODS, 1986.
Author information
Authors and Affiliations
Corresponding author
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Leone, N., Palopoli, L., Romeo, M. (1993). Updating logic programs. In: Komorowski, J., Raś, Z.W. (eds) Methodologies for Intelligent Systems. ISMIS 1993. Lecture Notes in Computer Science, vol 689. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56804-2_22
Download citation
DOI: https://doi.org/10.1007/3-540-56804-2_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56804-9
Online ISBN: 978-3-540-47750-1
eBook Packages: Springer Book Archive