Planning Experiments in the DALI Logic Programming Language

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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Barklund, J., Costantini, S., Dell’Acqua, P.: Reflection Principles in Computational Logic. Journal of Logic and Computation 10(6) (2000)Google Scholar
  2. 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.htmlGoogle Scholar
  3. 3.
    Costantini, S., Gentile, S., Tocchio, A.: DALI home page: http://gentile.dm.univaq.it/dali/dali.htm
  4. 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)CrossRefGoogle Scholar
  5. 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. 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. 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. 8.
    Intrigila, B., Melatti, I., Tocchio, A.: Model-checking DALI with Murφ, Tech. Rep., Univ. of L’Aquila (2004)Google Scholar
  9. 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)CrossRefMATHGoogle Scholar
  10. 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)CrossRefGoogle Scholar
  11. 11.
    Kowalski, R.A., Sergot, M.A.: A logic-based calculus of events. New Generation Computing 4 (1986)Google Scholar
  12. 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. 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. 14.
    Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programming and Disjunctive Databases. New Generation Computing 9, 365–385 (1991)CrossRefMATHGoogle Scholar
  15. 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. 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. 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)CrossRefGoogle Scholar
  18. 18.
    Poole, D., Mackworth, A., Goebel, R.: Computational Intelligence. Oxford University Press, Oxford (1998)MATHGoogle Scholar
  19. 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. 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. 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. 22.
    SICStus home page: http://www.sics.se/sicstus/
  23. 23.
  24. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

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

Personalised recommendations