The DALI Logic Programming Agent-Oriented Language

  • Stefania Costantini
  • Arianna Tocchio
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3229)

Abstract

DALI [3], [2] is an Active Logic Programming Language designed in the line of [6] for executable specification of logical agents. A DALI agent is a logic program that contains a particular kind of rules, reactive rules, aimed at interacting with an external environment. The reactive and proactive behavior of a DALI agent is triggered by several kinds of events: external, internal, present and past events. All the events and actions are timestamped, so as to record when they occurred. The new syntactic entities, i.e., predicates related to events and proactivity, are indicated with special postfixes (which are coped with by a pre-processor) so as to be immediately recognized while looking at a program.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Barklund, J., Costantini, S., Dell’Acqua, P., Lanzarone, G.A.: Reflection Principles in Computational Logic. Journal of Logic and Computation 10 (December 2000) Oxford University Press, UKGoogle Scholar
  2. 2.
    Costantini, S.: Many references about DALI and PowerPoint presentations can be found at the URLs: http://costantini.di.univaq.it/pubbls_stefi.htm and http://costantini.di.univaq.it/AI2.htm
  3. 3.
    Costantini, S., Tocchio, A.: A Logic Programming Language for Multi-agent Systems. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, p. 1. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  4. 4.
    Costantini, S., Tocchio, A., Verticchio, A.: Semantic of the DALI Logic Programming Agent-Oriented Language (submitted)Google Scholar
  5. 5.
    FIPA. Communicative Act Library Specification, Technical Report XC00037H, Foundation for Intelligent Physical Agents (August 10, 2001)Google Scholar
  6. 6.
    Kowalski, R.A.: How to be Artificially Intelligent - the LogicalWay, Draft, revised February 2004, Available on line, http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/rak.html
  7. 7.
    Mc Burney, P., Van Eijk, R.M., Parsons, S., Amgoud, L.: A Dialogue Game Protocol for Agent Purchase Negotiations. J. Autonomous Agents and Multi-Agent Systems 7(3) (November 2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

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

Personalised recommendations