Skip to main content
SpringerLink
Log in

Exploration of Unknown Territory via DALI Agents and ASP Modules

  • Conference paper
Distributed Computing and Artificial Intelligence, 12th International Conference

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 373))

Abstract

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.

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

    Chapter  Google Scholar 

  2. Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press (2003)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  5. Web-references: Some ASP solvers Clasp, potassco.sourceforge.net ; Cmodels, www.cs.utexas.edu/users/tag/cmodels ; DLV, www.dbai.tuwien.ac.at/proj/dlv ; Smodels, www.tcs.hut.fi/Software/smodels

  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, http://github.com/AAAI-DISIM-UnivAQ/DALI

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  9. Costantini, S.: The DALI agent-oriented logic programming language: Summary and references 2015 (2015)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 99, 365–385 (1991)

    Article  Google Scholar 

  13. Calimeri, F., Ianni, G., Krennwallner, T., Ricca, F.: The answer set programming competition. AI Magazine 33(4), 114–118 (2012)

    Google Scholar 

  14. Gigerenzer, G., Selten, R.: Bounded Rationality, The Adaptive Toolbox. The MIT Press (2002)

    Google Scholar 

  15. Schwenk, A.J.: Which rectangular chessboards have a knight’s tour. Mathematics Magazine, 325–332 (1991)

    Google Scholar 

  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. Calimeri, F., Zhou, N.F.: Knight tour with holes ASP encoding (2014), http://www.mat.unical.it/aspcomp2013/files/links/benchmarks/encodings/aspcore-2/22-Knight-Tour-with-holes/encoding.asp

  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)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica (DISIM), Universitá degli Studi dell’Aquila, L’Aquila, Italy

    Stefania Costantini, Giovanni De Gasperis & Giulio Nazzicone

Authors
  1. Stefania Costantini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giovanni De Gasperis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Giulio Nazzicone
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Stefania Costantini .

Editor information

Editors and Affiliations

  1. Department of Electronics, Information and Communication Engineering, Osaka Institute of Technology, Osaka, Osaka, Japan

    Sigeru Omatu

  2. College of Engineering, Qatar University, Doha, Qatar

    Qutaibah M. Malluhi

  3. Department of Computing Science Faculty of Science, University of Salamanca, Salamanca, Spain

    Sara Rodríguez Gonzalez

  4. Department of Electronics and Computers Division of Computer Science and Managem, Koszalin University of Technology, Koszalin, Poland

    Grzegorz Bocewicz

  5. Department of Philosophical, Pedagogical and Economic-Quantitative Sciences, University of Chieti-Pescara, Pescara, Italy

    Edgardo Bucciarelli

  6. Department of Philosophical, Pedagogical and Economic-Quantitative Sciences, University of Chieti-Pescara, Pescara, Italy

    Gianfranco Giulioni

  7. Zayed University, Abu Dhabi Campus, Abu Dhabi, Utd.Arab.Emir.

    Farkhund Iqba

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Costantini, S., De Gasperis, G., Nazzicone, G. (2015). Exploration of Unknown Territory via DALI Agents and ASP Modules. In: Omatu, S., et al. Distributed Computing and Artificial Intelligence, 12th International Conference. Advances in Intelligent Systems and Computing, vol 373. Springer, Cham. https://doi.org/10.1007/978-3-319-19638-1_33

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-19638-1_33

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-19637-4

  • Online ISBN: 978-3-319-19638-1

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation