Abstract
This paper presents an update rule language whose semantics is defined using a slight modification of the well founded semantics. This language is compared with revision programs proposed by Marek and Truszczynski in [MT95, MT94]. The relationships existing between revised databases and updated databases extend those previously established between stable and well founded models.
This work was partially supported by the GDR1140 of CNRS.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89–142. Morgan Kaufmann, 1988.
S. Abiteboul and G. Grahne. Update semantics for incomplete databases. In Proceedings of the 11th VLDB Conference, 1985.
CE. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 1985.
S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. Journal of Computer and System Sciences, 43, 1991.
C. Baral. Rule based updates on simple knowledge bases. In Proceedings of AAAJ'94, Seattle, USA, August 1994.
N. Bidoit and C. Froidevaux. General logic databases and programs: Default logic semantics and stratification. Information and Computation, 91:15–54, 1991.
N. Bidoit and S. Maabout. A model theoretic approach to update rule programs. In Proceedings of ICDT Conference, LNCS, Delphi, Greece, Jan. 1997. Springer-Verlag.
W. Chen. Declarative specification of database updates. In Proc. of DOOD'91. Springer, 1991.
F. Fages. A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics. New Generation Computing, 9(4), 1991.
M. Gelfond and V. Lifschitz. The stable semantics for logic programs. In Proceedings of the 5th international symposium on logic programming. MIT Press, 1988.
H. Katsuno and A. O. Mendelzon. On the difference between updating a knowledgebase and revisiting it. In Proceedings of Intrl. Conf. on Knowledge Represention and Reasoning (KR'91), 1991.
V. Marek and M. Truszczynski. Revision specification by means of programs. In Logics in AI. Proceedings of JELIA'94, LNAI. Springer Verlag, 1994.
V. Marek and M. Truszczynski. Revision programming, database updates and integrity constraints. In Proceedings of the 5th International Conference on Database Theory. ICDT'95, Prague, Jan. 1995.
T. C. Przymusinski and H. Turner. Update by means of inference rules. In Proceedings of the International Conf. on Logic Programming and Non Monotonic Reasoning, LPNMR'95, LNAI, 1995.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81–132, 1980.
A. van Gelder, K.A. Ross, and J.S. Schlipf. The well-founded semantics for general logic programs. journal of the ACM, 38, 1991.
J. Widom and S. Ceri. Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan-Kaufman, 1996.
M.A. Winslett. Reasoning about action using possible model approach. In Proceedings of the 7th national conference on AI, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bidoit, N., Maabout, S. (1997). Update programs versus revision programs. In: Dix, J., Pereira, L.M., Przymusinski, T.C. (eds) Non-Monotonic Extensions of Logic Programming. NMELP 1996. Lecture Notes in Computer Science, vol 1216. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023806
Download citation
DOI: https://doi.org/10.1007/BFb0023806
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62843-9
Online ISBN: 978-3-540-68702-3
eBook Packages: Springer Book Archive