About Declarative Semantics of Logic-Based Agent Languages

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


In this paper we cope with providing an approach to declarative semantics of logic-based agent-oriented languages, taking then as a case-study the language DALI which has been previously defined by the authors. This “evolutionary semantics” does not resort to a concept of state: rather, it models reception of events as program transformation steps, that produce a “program evolution” and a corresponding “semantic evolution”. Communication among agents and multi-agent systems is also taken into account. The aim is that of modeling agent’s evolution according to either external (environmental) or internal changes in a logical way, thus allowing in principle the adoption of formal verification methods. We also intend to create a common ground for relating and comparing different approaches/languages.


Logic Program Logic Programming External Event Operational Semantic Belief Revision 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Barklund, J., Costantini, S., Dell’Acqua, P., Lanzarone, G.A.: Reflection Principles in Computational Logic. J. of Logic and Computation 10(6) (December 2000)Google Scholar
  2. 2.
    Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R., Subrahmanian, V.S.: Heterogeneous Agent Systems. MIT Press, Cambridge (2000)Google Scholar
  3. 3.
    Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G., Toni, F.: The KGP model of agency for global computing: Computational model and prototype implementation. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 340–367. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  4. 4.
    Bratman, M.E., Israel, D.J., Pollack, M.E.: Plans and resource-bounded practical reasoning. Computational Intelligence 4, 349–355 (1988)CrossRefGoogle Scholar
  5. 5.
    Clark, K.L., McCabe, G.: Go! A multi-paradigm programming language for implementing multi- threaded agents. Annals of Mathematics and Artificial Intelligence 41, 171–206 (2004)CrossRefzbMATHGoogle Scholar
  6. 6.
    Costantini, S.: Towards active logic programming. In: Brogi, A., Hill, P. (eds.) Proc. of 2nd International Workshop on component-based Software Development in Computational Logic (COCL 1999) Available,
  7. 7.
    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
  8. 8.
    Costantini, S., Tocchio, A.: The DALI Logic Programming Agent-Oriented Language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 685–688. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  9. 9.
    Costantini, S., Tocchio, A., Verticchio, A.: A Game-Theoretic Operational Semantics for the DALI Communication Architecture. In: Proc. of WOA 2004, Turin, Italy (December 2004), ISBN 88-371-1533- 4Google Scholar
  10. 10.
    Costantini, S., Tocchio, A., Verticchio, A.: Communication and Trust in the DALI Logic Programming Agent-Oriented Language. In: Cadoli, M., Milano, M., Omicini, A. (eds.) Italian J. of Artificial Intelligence (March 2005)Google Scholar
  11. 11.
    d’Inverno, M., Hindriks, K., Luck, M.: A formal architecture for the 3APL agent programming language. In: Jonathan, P.B., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol. 1878, pp. 168–187. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  12. 12.
    FIPA, Communicative Act Library Specification, Technical Report XC00037H, Foundation for Intelligent Physical Agents, August 10 (2001)Google Scholar
  13. 13.
    Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the Fifth Joint International Conference and Symposium, pp. 1070–1080. The MIT Press, Cambridge (1988)Google Scholar
  14. 14.
    Kowalski, R.A.: How to be Artificially Intelligent - the Logical Way, Draft, Available, (revised February 2004)
  15. 15.
    Kowalski, R.A., Sadri, F.: Towards a unified agent architecture that combines rationality with reactivity. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol. 1154, Springer, Heidelberg (1996)CrossRefGoogle Scholar
  16. 16.
    Kowalski, R.A., Sadri, F.: An Agent Architecture that Unifies Rationality with Reactivity. Department of Computing, Imperial College (1997)Google Scholar
  17. 17.
    Lloyd, J.W.: Foundations of Logic Programming (1987)Google Scholar
  18. 18.
    Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS(LNAI), vol. 1038, pp. 42–55. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  19. 19.
    Rao, A.S., Georgeff, M.: BDI Agents: from theory to practice. In: Proc. of the First Int. Conf. on Multi-Agent Systems (ICMAS 1995), San Francisco, CA, pp. 312–319 (1995)Google Scholar
  20. 20.
    Tocchio, A.: Multi-Agent sistems in computational logic, Ph.D. Thesis, Dipartimento di Informatica, Universitá degli Studi di L’Aquila (2005)Google Scholar
  21. 21.
    Van der Hoeve, E.C., Dastani, M., Dignum, F., Meyer, J.-J.: 3APL Platform. In: Proc. of the The 15th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2003), held in Nijmegen, The Netherlands (2003)Google Scholar
  22. 22.
    Van Gelder, A., Ross, K.A., Schlipf, J.: The well-founded semantics for general logic programs. J. of the ACM 38(3), 620–650 (1990)MathSciNetzbMATHGoogle Scholar
  23. 23.
    Wooldridge, M., Jennings, N.R.: Intelligent agents: Theory and practice. Knowl. Eng. Rev. 10(2), 115–152 (1995)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

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

Personalised recommendations