Exploration of Unknown Territory via DALI Agents and ASP Modules

  • Stefania CostantiniEmail author
  • Giovanni De Gasperis
  • Giulio Nazzicone
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 373)


This paper describes a new development related to the DALI logic agent-oriented programming language/framework, and discusses a case-study. In particular, DALI agents have been equipped with ASP (Answer Set programming) modules, which allow for affordable and flexible planning capabilities, and with the possibility to select plans according to a suite of possible preferences. The case-study concerns a DALI MAS (Multi-Agent System) whose composing agents cooperate for achieving the task of exploring an unknown territory.


Logic Programming Hamiltonian Path Soft Constraint Instance Size Planner Agent 
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.
    Costantini, S.: Answer set modules for logical agents. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol. 6702, pp. 37–58. Springer, Heidelberg (2011); Revised selected papersCrossRefGoogle Scholar
  2. 2.
    Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press (2003)Google Scholar
  3. 3.
    Leone, N.: Logic programming and nonmonotonic reasoning: From theory to systems and applications. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 1–1. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  4. 4.
    Truszczyński, M.: Logic programming for knowledge representation. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 76–88. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  5. 5.
  6. 6.
    De Gasperis, G., Costantini, S., Nazzicone, G.: Dali multi agent systems framework, doi 10.5281/zenodo.11042. DALI GitHub Software Repository (July 2014) DALI,
  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.: The DALI agent-oriented logic programming language: Summary and references 2015 (2015)Google Scholar
  10. 10.
    Bevar, V., Costantini, S., Tocchio, A., De Gasperis, G.: A multi-agent system for industrial fault detection and repair. In: Demazeau, Y., Müller, J.P., Rodríguez, J.M.C., Pérez, J.B. (eds.) Advances on PAAMS. AISC, vol. 155, pp. 47–56. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  11. 11.
    Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of the 5th International Conference and Symposium on Logic Programming (ICLP/SLP 1988), pp. 1070–1080. The MIT Press (1988)Google Scholar
  12. 12.
    Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 99, 365–385 (1991)CrossRefGoogle Scholar
  13. 13.
    Calimeri, F., Ianni, G., Krennwallner, T., Ricca, F.: The answer set programming competition. AI Magazine 33(4), 114–118 (2012)Google Scholar
  14. 14.
    Gigerenzer, G., Selten, R.: Bounded Rationality, The Adaptive Toolbox. The MIT Press (2002)Google Scholar
  15. 15.
    Schwenk, A.J.: Which rectangular chessboards have a knight’s tour. Mathematics Magazine, 325–332 (1991)Google Scholar
  16. 16.
    Delei, J.B.S., Wenming, D.: An ant colony optimization algorithm for knight’s tour problem on the chessboard with holes. In: IEEE (ed.) First International Workshop on ETCS 2009, vol. 1, pp. 292–296 (2009)Google Scholar
  17. 17.
  18. 18.
    Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Transactions on Computational Logic 7(3), 499–562 (2006)CrossRefMathSciNetGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Stefania Costantini
    • 1
    Email author
  • Giovanni De Gasperis
    • 1
  • Giulio Nazzicone
    • 1
  1. 1.Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica (DISIM)Universitá degli Studi dell’AquilaL’AquilaItaly

Personalised recommendations