Social Viewpoints for Arguing about Coalitions

Frameworks for arguing about coalitions are based on non-monotonic logic and are therefore formal and abstract, whereas social theories about agent coalitions typically are based on conceptual modeling languages and therefore semi-formal and detailed. In this paper we bridge the gap between these two research areas such that social viewpoints can be used to argue about coalitions. We formally define three social viewpoints with abstraction and refinement relations among them, and we adapt an existing coalition argumentation theory to reason about the coalitions defined in the most abstract social viewpoint.

[1]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1999 .

[2]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[3]  C. Castelfranchi The Micro-Macro Constitution of Power , 2003 .

[4]  Guido Boella,et al.  Social Viewpoints on Multiagent Systems , 2004, AAMAS '04.

[5]  Sanjay Modgil,et al.  An Abstract Theory of Argumentation That Accommodates Defeasible Reasoning About Preferences , 2007, ECSQARU.

[6]  Serena Villata,et al.  Conviviality masks in multiagent systems , 2008, AAMAS.

[7]  Leon van der Torre,et al.  On the Acceptability of Incompatible Arguments , 2007, ECSQARU.

[8]  BoellaGuido,et al.  From social power to social importance , 2007 .

[9]  Patrice caire,et al.  Conviviality Masks in Role-Based Institutions Multi-Agent Teleconferencing in Virtual Worlds , 2008 .

[10]  Jaime Simão Sichman DEPINT: Dependence-based coalition formation in an open multi-agent scenario , 1998, J. Artif. Soc. Soc. Simul..

[11]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[12]  Michael Wooldridge,et al.  Tractable multiagent planning for epistemic goals , 2002, AAMAS '02.

[13]  Guido Boella,et al.  From social power to social importance , 2007, Web Intell. Agent Syst..

[14]  Wojciech Jamroga,et al.  A logic for strategic reasoning , 2005, AAMAS '05.

[15]  Leila Amgoud,et al.  An Argumentation-Based Model for Reasoning About Coalition Structures , 2005, ArgMAS.

[16]  Mehdi Dastani,et al.  Goal generation in the BOID architecture , 2002 .

[17]  Jürgen Dix,et al.  Modelling coalitions: ATL + argumentation , 2008, AAMAS.

[18]  Luigi Sauro,et al.  Formalizing admissibility criteria in coalition formation among goal-directed agents , 2005 .

[19]  Guido Boella,et al.  Strengthening Admissible Coalitions , 2006, ECAI.

[20]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[21]  Michael Clarke,et al.  Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1991, Lecture Notes in Computer Science.

[22]  Gerhard Brewka Reasoning about Priorities in Default Logic , 1994, AAAI.

[23]  Jaime Simão Sichman,et al.  Multi-agent dependence by dependence graphs , 2002, AAMAS '02.

[24]  Koen V. Hindriks,et al.  Agent Programming in 3APL , 1999, Autonomous Agents and Multi-Agent Systems.

[25]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[26]  Trevor J. M. Bench-Capon,et al.  Argumentation in artificial intelligence , 2007, Artif. Intell..