skip to main content
10.5555/1402298.1402319acmconferencesArticle/Chapter ViewAbstractPublication PagesaamasConference Proceedingsconference-collections
research-article

Modelling coalitions: ATL + argumentation

Published: 12 May 2008 Publication History

Abstract

In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning about coalition formation. At the same time alternating-time temporal logic has been used to reason about the behavior and abilities of coalitions of agents. However, ATL operators account only for the existence of successful strategies of coalitions. They do not consider whether coalitions can be actually formed.
This paper is an attempt to combine both frameworks and to develop a logic through which we can reason at the same time (1) about abilities of coalitions of agents and (2) about the formation of coalitions. We provide a formal extension of ATL, ATLc, in which the actual computation of the coalition is modelled in terms of argumentation semantics. We show that ATLc's proof theory can be understood as a natural extension of the model checking procedure used in ATL.

References

[1]
T. Ågotnes, W. van der Hoek, and M. Wooldridge. Quantified coalition logic. In IJCAI, pages 1181--1186, 2007.
[2]
R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. Journal of the ACM, 49:672--713, 2002.
[3]
L. Amgoud. An argumentation-based model for reasoning about coalition structures. In ArgMAS, pages 217--228, 2005.
[4]
L. Amgoud. Towards a formal model for task allocation via coalition formation. In AAMAS, pages 1185--1186, 2005.
[5]
S. Borgo. Coalitions in action logic. In IJCAI, pages 1822--1827, 2007.
[6]
N. Bulling and W. Jamroga. A logic for reasoning about rational agents: Yet another attempt. In L. Czaja, editor, Proceedings of CS&P, 2007.
[7]
M. Caminada. Semi-stable semantics. In Intl. Conference on Computational Models of Argument (COMMA), pages 121--130, 2006.
[8]
C. I. Chesñevar, A. G. Maguitman, and R. P. Loui. Logical models of argument. ACM Comput. Surv., 32(4):337--383, 2000.
[9]
E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
[10]
P. M. Dung. 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.
[11]
P. E. Dunne and T. J. M. Bench-Capon. Two party immediate response disputes: Properties and efficiency. Artif. Intell., 149(2):221--250, 2003.
[12]
H. Hattori, T. Ito, T. Ozono, and T. Shintani. An approach to coalition formation using argumentation-based negotiation in multi-agent systems. In Proceedings of IEA/AIE, pages 687--696, London, UK, 2001. Springer-Verlag.
[13]
W. Jamroga and N. Bulling. A general framework for reasoning about rational agents. In Proceedings of AAMAS'07, pages 592--594, Honolulu, Hawaii, USA, 2007. ACM Press. Short paper.
[14]
W. Jamroga and N. Bulling. A logic for reasoning about rational agents. In F. Sadri and K. Satoh, editors, Proceedings of CLIMA '07, pages 54--69, Porto, Portugal, 2007. Univesidade Do Porto.
[15]
S. Kaci, L. W. N. van der Torre, and E. Weydert. On the acceptability of incompatible arguments. In Proc. of ECSQARU Conf., pages 247--258, 2007.
[16]
N. C. Karunatillake, N. R. Jennings, I. Rahwan, and S. D. Ramchurn. Managing social influences through argumentation-based negotiation. In Proc. of AAMAS, pages 426--428, 2006.
[17]
M. Pauly. A modal logic for coalitional power in games. J. Log. Comput., 12(1):149--166, 2002.
[18]
H. Prakken and G. Vreeswijk. Logical Systems for Defeasible Argumentation. In D. Gabbay and F. Guenther, editors, Handbook of Phil. Logic, pages 219--318. Kluwer, 2002.
[19]
I. Rahwan and L. Amgoud. An argumentation based approach for practical reasoning. In Proc. of AAMAS Conf., pages 347--354, 2006.
[20]
I. Rahwan, P. Pasquier, L. Sonenberg, and F. Dignum. On the benefits of exploiting underlying goals in argument-based negotiation. In Proc. of AAAI Conf., pages 116--121, 2007.
[21]
Y. Tang and S. Parsons. Argumentation-based dialogues for deliberation. In Proc. of AAMAS, pages 552--559, 2005.

Cited By

View all
  • (2017)Coalition Formability Semantics with Conflict-Eliminable Sets of ArgumentsProceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems10.5555/3091125.3091332(1469-1471)Online publication date: 8-May-2017
  • (2015)Verifying Multi-Agent Systems by Model Checking Three-valued AbstractionsProceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems10.5555/2772879.2772907(189-198)Online publication date: 4-May-2015
  • (2014)An abstraction technique for the verification of multi-agent systems against ATL specificationsProceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning10.5555/3031929.3031981(428-437)Online publication date: 20-Jul-2014
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
May 2008
673 pages
ISBN:9780981738116

Sponsors

In-Cooperation

Publisher

International Foundation for Autonomous Agents and Multiagent Systems

Richland, SC

Publication History

Published: 12 May 2008

Check for updates

Author Tags

  1. argumentation
  2. coalition formation
  3. game theory
  4. logical foundations
  5. multi-agent systems
  6. temporal logic

Qualifiers

  • Research-article

Conference

AAMAS08
Sponsor:

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)3
  • Downloads (Last 6 weeks)0
Reflects downloads up to 14 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2017)Coalition Formability Semantics with Conflict-Eliminable Sets of ArgumentsProceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems10.5555/3091125.3091332(1469-1471)Online publication date: 8-May-2017
  • (2015)Verifying Multi-Agent Systems by Model Checking Three-valued AbstractionsProceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems10.5555/2772879.2772907(189-198)Online publication date: 4-May-2015
  • (2014)An abstraction technique for the verification of multi-agent systems against ATL specificationsProceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning10.5555/3031929.3031981(428-437)Online publication date: 20-Jul-2014
  • (2013)Argumentation theoretic foundations for abstract dependence networksProceedings of the Second international conference on Agreement Technologies10.1007/978-3-642-39860-5_14(180-194)Online publication date: 1-Aug-2013
  • (2013)Representing synergy among arguments with choquet integralProceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty10.1007/978-3-642-39091-3_26(302-314)Online publication date: 8-Jul-2013
  • (2011)Tractable model checking for fragments of higher-order coalition logicThe 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 210.5555/2031678.2031723(743-750)Online publication date: 2-May-2011
  • (2011)Finding partitions of arguments with Dung's properties via SCSPsProceedings of the 2011 ACM Symposium on Applied Computing10.1145/1982185.1982384(913-919)Online publication date: 21-Mar-2011

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media