A Logic Programming Language for Multi-agent Systems

  • Stefania Costantini
  • Arianna Tocchio
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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.MATHCrossRefMathSciNetGoogle Scholar
  3. 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. 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. 5.
    G. Brewka and T Eiter. Prioritizing default logic. In Festschrift 60th Anniversary of W. Bibel. Kluwer Academic Publishers, 2000.Google Scholar
  6. 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. 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. 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. 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. 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. 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.MATHCrossRefMathSciNetGoogle Scholar
  12. 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. 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. 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. 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. 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. 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. 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.CrossRefGoogle Scholar
  19. 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. 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. 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. 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. 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. 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. 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. 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. 27.
    M. Wooldridge. Semantic issues in the verification of agent communication languages. Autonomous Agents and Multi-Agent Systems, 3(1):9–32, 2000.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Stefania Costantini
    • 1
  • Arianna Tocchio
    • 1
  1. 1.Dipartimento di InformaticaUniversità degli Studi di L’AquilaL’AquilaItaly

Personalised recommendations