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.
We acknowledge support by the Information Society Technologies programme of the European Commission, Future and Emerging Technologies under the IST-2001-37004 WASP project.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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, UK
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
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)
Costantini, S., Tocchio, A., Verticchio, A.: Semantic of the DALI Logic Programming Agent-Oriented Language (submitted)
FIPA. Communicative Act Library Specification, Technical Report XC00037H, Foundation for Intelligent Physical Agents (August 10, 2001)
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
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Costantini, S., Tocchio, A. (2004). The DALI Logic Programming Agent-Oriented Language. In: Alferes, J.J., Leite, J. (eds) Logics in Artificial Intelligence. JELIA 2004. Lecture Notes in Computer Science(), vol 3229. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30227-8_57
Download citation
DOI: https://doi.org/10.1007/978-3-540-30227-8_57
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23242-1
Online ISBN: 978-3-540-30227-8
eBook Packages: Springer Book Archive