Abstract
Logic Programming Update Languages have been proposed as extensions of logic programming that allow specifying and reasoning about knowledge bases where both extensional knowledge (facts) as well as intentional knowledge (rules) may change over time as a result of updates.
Despite their generality, these languages are limited in that they do not provide a means to directly access past states of the evolving knowledge. They only allow for so-called Markovian change, i.e. change which is entirely determined by the current state of the knowledge base.
After motivating the need for non-Markovian change, we extend the language EVOLP – a Logic Programming Update Language – with Linear Temporal Logic-like operators, which allow referring to the history of an evolving knowledge base. We then show that it is in fact possible to embed the extended EVOLP into the original one, thus demonstrating that EVOLP itself is expressive enough to encode non-Markovian dynamic knowledge bases. This embedding additionally sheds light on the relationship between Logic Programming Update Languages and Modal Temporal Logics. The embedding is also the starting point of our implementation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alferes, J.J., Banti, F., Brogi, A.: From logic programs updates to action description updates. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 52–77. Springer, Heidelberg (2005)
Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: The refined extension principle for semantics of dynamic logic programming. Studia Logica 79(1), 7–32 (2005)
Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 50–61. Springer, Heidelberg (2002)
Alferes, J.J., Gabaldon, A., Leite, J.: Evolving logic programming based agents with temporal operators. In: IEEE/WIC/ACM Int’l Conf. on Intelligent Agent Technology (2008)
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.C.: LUPS – a language for updating logic programs. Artificial Intelligence 138(1&2) (June 2002)
Baral, C., Zhao, J.: Non-monotonic temporal logics for goal specification. In: IJCAI 2007, pp. 236–242 (2007)
Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: Metatem: A framework for programming in temporal logic. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1989. LNCS, vol. 430, pp. 94–129. Springer, Heidelberg (1990)
Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: A framework for declarative update specifications in logic programs. In: IJCAI 2001, pp. 649–654 (2001)
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.: Reasoning about evolving nonmonotonic knowledge bases. ACM Trans. Comput. Log. 6(2), 389–440 (2005)
Gabaldon, A.: Non-markovian control in the situation calculus. In: AAAI 2002, pp. 519–524. AAAI Press, Menlo Park (2002)
Gabaldon, A.: Compiling control knowledge into preconditions for planning in the situation calculus. In: IJCAI 2003, pp. 1061–1066 (2003)
Gabaldon, A.: Non-Markovian Control in the Situation Calculus. Artificial Intelligence 175(1), 25–48 (2011)
Gabbay, D., Smets, P. (eds.): Handbook of Defeasible Reasoning and Uncertainty Management Systems. Belief Change, vol. 3. Kluwer, Dordrecht (1998)
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.: Answer sets. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, ch. 7, pp. 285–316. Elsevier, Amsterdam (2008)
Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: 7th Int’l Conf. on Logic Programming (1990)
Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on Artificial Intelligence 3, 195–210 (1998)
Gonzalez, G., Baral, C., Gelfond, M.: Alan: An action language for non-markovian domains. In: NonMon. Reasoning, Action and Change Workshop (2003)
Leite, J.: Playing with rules. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS, vol. 5948, pp. 1–19. Springer, Heidelberg (2010)
Leite, J., Soares, L.: Evolving characters in role-playing games. In: EMCSR 2006, vol. 2, pp. 515–520 (2006)
Leite, J., Soares, L.: Adding evolving abilities to a multi-agent system. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 246–265. Springer, Heidelberg (2007)
Leite, J.A.: Evolving Knowledge Bases. IOS Press, Amsterdam (2003)
Leite, J., Moniz Pereira, L.: 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)
Lifschitz, V., Woo, T.: Answer sets in general nonmonotonic reasoning (preliminary report). In: KR 1992 (1992)
Marek, V., Truszczynski, M.: Revision programming. Theor. Comput. Sci. 190(2), 241–277 (1998)
Mendez, G., Lobo, J., Llopis, J., Baral, C.: Temporal logic and reasoning about actions. In: 3rd Symp. on Logical Formalizations of Commonsense Reasoning (1996)
Saias, J., Quaresma, P.: A methodology to create legal ontologies in a lp based web information retrieval system. Artif. Intell. Law 12(4), 397–417 (2004)
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)
Šefránek, J.: Irrelevant updates and nonmonotonic assumptions. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 426–438. Springer, Heidelberg (2006)
Slota, M., Leite, J.: Evolp: An implementation. In: Sadri, F., Satoh, K. (eds.) CLIMA VIII 2007. LNCS (LNAI), vol. 5056, pp. 288–298. Springer, Heidelberg (2008)
Slota, M., Leite, J.: Evolp: Tranformation-based semantics. In: Sadri, F., Satoh, K. (eds.) CLIMA VIII 2007. LNCS (LNAI), vol. 5056, pp. 117–136. Springer, Heidelberg (2008)
Slota, M., Leite, J.: On semantic update operators for answer-set programs. In: ECAI 2010, pp. 957–962. IOS Press, Amsterdam (2010)
Zhang, Y., Foo, N.Y.: Updating logic programs. In: ECAI 1998. John Wiley & Sons, Chichester (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Alferes, J.J., Gabaldon, A., Leite, J. (2011). Evolving Logic Programs with Temporal Operators. In: Balduccini, M., Son, T.C. (eds) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. Lecture Notes in Computer Science(), vol 6565. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20832-4_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-20832-4_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20831-7
Online ISBN: 978-3-642-20832-4
eBook Packages: Computer ScienceComputer Science (R0)