Abstract
During the last decade argumentation has evolved as a successful approach to formalize commonsense reasoning and decision making in multiagent systems. In particular, recent research has shown that argumentation can be used to provide a framework for reasoning about coalition formation, formalizing the adoption of coalitions by the agents in association with different argumentation semantics. At the same time Alternating-time Temporal Logic (atl for short) has been successfully used to reason about the behavior and abilities of coalitions of agents. However, an important limitation of atl operators is that they account only for the existence of successful strategies of coalitions, not considering whether coalitions can be actually formed.
This paper is an attempt to combine both frameworks in order to develop a logical system through which we can reason at the same time (1) about abilities of coalitions of agents and (2) about the formation of coalitions. In order to achieve this, we provide a formal extension of atl, called Coalitional atl (coalATL for short), in which the actual computation of the coalition is modelled in terms of argumentation semantics. Moreover, we integrate goals as agents’ incentive to join coalitions. We show that coalATL’s proof theory can be understood as a natural extension of the model checking procedure used in atl.
We thank the editors for the invitation to publish this paper in the ArgMas proceedings. This paper is mostly based on the paper “Modelling coalitions: ATL + Argumentation” [7], including also some results presented in “A Finer Grained Modelling of Rational Coalitions Using Goals” [8].
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
Ågotnes, T., van der Hoek, W., Wooldridge, M.: Quantified coalition logic. In: IJCAI, pp. 1181–1186 (2007)
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time Temporal Logic. Journal of the ACM 49, 672–713 (2002)
Amgoud, L.: An argumentation-based model for reasoning about coalition structures. In: Parsons, S., Maudet, N., Moraitis, P., Rahwan, I. (eds.) ArgMAS 2005. LNCS, vol. 4049, pp. 217–228. Springer, Heidelberg (2006)
Amgoud, L.: Towards a formal model for task allocation via coalition formation. In: AAMAS, pp. 1185–1186 (2005)
Borgo, S.: Coalitions in action logic. In: IJCAI, pp. 1822–1827 (2007)
Brena, R.F., Aguirre, J.-L., Chesñevar, C.I., Ramírez, E.H., Garrido, L.: Knowledge and information distribution leveraged by intelligent agents. Knowl. Inf. Syst. 12(2), 203–227 (2007)
Bulling, N., Chesñevar, C., Dix, J.: Modelling coalitions: ATL+argumentation. In: Proceedings of AAMAS 2008, Estoril, Portugal, May 2008. ACM Press, New York (2008)
Bulling, N., Dix, J.: A finer grained modeling of rational coalitions using goals. In: Proceedings of the 14th Argentinean Conference on Computer Science CACIC 2008 (to appear, 2008)
Bulling, N., Jamroga, W., Dix, J.: Reasoning about temporal properties of rational play. Annals of Mathematics and Artificial Intelligence (to appear)
Caminada, M.: Semi-stable semantics. In: Intl. Conference on Computational Models of Argument (COMMA), pp. 121–130 (2006)
Chesñevar, C.I., Maguitman, A.G., Loui, R.P.: Logical models of argument. ACM Comput. Surv. 32(4), 337–383 (2000)
Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–358 (1995)
Dunne, P.E., Bench-Capon, T.J.M.: Two party immediate response disputes: Properties and efficiency. Artif. Intell. 149(2), 221–250 (2003)
Gaertner, D., Toni, F.: Computing arguments and attacks in assumption-based argumentation. IEEE Intelligent Systems 22(6), 24–33 (2007)
Hattori, H., Ito, T., Ozono, T., Shintani, T.: An approach to coalition formation using argumentation-based negotiation in multi-agent systems. In: Monostori, L., Váncza, J., Ali, M. (eds.) IEA/AIE 2001. LNCS, vol. 2070, pp. 687–696. Springer, Heidelberg (2001)
Jamroga, W., Bulling, N.: A general framework for reasoning about rational agents. In: Proceedings of AAMAS 2007, Honolulu, Hawaii, USA, pp. 592–594. ACM Press, New York (2007)
Jamroga, W., Bulling, N.: A logic for reasoning about rational agents. In: Sadri, F., Satoh, K. (eds.) Proceedings of CLIMA 2007, Porto, Portugal, Univesidade Do Porto, pp. 54–69 (2007)
Kaci, S., van der Torre, L.: Preference-based argumentation: Arguments supporting multiple values. Int. J. Approx. Reasoning 48(3), 730–751 (2008)
Kaci, S., van der Torre, L.W.N., Weydert, E.: On the acceptability of incompatible arguments. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS, vol. 4724, pp. 247–258. Springer, Heidelberg (2007)
Karunatillake, N.C., Jennings, N.R., Rahwan, I., Ramchurn, S.D.: Managing social influences through argumentation-based negotiation. In: Proc. of AAMAS, pp. 426–428 (2006)
Pauly, M.: A modal logic for coalitional power in games. J. Log. Comput. 12(1), 149–166 (2002)
Prakken, H., Vreeswijk, G.: Logical Systems for Defeasible Argumentation. In: Gabbay, D., Guenther, F. (eds.) Handbook of Phil. Logic, pp. 219–318. Kluwer, Dordrecht (2002)
Rahwan, I., Amgoud, L.: An argumentation based approach for practical reasoning. In: Proc. of AAMAS Conf., pp. 347–354 (2006)
Rahwan, I., Pasquier, P., Sonenberg, L., Dignum, F.: On the benefits of exploiting underlying goals in argument-based negotiation. In: Proc. of AAAI Conf., pp. 116–121 (2007)
Rovatsos, M., Rahwan, I., Fischer, F.A., Weiß, G.: Practical strategic reasoning and adaptation in rational argument-based negotiation. In: Parsons, S., Maudet, N., Moraitis, P., Rahwan, I. (eds.) ArgMAS 2005. LNCS, vol. 4049, pp. 122–137. Springer, Heidelberg (2006)
Tang, Y., Parsons, S.: Argumentation-based dialogues for deliberation. In: Proc. of AAMAS, pp. 552–559 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bulling, N., Chesñevar, C.I., Dix, J. (2009). An Argumentative Approach for Modelling Coalitions Using ATL. In: Rahwan, I., Moraitis, P. (eds) Argumentation in Multi-Agent Systems. ArgMAS 2008. Lecture Notes in Computer Science(), vol 5384. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00207-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-00207-6_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00206-9
Online ISBN: 978-3-642-00207-6
eBook Packages: Computer ScienceComputer Science (R0)