Abstract
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle – the refined extension principle – which is complied with by the stable model semantics for (single) logic programs. It turns out that none of the existing semantics for logic program updates, even though based on stable models, complies with this principle. For this reason, we define a refinement of the dynamic stable model semantics for Dynamic Logic Programs that complies with the principle.
This work was partially supported by FEDER financed project FLUX (POSI/40958/SRI/2001) and by project SOCS (IST-2001-32530). Special thanks are due to Pascal Hitzler and Reinhard Kahle for helpful discussions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic logic programming. In: Procs. of KR 1998. Morgan Kaufmann, San Francisco (1998)
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)
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: Procs. of ICLP 1999. MIT Press, Cambridge (1999)
DLV. The DLV project - a disjunctive datalog system (and more) (2000), Available at http://www.dbai.tuwien.ac.at/proj/dlv/
Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming 2(6) (2002)
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.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K.A. (eds.) Procs. of ICLP 1988. MIT Press, Cambridge (1988)
Gelfond, M., Lifschitz, V.: Representing actions and change by logic programs. Journal of Logic Programming 17, 301–322 (1993)
Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)
Leite, J.A.: Evolving Knowledge Bases. Frontiers in Artificial Intelligence and Applications, vol. 81. IOS Press, Amsterdam (2003)
Leite, J.A., Alferes, J.J., Pereira, L.M.: Multi-dimensional dynamic knowledge representation. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, p. 365. Springer, Heidelberg (2001)
Leite, J.A., Pereira, L.M.: Generalizing updates: From models to programs. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS (LNAI), vol. 1471, p. 224. Springer, Heidelberg (1998)
Leite, J.A., Pereira, L.M.: Iterated logic program updates. In: Procs. of JICSLP 1998. MIT Press, Cambridge (1998)
H. Levesque, F. Pirri, and R. Reiter. Foundations for the situation calculus. Linköping Electronic Articles in Computer and Information Science, 03, 1998.
Lifschitz, V., Woo, T.: Answer sets in general non-monotonic reasoning (preliminary report). In: Procs of KR 1992. Morgan-Kaufmann, San Francisco (1992)
McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol. 4. Edinburgh University Press, Edinburgh (1969)
Przymusinska, H., Przymusinski, T.: Weakly perfect model semantics. In: Procs. of ICLP 1988. MIT Press, Cambridge (1988)
Sakama, C., Inoue, K.: Updating extended logic programs through abduction. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol. 1730, p. 147. Springer, Heidelberg (1999)
SMODELS. The SMODELS system (2000), Available at http://www.tcs.hut.fi/Software/smodels/
Zhang, Y., Foo, N.Y.: Updating logic programs. In: Procs. of ECAI 1998. John Wiley & Sons, Chichester (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alferes, J.J., Banti, F., Brogi, A., Leite, J.A. (2003). Semantics for Dynamic Logic Programming: A Principle-Based Approach. In: Lifschitz, V., Niemelä, I. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2004. Lecture Notes in Computer Science(), vol 2923. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24609-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-24609-1_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20721-4
Online ISBN: 978-3-540-24609-1
eBook Packages: Springer Book Archive