Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Computational Logic in Multi-Agent Systems

CLIMA 2004: Computational Logic in Multi-Agent Systems pp 78–95Cite as

Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs

  • Conference paper
  • First Online:

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

Abstract

Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially ordered by arbitrary relevancy relation, e.g., level of authority. They have been shown useful for modeling and reasoning about multi-agent systems. Various approaches to define semantics of MDLPs have been presented. Most of the approaches can be characterized as based on rejection of rules.

It is understood that on some restricted classes of MDLPs several of these semantics coincide. We focus on acyclic programs. We show that for a MDLP \(\mathcal{P}\) and a candidate model M, if \(\mathcal{P}\) is acyclic to some extent then several of the known semantics coincide on M. It follows as a direct consequence that on the class of acyclic programs all of these semantics coincide.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Leite, J.A., Alferes, J.J., Pereira, L.M.: Multi-dimensional dynamic logic programming. In: Sadri, F., Satoh, K. (eds.) Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2000), pp. 17–26 (2000)

    Google Scholar 

  2. Leite, J.A., Pereira, L.M.: Iterated logic program updates. In: Jaffar, J. (ed.) Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 1998), pp. 265–278. MIT Press, Cambridge (1998)

    Google Scholar 

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

    Google Scholar 

  4. Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic logic programming. In: Cohn, A.G., Schubert, L.K., Shapiro, S.C. (eds.) Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 98–109. Morgan Kaufmann, San Francisco (1998)

    Google Scholar 

  5. Eiter, T., Sabbatini, G., Fink, M., Tompits, H.: On updates of logic programs: Semantics and properties. Technical Report 1843-00-08, Institute of Information Systems, Vienna University of Technology (2002)

    Google Scholar 

  6. 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  Google Scholar 

  7. 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 (LNAI), vol. 2923, pp. 8–20. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  8. Leite, J.: On some differences between semantics of logic program updates. In: Lemaître, C., Reyes, C.A., González, J.A. (eds.) IBERAMIA 2004. LNCS (LNAI), vol. 3315, pp. 375–385. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  9. Eiter, T., Sabbatini, G., Fink, M., Tompits, H.: On properties of update sequences based on causal rejection. In: Theory and Practice of Logic Programming, pp. 711–767 (2002)

    Article  MathSciNet  Google Scholar 

  10. Homola, M.: On relations of the various semantic approaches in multidimensional dynamic logic programming. Master’s thesis, Comenius University, Faculty of Mathematics Physics and Informatics, Bratislava (2004)

    Google Scholar 

  11. Leite, J.A., Alferes, J.J., Pereira, L.M.: Multi-dimensional logic programming. Technical report, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa (2001)

    Google Scholar 

  12. 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, pp. 365–378. Springer, Heidelberg (2001)

    Google Scholar 

  13. Alferes, J.J., Banti, F., Brogi, A.: From logic program updates to action description updates. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 52–77. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  14. Sakama, C., Inoue, K.: Coordination between logical agents. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 161–177. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  15. Šefránek, J.: Semantic considerations on rejection. In: Proceedings of the International Workshop on Non-Monotonic Reasoning (NMR 2004), Foundations of Nonmonotonic Reasoning (2004)

    Google Scholar 

  16. van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. Journal of the ACM 23, 733–742 (1976)

    Article  MathSciNet  Google Scholar 

  17. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K.A. (eds.) Proceedings of the Fifth International Conference and Symposium on Logic Programming, pp. 1070–1080. MIT Press, Cambridge (1988)

    Google Scholar 

  18. Apt, K.R., Bezem, M.: Acyclic programs. New Generation Computing 9, 335–363 (1991)

    Article  Google Scholar 

  19. Šiška, J.: Refined extension principle for multi-dimensional dynamic logic programming. Master’s thesis, Comenius University, Faculty of Mathematics Physics and Informatics, Bratislava (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Comenius University, Bratislava, Slovakia

    M. Homola

Authors
  1. M. Homola
    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

Homola, M. (2005). Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs. 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_5

Download citation

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

  • 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