Skip to main content
Springer Nature Link
Log in

A Logic Programming System for Evolving Programs with Temporal Operators

  • Conference paper
Progress in Artificial Intelligence (EPIA 2009)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5816))

Included in the following conference series:

  • 1399 Accesses

Abstract

Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intentional knowledge (rules) may change over time due to updates. Despite their generality, these languages do not provide a means to directly access past states of the evolving knowledge. They are limited to so-called Markovian change, i.e. changes entirely determined by the current state.

We remedy this limitation by extending the Logic Programming Update Language EVOLP with LTL-like temporal operators that allow referring to the history of the evolving knowledge base, and show how this can be implemented in a Logic Programming framework.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Gabbay, D., Smets, P. (eds.): Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 3. Kluwer, Dordrecht (1998); Belief Change

    MATH  Google Scholar 

  2. Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming 45(1-3), 43–70 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  3. Leite, J.A.: Evolving Knowledge Bases. IOS Press, Amsterdam (2003)

    MATH  Google Scholar 

  4. 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)

    Google Scholar 

  5. Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: Reasoning about evolving nonmonotonic knowledge bases. ACM Trans. Comput. Log. 6(2), 389–440 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  6. Š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)

    Chapter  Google Scholar 

  7. Zhang, Y., Foo, N.Y.: Updating logic programs. In: Procs. ECAI (1998)

    Google Scholar 

  8. 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)

    Chapter  Google Scholar 

  9. Marek, V., Truszczynski, M.: Revision programming. Theor. Comput. Sci. 190(2), 241–277 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  10. Alferes, J.J., Brogi, A., Leite, J., Moniz Pereira, L.: 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)

    Chapter  Google Scholar 

  11. 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)

    Google Scholar 

  12. 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)

    Article  MathSciNet  MATH  Google Scholar 

  13. Alferes, J.J., Gabaldon, A., Leite, J.A.: Evolving logic programming based agents with temporal operators. In: IEEE/WIC/ACM Int’l Conf. on Intelligent Agent Technology (2008)

    Google Scholar 

  14. Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Procs. of ICLP 1990, pp. 579–597 (1990)

    Google Scholar 

  15. Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM 38(3), 620–650 (1991)

    MathSciNet  MATH  Google Scholar 

  16. 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)

    Chapter  Google Scholar 

  17. 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)

    Chapter  Google Scholar 

  18. Mendez, G., Lobo, J., Llopis, J., Baral, C.: Temporal logic and reasoning about actions. In: 3rd Symp. Logical Formalizations of Commonsense Reasoning (1996)

    Google Scholar 

  19. Gabaldon, A.: Non-markovian control in the situation calculus. In: Procs. AAAI, pp. 519–524. AAAI Press, Menlo Park (2002)

    Google Scholar 

  20. Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: Metatem: An introduction. Formal Aspects of Computing 7(5), 533–549 (1995)

    Article  MATH  Google Scholar 

  21. Baral, C., Zhao, J.: Non-monotonic temporal logics for goal specification. In: Procs. IJCAI, pp. 236–242 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CENTRIA, Universidade Nova de Lisboa, Portugal

    José Júlio Alferes, Alfredo Gabaldon & João Leite

Authors
  1. José Júlio Alferes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alfredo Gabaldon
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. João Leite
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. IEETA/Department of Electronics & Telecommunication, University of Aveiro, Campus Santiago, P.O. Box, 3810-153, Aveiro, Portugal

    Luís Seabra Lopes

  2. LSE-IEETA/DETI, Universidade de Aveiro, Portugal

    Nuno Lau

  3. Universidade de Aveiro, Aveiro, Portugal

    Pedro Mariano

  4. School of Informatics, Indiana University, Bloomington, IN, USA, and Computational Biology Collaboratorium, Instituto ulbenkian da Ciencia, Portugal

    Luís M. Rocha

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alferes, J.J., Gabaldon, A., Leite, J. (2009). A Logic Programming System for Evolving Programs with Temporal Operators. In: Lopes, L.S., Lau, N., Mariano, P., Rocha, L.M. (eds) Progress in Artificial Intelligence. EPIA 2009. Lecture Notes in Computer Science(), vol 5816. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04686-5_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04686-5_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04685-8

  • Online ISBN: 978-3-642-04686-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics