Abstract
Since the introduction of logic program updates based on causal rejection of rules, several different semantics were set forth. All these semantics were introduced with the same underlying motivation i.e., to overcome the drawbacks of interpretation based updates by applying the principle of inertia to program rules, but they were all defined for different classes of logic programs thus making their comparisons difficult. In this paper we redefine such existing semantics, and set forth a new one, all in the more general setting of Generalized Logic Programs, in a way that facilitates their comparisons. Subsequently, we take a closer look at the subtle differences between these otherwise similar approaches.
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 principle-based approach. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS, vol. 2923, pp. 8–20. Springer, Heidelberg (2003)
Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.: Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming 45(1-3) (2000)
Buccafurri, F., Faber, W., Leone, N.: Disjunctive logic programs with inheritance. In: Procs. of ICLP 1999. MIT Press, Cambridge (1999)
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)
Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: Using methods of declarative logic programming for intelligent information agents. Theory and Practice of Logic Programming 2(6) (2002)
Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Procs. of ICLP 1990. MIT Press, Cambridge (1990)
Katsuno, H., Mendelzon, A.: On the difference between updating a knowledge base and revising it. In: Procs. of KR 1991. Morgan Kaufmann, San Francisco (1991)
Leite, J.A.: Evolving Knowledge Bases. In: Frontiers in Artificial Intelligence and Applications, vol. 81. IOS Press, Amsterdam (2003)
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)
Leone, N., Pfeifer, G., Faber, W., Calimeri, F., Dell’Armi, T., Eiter, T., Gottlob, G., Ianni, G., Ielpa, G., Perri, S., Koch, C., Polleres, A.: The dlv system. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, p. 537. Springer, Heidelberg (2002)
Lifschitz, V.: Answer sets in general non-monotonic reasoning (preliminary report). In: Procs. of KR 1992. Morgan-Kaufmann, San Francisco (1992)
Marek, V., Truszcczy´nski, M.: Revision programming. Theoretical Computer Science 190(2) (1998)
Niemelä, I., Simons, P.: Smodels:An implementation of the stable model and well-founded semantics for normal LP. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS (LNAI), vol. 1265. Springer, Heidelberg (1997)
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)
Winslett, M.: Reasoning about action using a possible models approach. In: Procs. of AAAI 1988 (1988)
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
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Leite, J.A. (2004). On Some Differences Between Semantics of 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_38
Download citation
DOI: https://doi.org/10.1007/978-3-540-30498-2_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23806-5
Online ISBN: 978-3-540-30498-2
eBook Packages: Springer Book Archive