Skip to main content
SpringerLink
Log in

From Logic Programs Updates to Action Description Updates

  • Conference paper
  • First Online:
Computational Logic in Multi-Agent Systems (CLIMA 2004)

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

Included in the following conference series:

Abstract

An important branch of investigation in the field of agents has been the definition of high level languages for representing effects of actions, the programs written in such languages being usually called action programs. Logic programming is an important area in the field of knowledge representation and some languages for specifying updates of Logic Programs had been defined. Starting from the update language Evolp, in this work we propose a new paradigm for reasoning about actions called Evolp action programs.

We provide translations of some of the most known action description languages into Evolp action programs, and underline some peculiar features of this newly defined paradigm. One such feature is that Evolp action programs can easily express changes in the rules of the domains, including rules describing changes.

This work was partially supported by project FLUX (POSI/40958/SRI/2001), and by the European Commission within the 6th Framework Programme project REWERSE number 506779 (cf. http://rewerse.net).

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: Semantics for dynamic logic programming: a principled based approach. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol. 1730. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

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

    Chapter  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  4. Alferes, J.J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: LUPS: A language for updating logic programs. Artificial Intelligence 132(1–2) (2002)

    Google Scholar 

  5. Alferes, J.J., Pereira, L.M., Przymusinski, T., Przymusinska, H., Quaresma, P.: Preliminary exploration on actions as updates. In: Meo, M.C., Ferro, M.V. (eds.) Joint Conference on Declarative Programming AGP 1999 (1999)

    Google Scholar 

  6. Baral, C., Gelfond, M.: Reasoning about effects of concurrent actions. Journal of Logic Programming 31, 85–118 (1997)

    Article  MathSciNet  Google Scholar 

  7. Baral, C., Gelfond, M., Provetti, A.: Representing actions: Laws, observations and hypotheses. Journal of Logic Programming 31 (April–June 1997)

    Google Scholar 

  8. Buccafurri, F., Faber, W., Leone, N.: Disjunctive logic programs with inheritance. In: De Schreye, D. (ed.) Proceedings of the 1999 International Conference on Logic Programming ICLP 1999, November 1999. MIT Press, Cambridge (1999)

    Google Scholar 

  9. Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: A framework for declarative update specifications in logic programs. In: Nebel, B. (ed.) Proceedings of the seventeenth International Conference on Artificial Intelligence IJCAI 2001, pp. 649–654. Morgan Kaufmann Publishers, Inc., San Francisco (2001)

    Google Scholar 

  10. 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 (2002)

    Article  MathSciNet  Google Scholar 

  11. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K.A. (eds.) 5th International Conference on Logic Programming, pp. 1070–1080. MIT Press, Cambridge (1988)

    Google Scholar 

  12. Gelfond, M., Lifschitz, V.: Representing actions and change by logic programs. Journal of Logic Programming 17, 301–322 (1993)

    Article  MathSciNet  Google Scholar 

  13. Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on AI 16 (1998)

    Google Scholar 

  14. Giunchiglia, E., Lee, J., Lifschitz, V., Mc Cain, N., Turner, H.: Representing actions in logic programs and default theories: a situation calculus approach. Journal of Logic Programming 31, 245–298 (1997)

    Article  MathSciNet  Google Scholar 

  15. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153, 49–104 (2004)

    Article  MathSciNet  Google Scholar 

  16. Giunchiglia, E., Lifschitz, V.: An action language based on causal explanation: Preliminary report. In: AAAI 1998, pp. 623–630 (1998)

    Google Scholar 

  17. Homola, M.: Dynamic logic programming: Various semantics are equal on acyclic programs. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 78–95. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  18. Lee, J., Lifschitz, V.: Describing additive fluents in action language C+. In: Nebel, W., Rich, B., Swartout, C. (eds.) Proc. IJCAI 2003, Cambridge, MA, pp. 1079–1084 (2003)

    Google Scholar 

  19. Leite, J.A.: Evolving Knowledge Bases. In: Frontiers in Artificial Intelligence and Applications, vol. 81. IOS Press, Amsterdam (2003)

    Google Scholar 

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

    Chapter  Google Scholar 

  21. Lifschitz, V.: Action languages, answer sets and planning. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 357–373. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  22. Lifschitz, V., Woo, T.: Answer sets in general non-monotonic reasoning (preliminary report). In: Nebel, B., Rich, C., Swartout, W. (eds.) Proceedings of the 3th International Conference on Principles of Knowledge Representation and Reasoning KR 1992, Morgan-Kaufmann, San Francisco (1992)

    Google Scholar 

  23. Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)

    Book  Google Scholar 

  24. McCarthy, J.: Programs with commons sense. In: Proceedings of Teddington Conference on The Mechanization of Thought Process, pp. 75–91 (1959)

    Google Scholar 

  25. McCarthy, J.: Mathematical logic in artificial intelligence, Daedalus, pp. 297–311 (1988)

    Google Scholar 

  26. Russel, S., Norvig, P.: Artificial Intelligence A Modern Approach. In: Artificial Intelligence. Prentice Hall, Englewood Cliffs (1995)

    MATH  Google Scholar 

  27. McDermott, D., Hanks, S.: Nonmonotonic logic and temporal projection. Artificial Intelligence 33, 379–412 (1987)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CENTRIA, Universidade Nova de Lisboa, Portugal

    José Júlio Alferes & Federico Banti

  2. Dipartimento di Informatica, Università di Pisa, Italy

    Antonio Brogi

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

    You can also search for this author in PubMed Google Scholar

  2. Federico Banti
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Antonio Brogi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    João Leite

  2. DEIS, University of Bologna, V.le Risorgimento 2Q, 40136, Bologna, Italy

    Paolo Torroni

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alferes, J.J., Banti, F., Brogi, A. (2005). From Logic Programs Updates to Action Description Updates. In: Leite, J., Torroni, P. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2004. Lecture Notes in Computer Science(), vol 3487. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11533092_4

Download citation

  • DOI: https://doi.org/10.1007/11533092_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28060-6

  • Online ISBN: 978-3-540-31857-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation