Skip to main content
SpringerLink
Log in

Planning Experiments in the DALI Logic Programming Language

  • Conference paper
Computational Logic in Multi-Agent Systems (CLIMA 2004)

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

Included in the following conference series:

Abstract

We discuss some features of the new logic programming language DALI for agents and multi-agent systems, also in connection to the issues raised in [12]. We focus in particular on the treatment of proactivity, which is based on the novel mechanism of the internal events and goals. As a case-study, we discuss the design and implementation of an agent capable to perform simple forms of planning. We demonstrate how it is possible in DALI to perform STRIPS-like planning without implementing a meta-interpreter. In fact a DALI agent, which is capable of complex proactive behavior, can build step-by-step her plan by proactively checking for goals and possible actions.

We acknowledge the support 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.

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

Access this chapter

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barklund, J., Costantini, S., Dell’Acqua, P.: Reflection Principles in Computational Logic. Journal of Logic and Computation 10(6) (2000)

    Google Scholar 

  2. Costantini, S.: Towards active logic programming. In: Brogi, A., Hill, P. (eds.) Proc. of 2nd International Works. on Component-based Software Development in Computational Logic (COCL 1999) PLI 1999, Paris, France (September 1999), http://www.di.unipi.it/ brogi/ ResearchActivity/COCL99/ proceedings/index.html

    Google Scholar 

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

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

    Chapter  Google Scholar 

  5. Costantini, S., Tocchio, A.: Communication in the DALI Agent-Oriented Logic Programming Language. In: ICLP, International Conference on Logic Programming (submitted 2004)

    Google Scholar 

  6. Dell’Acqua, P., Sadri, F., Toni, F.: Communicating agents. In: Proc. International Works. on Multi-Agent Systems in Logic Progr., in conjunction with ICLP 1999, Las Cruces, New Mexico (1999)

    Google Scholar 

  7. Fisher, M.: A survey of concurrent METATEM – the language and its applications. In: Proc. of First International Conf. on Temporal Logic (ICTL). LNCS, vol. 827. Springer, Berlin (1994)

    Google Scholar 

  8. Intrigila, B., Melatti, I., Tocchio, A.: Model-checking DALI with Murφ, Tech. Rep., Univ. of L’Aquila (2004)

    Google Scholar 

  9. Jonker, C.M., Lam, R.A., Treur, J.: A Reusable Multi-Agent Architecture for Active Intelligent Websites. Journal of Applied Intelligence 15, 7–24 (2001)

    Article  MATH  Google Scholar 

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

    Chapter  Google Scholar 

  11. Kowalski, R.A., Sergot, M.A.: A logic-based calculus of events. New Generation Computing 4 (1986)

    Google Scholar 

  12. Kowalski, R.A.: How to be Artificially Intelligent - the Logical Way, Draft, revised (February 2004), http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/rak.html

  13. Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Kowalski, R., Bowen, K. (eds.) Logic Programming: Proc. of 5th International Conference and Symposium. MIT Press, Cambridge (1988)

    Google Scholar 

  14. Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programming and Disjunctive Databases. New Generation Computing 9, 365–385 (1991)

    Article  MATH  Google Scholar 

  15. How to be Artificially Intelligent the Logical Way, book drafta (revised February 2004), Available on-line at the URL: http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/rak.html

  16. Lifschitz, V.: Answer Set Planning. In: De Schreye, D. (ed.) Proc. of the 1999 International Conference on Logic Programming (invited talk), pp. 23–37. MIT Press, Cambridge (1999)

    Google Scholar 

  17. Marek, W., Truszczyński, M.: Stable Models and an Alternative Logic Programming Paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 375–398. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  18. Poole, D., Mackworth, A., Goebel, R.: Computational Intelligence. Oxford University Press, Oxford (1998)

    MATH  Google Scholar 

  19. Przymusinska, H., Przymusinski, T.C.: Semantic Issues in Deductive Databases and Logic Programs. In: Banerji, R.B. (ed.) Formal Techniques in Artificial Intelligence, a Sourcebook, Elsevier Sc. Publ. B.V., North Holland (1990)

    Google Scholar 

  20. Rao, A.S.: AgentSpeak(L): BDI Agents speak out in a logical computable language. In: Van De Velde, W., Perram, J.W. (eds.) Agents Breaking Away: Proc. of the Seventh European Works. on Modelling Autonomous Agents in a Multi-Agent World. LNCS (LNAI). Springer, Heidelberg (1996)

    Google Scholar 

  21. Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Fikes, R., Sandewall, E. (eds.) Proc. of Knowledge Representation and Reasoning (KR&R-91). Morgan Kaufmann Publishers, San Francisco (1991)

    Google Scholar 

  22. SICStus home page: http://www.sics.se/sicstus/

  23. Web location of the most known ASP solvers: aspps: http://www.cs.uky.edu/ai/aspps/ CCalc: http://www.cs.utexas.edu/users/tag/cc/ Cmodels: http://www.cs.utexas.edu/users/tag/cmodels.html DLV: http://www.dbai.tuwien.ac.at/proj/dlv/ NoMoRe: http://www.cs.uni-potsdam.de/~linke/nomore/ SMODELS: http://www.tcs.hut.fi/Software/smodels/

  24. Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Özcan, F., Ross, R.: Heterogenous Active Agents. MIT Press, Cambridge (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. Clausthal University of Technology, Julius-Albert-Str. 4, 38678, Clausthal-Zellerfeld, Germany

    Jürgen Dix

  2. Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    João Leite

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Costantini, S., Tocchio, A. (2004). Planning Experiments in the DALI Logic Programming Language. In: Dix, J., Leite, J. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2004. Lecture Notes in Computer Science(), vol 3259. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30200-1_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30200-1_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24010-5

  • Online ISBN: 978-3-540-30200-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation