Skip to main content
SpringerLink
Log in
Book cover

European Workshop on Logics in Artificial Intelligence

JELIA 2002: Logics in Artificial Intelligence pp 1–13Cite as

A Logic Programming Language for Multi-agent Systems

  • Conference paper
  • First Online:

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

Abstract

This paper presents a new logic programming language for modelling Agents and Multi-Agent systems in computational logic. The basic objective of the specification of this new language has been the identification and the formalization of what we consider to be the basic patterns for reactivity, proactivity, internal “thinking”, and “memory”. The formalization models these concepts by introducing different kinds of events, with a suitable treatment. We introduce a novel approach to the language semantics, called the evolutionary semantics.

Research funded by MIUR 40% project Aggregate- and number-reasoning for computing: from decision algorithms to constraint programming with multisets, sets, and maps. Many thanks to Stefano Gentile, who has joined the DALI project, has cooperated to the implementation of DALI, has designed the language web site, and has helped and supported the authors in many ways.S. Flesca et al. (Eds.): JELIA 2002, LNAI 2424, pp. 1-13, 2002.

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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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. J. J. Alferes, P. Dell’Acqua, E. Lamma, J. A. Leite, L. M. Pereira, and F. Riguzzi. A logic based approach to multi-agent systems. ALP Newsletter, 14(3), August 2001.

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  3. J. Barklund, K. Boberg, P. Dell’Acqua, and M. Veanes. Meta-programming with theory systems. In K.R. Apt and F. Turini, editors, Meta-Logics and Logic Programming, pages 195–224. The MIT Press, Cambridge, Mass., 1995.

    Google Scholar 

  4. G. Brewka. Declarative representation of revision strategies. In C. Baral and M. Truszczynski, editors, NMR’2000, Proc. Of the 8th Intl. Workshop on Non-Monotonic Reasoning, 2000.

    Google Scholar 

  5. G. Brewka and T Eiter. Prioritizing default logic. In Festschrift 60th Anniversary of W. Bibel. Kluwer Academic Publishers, 2000.

    Google Scholar 

  6. P. R. Cohen and H. J. Levesque. Rational interaction as the basis for communication. In P. R. Cohen, J. Morgan, and M. E. Pollack, editors, Intentions in Communication, pages 221–256. MIT Press, 1990.

    Google Scholar 

  7. P. R. Cohen and H. J. Levesque. Communicative actions for artificial agents. In V. Lesser, editor, Proc. 1st Intl. Conf. on Multi-agent Systems, AAAI Press, pages 65–72. MIT Press, 1995.

    Google Scholar 

  8. S. Costantini. Meta-reasoning: a survey. In A. Kakas and F. Sadri, editors, Computational Logic: From Logic Programming into the Future: Special volume in honour of Bob Kowalski (in print). Springer-Verlag, Berlin. invited paper.

    Google Scholar 

  9. S. Costantini. Meta-reasoning: a survey. In Computational Logic: From Logic Programming into the Future — Special volume in honour of Bob Kowalski(to appear). Springer-Verlag. invited paper.

    Google Scholar 

  10. S. Costantini. Towards active logic programming. In A. Brogi and P. Hill, editors, Proc. of 2nd International Workshop on Component-based Software Development in Computational Logic (COCL’99), PLI’99, Paris, France, September 1999. http://www.di.unipi.it/brogi/ResearchActivity/COCL99/proceedings/index.html.

  11. G. De Giacomo, Y. Lespérance, and Levesque. H. J. Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, (121):109–169, 2000.

    Article  MATH  MathSciNet  Google Scholar 

  12. P. Dell’Acqua and L. M. Pereira. Updating agents. In Procs. of the ICLP’99 Workshop on Multi-Agent Systems in Logic (MASL’99), Las Cruces, New Mexico, 1999.

    Google Scholar 

  13. P. Dell’Acqua, F. Sadri, and F. Toni. Combining introspection and communication with rationality and reactivity in agents. In J. Dix, F.L. Del Cerro, and U. Furbach, editors, Logics in Artidficial Intelligence, LNCS 1489, Berlin, 1998. Springer-Verlag.

    Google Scholar 

  14. P. Dell’Acqua, F. Sadri, and F. Toni. Communicating agents. In Proc. International Workshop on Multi-Agent Systems in Logic Programming, in conjunction with ICLP’99, Las Cruces, New Mexico, 1999.

    Google Scholar 

  15. T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. A framework for declarative update specifications in logic programs. In Bernhard Nebel, editor, Proc. 17th Intl. Joint Conf. on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, 2001. Morgan Kaufmann. ISBN 1-55860-777-3.

    Google Scholar 

  16. M. Fisher. A survey of concurrent METATEM — the language and its applications. In Proceedings of First International Conference on Temporal Logic (ICTL), LNCS 827, Berlin, 1994. Springer Verlag.

    Google Scholar 

  17. K. Hindriks, F. de Boer, W. van der Hoek, and J. J. Meyer. A formal architecture for the 3apl programming language. In Proceedings of the First International Conference of B and Z Users, Berlin, 2000. Springer Verlag.

    Google Scholar 

  18. K. V. Hindriks, F. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. Agent programming in 3apl. Autonomous Agents and Multi-Agent Systems, 2(4):357–401, 1999.

    Article  Google Scholar 

  19. R. A. Kowalski and F. Sadri. From logic programming to multi-agent systems. In Annals of Mathematics and Artificial Intelligence. (to appear).

    Google Scholar 

  20. R. A. Kowalski and F. Sadri. Towards a unified agent architecture that combines rationality with reactivity. In Proc. International Workshop on Logic in Databases, LNCS 1154, Berlin, 1996. Springer-Verlag.

    Google Scholar 

  21. V. Lifschitz. Answer set planning. In D. De Schreye, editor, Proc. of ICLP’ 99 Conference, pages 23–37, Cambridge, Ma, 1999. MIT Press. Invited talk.

    Google Scholar 

  22. M. Mulder, J. Treur, and M. Fisher. Agent modelling in concurrent METATEM and DESIRE. In Intelligent Agents IV, LNAI, Berlin, 1998. Springer Verlag.

    Google Scholar 

  23. A. S. Rao. AgentSpeak(L): BDI Agents speak out in a logical computable language. In W. van De Velde and J. W. Perram, editors, Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNAI, pages 42–55, Berlin, 1996. Springer Verlag.

    Google Scholar 

  24. A. S. Rao and M. George.. BDI Agents: from theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 312–319, San Francisco, CA, June 1995.

    Google Scholar 

  25. A. S. Rao and M. P. George.. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-91), pages 473–484. Morgan Kaufmann Publishers: San Mateo, CA, April 1991.

    Google Scholar 

  26. V.S. Subrahmanian, Piero Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Özcan, and Robert Ross. Heterogenous Active Agents. MIT-Press, 2000. 580 pages.

    Google Scholar 

  27. M. Wooldridge. Semantic issues in the verification of agent communication languages. Autonomous Agents and Multi-Agent Systems, 3(1):9–32, 2000.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università degli Studi di L’Aquila, Via Vetoio, Loc. Coppito, I-67010, L’Aquila, Italy

    Stefania Costantini & Arianna Tocchio

Authors
  1. Stefania Costantini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Arianna Tocchio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DEIS, University of Calabria, P.te P. Bucci, Cubo 41C, 87036, Rende, CS, Italy

    Sergio Flesca  & Sergio Greco  & 

  2. Department of Mathematics, University of Calabria, P.te P. Bucci, Cubo 30B, 87036, Rende, CS, Italy

    Giovambattista Ianni  & Nicola Leone  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Costantini, S., Tocchio, A. (2002). A Logic Programming Language for Multi-agent Systems. In: Flesca, S., Greco, S., Ianni, G., Leone, N. (eds) Logics in Artificial Intelligence. JELIA 2002. Lecture Notes in Computer Science(), vol 2424. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45757-7_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-45757-7_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44190-8

  • Online ISBN: 978-3-540-45757-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation