Abstract
Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these semantics extend the stable models semantics of normal, extended (with explicit negation) or generalized (with default negation in rule heads) logic programs. In this paper we propose a well founded semantics for logic programs updates. We motivate our proposal with both practical and theoretical argumentations. Various theoretical results presented here show how our proposal is related to the stable model approach and how it extends the well founded semantics of normal and generalized logic programs.
This is a preview of subscription content, log in via an institution to check access.
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
Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: Semantics for dynamic logic programming: a principled based approach. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 8–20. Springer, Heidelberg (2003)
Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. The Journal of Logic Programming 45(1–3), 43–70 (2000)
Alferes, J.J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: LUPS: A language for updating logic programs. Artificial Intelligence 132(1&2) (2002)
Apt, K.R., Bol, R.N.: Logic programming and negation: A survey. The Journal of Logic Programming 19&20, 9–72 (1994)
Buccafurri, F., Faber, W., Leone, N.: Disjunctive logic programs with inheritance. In: De Schreye, D. (ed.) ICLP 1999, pp. 79–93. MIT Press, Cambridge (1999)
Damásio, C.V., Pereira, L.M.: Default negation in the heads: why not? In: Herre, H., Dyckhoff, R., Schroeder-Heister, P. (eds.) ELP 1996. LNCS (LNAI), vol. 1050. Springer, Heidelberg (1996)
Damásio, C.V., Pereira, L.M.: A survey on paraconsistent semantics for extended logic programas. In: Gabbay, D.M., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 2, pp. 241–320. Kluwer, Dordrecht (1988)
Dix, J.: A classification theory of semantics of normal logic programs II: Weak properties. Fundamenta Mathematicae 22(3), 257–288 (1995)
Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of semantics based on causal rejection. Theory and Practice of Logic Programming 2, 711–767 (November 2002)
Van Gelder, A.: The alternating fixpoint of logic programs with negation. Journal of Computer and System Sciences (1992)
Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM 38(3), 620–650 (1991)
Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren, Szeredi (eds.) 7th ICLP, pp. 579–597. MIT Press, Cambridge (1990)
Leite, J.A.: Logic program updates. Master’s thesis, Dept. de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa (November 1997)
Leite, J.A.: Evolving Knowledge Bases, December 2002. Frontiers in Artificial Intelligence and Applications, vol. 81. IOS Press, Amsterdam (2002)
Leite, J.A., Pereira, L.M.: Iterated logic program updates. In: Jaffar, J. (ed.) JICSLP-1998, pp. 265–278. MIT Press, Cambridge (1998)
Lifschitz, V., Woo, T.: Answer sets in general non-monotonic reasoning (preliminary report). In: Nebel, B., Rich, C., Swartout, W. (eds.) KR 1992. Morgan Kaufmann, San Francisco (1992)
Sakama, C., Inoue, K.: Updating extended logic programs through abduction. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol. 1730, pp. 147–161. Springer, Heidelberg (1999)
Zhang, Y., Foo, N.Y.: Updating logic programs. In: Prade, H. (ed.) ECAI 1998, pp. 403–407. John Wiley & Sons, Chichester (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Banti, F., Alferes, J.J., Brogi, A. (2004). Well Founded Semantics for Logic Program Updates. In: Lemaître, C., Reyes, C.A., González, J.A. (eds) Advances in Artificial Intelligence – IBERAMIA 2004. IBERAMIA 2004. Lecture Notes in Computer Science(), vol 3315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30498-2_40
Download citation
DOI: https://doi.org/10.1007/978-3-540-30498-2_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23806-5
Online ISBN: 978-3-540-30498-2
eBook Packages: Springer Book Archive