Context-Based Commonsense Reasoning in the DALI Logic Programming Language

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


In this paper we will discuss the context management features of the new logic programming language DALI, aimed at defining agents and multi-agent systems. In particular, a DALI agent, which is capable of reactive and proactive behaviour, builds step-by-step her context. Context update is modelled by the novel concept of “evolutionary semantics”, where each context manipulation is interpreted as a program transformation step. We show that this kind of context-based agent language is well-suited for representing many significant commonsense reasoning examples.


Past Event Belief Revision Past Action Event Atom Internal Event 
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. [Co99]
    S. Costantini. Towards active logic programming. In A. Brogi and P. Hill, (eds.), Proc. of 2nd International Works. on Component-based Software Development in Computational Logic (COCL’99), PLI’99, Paris, France, September 1999.
  2. [CGT02]
    S. Costantini, S. Gentile, A. Tocchio. DALI home page:
  3. [CT02]
    S. Costantini, A. Tocchio. A Logic Programming Language for Multi-agent Systems. In S. Flesca, S. Greco, N. Leone, G. Ianni (eds.), Logics in Artificial Intelligence, Proc. of the 8th Europ. Conf., JELIA 2002, Cosenza, Italy, September 2002, LNAI 2424, Springer-Verlag, Berlin, 2002CrossRefGoogle Scholar
  4. [DST99]
    P. Dell’Acqua, F. Sadri, and F. Toni. Communicating agents. In Proc. International Works. on Multi-Agent Systems in Logic Progr., in conjunction with ICLP’99, Las Cruces, New Mexico, 1999.Google Scholar
  5. [Fi94]
    M. Fisher. A survey of concurrent METATEM — the language and its applications. In Proc. of First International Conf. on Temporal Logic (ICTL), LNCS 827, Berlin, 1994. Springer Verlag.CrossRefGoogle Scholar
  6. [KS96]
    R. A. Kowalski and F. Sadri. Towards a unified agent architecture that combines rationality with reactivity. In Proc. InternationalWorks. on Logic in Databases, LNCS 1154, Berlin, 1996. Springer-Verlag.CrossRefGoogle Scholar
  7. [PP90]
    Przymusinska, H., and Przymusinski, T. C., Semantic Issues in Deductive Databases and Logic Programs. R.B. Banerji (ed.) Formal Techniques in Artificial Intelligence, a Sourcebook, Elsevier Sc. Publ. B.V. (North Holland), 1990.Google Scholar
  8. [Ra96]
    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: Proc. of the Seventh European Works. on Modelling Autonomous Agents in a Multi-Agent World, LNAI, pages 42–55, Berlin, 1996. Springer Verlag.Google Scholar
  9. [Ra91]
    A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proc. of Knowledge Representation and Reasoning (KR&R-91), pages 473–484. Morgan Kaufmann Publishers: San Mateo, CA, April 1991.Google Scholar
  10. [SPDEK00]
    V.S. Subrahmanian, Piero Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Özcan, and Robert Ross. Heterogenous Active Agents. MIT-Press, 2000.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

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

Personalised recommendations