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.
Keywords
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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
Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press (2003)
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)
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)
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
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
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)
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)
Costantini, S.: The DALI agent-oriented logic programming language: Summary and references 2015 (2015)
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)
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)
Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 99, 365–385 (1991)
Calimeri, F., Ianni, G., Krennwallner, T., Ricca, F.: The answer set programming competition. AI Magazine 33(4), 114–118 (2012)
Gigerenzer, G., Selten, R.: Bounded Rationality, The Adaptive Toolbox. The MIT Press (2002)
Schwenk, A.J.: Which rectangular chessboards have a knight’s tour. Mathematics Magazine, 325–332 (1991)
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)
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
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)