Skip to main content
SpringerLink
Log in
Book cover

International and Interdisciplinary Conference on Modeling and Using Context

CONTEXT 2003: Modeling and Using Context pp 443–450Cite as

Context-Based Commonsense Reasoning in the DALI Logic Programming Language

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2680))

Abstract

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.

Research partially funded by MIUR 40% project Aggregate- and number-reasoning for computing: from decision algorithms to constraint programming with multisets, sets, and maps and by the Information Society Technologies programme of the European Commission, Future and Emerging Technologies under the IST-2001-37004 WASP project. Many thanks to Stefano Gentile, who has joined the DALI project, has cooperated to the implementation of DALI, has designed the language web site, and has helped and supported the authors in many ways.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. http://www.di.unipi.it/brogi/ResearchActivity/COCL99/proceedings/index.html.

  2. S. Costantini, S. Gentile, A. Tocchio. DALI home page: http://gentile.dm.univaq.it/dali/dali.htm.

  3. 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, 2002

    Chapter  Google Scholar 

  4. 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. 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.

    Chapter  Google Scholar 

  6. 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.

    Chapter  Google Scholar 

  7. 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. 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. 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. 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 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università degli Studi di L’Aquila, Via Vetoio, Loc. Coppito, I-67010, L’Aquila, Italy

    Stefania Costantini & Arianna Tocchio

Authors
  1. Stefania Costantini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Arianna Tocchio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. INRIA Lorraine, 615, rue du Jardin Botanique, 54602, Villers les Nancy Cedex, France

    Patrick Blackburn

  2. Department of Computer Science, University of Liverpool, Chadwick Building, Peach Street, Liverpool, L69 7ZF, UK

    Chiara Ghidini

  3. Department of Computer Science, University of Maine, 5752 Neville Hall, Orono, ME, 04469-5752, USA

    Roy M. Turner

  4. Department of Information and Communication Technology, University of Trento, 38050, Povo, Trento, Italy

    Fausto Giunchiglia

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Costantini, S., Tocchio, A. (2003). Context-Based Commonsense Reasoning in the DALI Logic Programming Language. In: Blackburn, P., Ghidini, C., Turner, R.M., Giunchiglia, F. (eds) Modeling and Using Context. CONTEXT 2003. Lecture Notes in Computer Science(), vol 2680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44958-2_36

Download citation

  • DOI: https://doi.org/10.1007/3-540-44958-2_36

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40380-7

  • Online ISBN: 978-3-540-44958-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation