Abstract
This article presents a practical approach to building argumentative BDI agents. As in the last years the domain of argumentation reached maturity and offers now a very rich and well structured abstract theory, the challenge now is to put this work into practice and prove its usefulness in real applications. There is a high interest from the multi-agent systems community in applying argumentation for agents’ defeasible reasoning.
The main goal of the work presented in this paper was to provide the means to enable argumentative capabilities in BDI agents. For this reason, Jason, a platform for the development of multi-agent systems using the BDI model of agency, was extended with a module for argumentation. The proposed argumentation module is decoupled from the BDI reasoning cycle as it operates only on the belief base of the agents and does not interfere in the execution of plans, creation of goals, or agent’s commitments. Although no protocol for argumentation-based dialogues is proposed here, agents can engage in any such dialogues as the argumentation module makes suggestions of attacks to put forward in conversation or gives structured justifications for different beliefs. An instantiation of Dung’s abstract framework is used with state of the art structure of arguments and ways of attack and defeat between arguments.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
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.
References
Baroni, P., Giacomin, M., Guida, G.: SCC-recursiveness: a general schema for argumentation semantics. Artificial Intelligence 168(1-2), 162–210 (2005)
Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artificial intelligence 93(1), 63–101 (1997)
Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley and Sons, Ltd. (2007)
Caminada, M.: Semi-stable semantics. In: Computational Models of Argument: Proceedings of COMMA, pp. 121–130 (2006)
Coste-Marquis, S., Devred, C., Marquis, P.: Prudent semantics for argumentation frameworks. In: 17th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2005, pp. 5–572. IEEE (2005)
Doyle, J.: A truth maintenance system* 1. Artificial Intelligence 12(3), 231–272 (1979)
Dung, P.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games* 1. Artificial Intelligence 77(2), 321–357 (1995)
Dung, P., Mancarella, P., Toni, F.: A dialectic procedure for sceptical, assumption-based argumentation. In: Proceeding of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006, pp. 145–156. IOS Press (2006)
Gratie, C., Florea, A.M.: Argumentation semantics for agents. In: Cossentino, M., Kaisers, M., Tuyls, K., Weiss, G. (eds.) EUMAS 2011. LNCS, vol. 7541, pp. 129–144. Springer, Heidelberg (2012)
Gratie, C., Florea, A.M., Meyer, J.J.C.: General directionality and the local behavior of argumentation semantics. In: Ossowski, S., Toni, F., Vouros, G.A. (eds.) Proceedings of the First International Conference on Agreement Technologies, AT 2012, Dubrovnik, Croatia, October 15-16. CEUR Workshop Proceedings, vol. 918, pp. 113–127. CEUR-WS.org (2012)
McCarthy, J.: Circumscription–a form of non-monotonic reasoning. Artificial Intelligence 13(1-2), 27–39 (1980)
McDermott, D., Doyle, J.: Nonmonotonic logic 1. Artificial Intelligence 13, 41–72 (1980)
Prakken, H.: An abstract framework for argumentation with structured arguments. Argument & Computation 1(2), 93–124 (2010)
Reiter, R.: A logic for default reasoning. Artificial Intelligence 13(1-2), 81–132 (1980)
Verheij, B.: Two approaches to dialectical argumentation: admissible sets and argumentation stages. In: Computational Dialectics Workshop, pp. 3–7. Citeseer (June 1996)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Berariu, T. (2014). An Argumentation Framework for BDI Agents. In: Zavoral, F., Jung, J., Badica, C. (eds) Intelligent Distributed Computing VII. Studies in Computational Intelligence, vol 511. Springer, Cham. https://doi.org/10.1007/978-3-319-01571-2_40
Download citation
DOI: https://doi.org/10.1007/978-3-319-01571-2_40
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-01570-5
Online ISBN: 978-3-319-01571-2
eBook Packages: EngineeringEngineering (R0)