Abstract
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) where agents are engaged in an argumentation to reach a common conclusion. Due to the distributed approach personalities and opinions of the individual agents give rise to arguments and counterarguments concerning a particular query. This distribution of information leads to more intuitive modeling of argumentation from the point of view of knowledge representation. We establish a sound theoretical framework of a specific type of argumentation in multi-agent systems and describe the computational issues involved in it. A formal comparison of the framework to DeLP is given and it is shown that the modeling specific scenarios of argumentation in the distributed setting bears a more rational representation. The framework described in this paper has been fully implemented and a short description of its features is given.
This is a preview of subscription content, log in via an institution to check access.
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
de Almeida, I.C., Alferes, J.J.: An argumentation-based negotiation for distributed extended logic programs. In: Proceedings of CLIMA VII, pp. 191–210 (2006)
Alsinet, T., Chesñevar, C.I., Godo, L., Simari, G.R.: A logic programming framework for possibilistic argumentation: Formalization and logical properties. Fuzzy Sets and Systems (2008)
Atkinson, K., Bench-Capon, T., McBurney, P.: A dialogue game protocol for multi-agent argument over proposals for action. Autonomous Agents and Multi-Agent Systems 11(2), 153–171 (2005)
Bench-Capon, T.J.M.: Persuasion in practical argument using value based argumentation frameworks. Journal of Logic and Computation 13(3), 429–448 (2003)
Bench-Capon, T.J.M., Dunne, P.E.: Argumentation in artificial intelligence. Artificial Intelligence 171, 619–641 (2007)
Biskup, J., Kern-Isberner, G., Thimm, M.: Towards enforcement of confidentiality in agent interactions. In: Proceedings of the 12th International Workshop on Non-Monotonic Reasoning, pp. 104–112 (2008)
Black, E.: A Generative Framework for Argumentation-Based Inquiry Dialogues. Ph.D. thesis, University College London (2007)
Black, E., Hunter, A.: An inquiry dialogue system. Autonomous Agents and Multi-Agent Systems 19(2), 173–209 (2009)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77(2), 321–358 (1995)
García, A., Simari, G.: Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming 4(1-2), 95–138 (2004)
Karunatillake, N.C., Jennings, N.R., Rahwan, I., Norman, T.J.: Argument-based negotiation in a social context. In: Proceedings of the 4th international joint conference on Autonomous agents and multiagent systems, pp. 1331–1332. ACM, New York (2005)
Maudet, N., Parsons, S., Rahwan, I.: Argumentation in multi-agent systems: Context and recent developments. In: Third International Workshop on Argumentation in Multi-Agent Systems, pp. 1–16 (2007)
Perrussel, L., Doutre, S., Thévenin, J.M., McBurney, P.: A persuasion dialog for gaining access to information. In: Rahwan, I., Parsons, S., Reed, C. (eds.) ArgMAS 2007. LNCS (LNAI), vol. 4946, pp. 63–79. Springer, Heidelberg (2008)
Prakken, H.: Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report). In: Model Age Workshop, pp. 202–215 (1997)
Prakken, H., Vreeswijk, G.: Logical systems for defeasible argumentation. In: Handbook of Philosophical Logic, vol. 4, pp. 219–318. Kluwer, Dordrecht (2002)
Roth, B., Riveret, R., Rotolo, A., Governatori, G.: Strategic Argumentation: A Game Theoretical Investigation. In: Proceedings of the 11th International Conference on Artificial Intelligence and Law, pp. 81–90. ACM Press, New York (2007)
Stolzenburg, F., García, A., Chesnevar, C.I., Simari, G.: Computing generalized specificity. Journal of Non-Classical Logics 13(1), 87–113 (2003)
Thimm, M.: Verteilte logikbasierte Argumentation: Konzeption, Implementierung und Anwendung im Rechtswesen. VDM Verlag Dr. Müller (2008)
Thimm, M., Garcia, A.J., Kern-Isberner, G., Simari, G.R.: Using collaborations for distributed argumentation with defeasible logic programming. In: Proceedings of the 12th International Workshop on Non-Monotonic Reasoning, pp. 179–188 (2008)
Thimm, M., Kern-Isberner, G.: A distributed argumentation framework using defeasible logic programming. In: Proceedings of the 2nd International Conference on Computational Models of Argument, pp. 381–392. IOS Press, Amsterdam (2008)
Thimm, M., Kern-Isberner, G.: On the relationship of defeasible argumentation and answer set programming. In: Proceedings of the 2nd International Conference on Computational Models of Argument, pp. 393–404. IOS Press, Amsterdam (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Thimm, M. (2010). Realizing Argumentation in Multi-agent Systems Using Defeasible Logic Programming. In: McBurney, P., Rahwan, I., Parsons, S., Maudet, N. (eds) Argumentation in Multi-Agent Systems. ArgMAS 2009. Lecture Notes in Computer Science(), vol 6057. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12805-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-12805-9_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-12804-2
Online ISBN: 978-3-642-12805-9
eBook Packages: Computer ScienceComputer Science (R0)