Agreeing on Institutional Goals for Multi-agent Societies

We present an argumentation-based approach to the problem of finding a set of institutional goals for multi-agent systems. The behaviour of the autonomous agents we consider in this paper is goal-directed, driven by either individual or common goals. When multiple agents want to set up a collaboration framework (for themselves or others to use), they do so by forming an institution (or organisation). The goals of such institution must be agreed upon by the agents setting up the framework before it can be executed. We propose to use argumentation, and in particular assumption-based argumentation, to facilitate the negotiation of institutional goals. We first describe a centralised approach and then provide the rationale for and detail our preliminary efforts at de-centralising the problem. We propose to employ the argumentation system CaSAPI as a tool to reason about the collaborative goals of the institution. Our approach mitigates concerns about performance bottlenecks and vulnerability of the system while providing, to some extent, privacy to the individual members of the institution.

[1]  Kevin Barraclough,et al.  I and i , 2001, BMJ : British Medical Journal.

[2]  Dorian Gaertner,et al.  CaSAPI : a system for credulous and sceptical argumentation , 2007 .

[3]  R. Axelrod An Evolutionary Approach to Norms , 1986, American Political Science Review.

[4]  Phan Minh Dung,et al.  Dialectic proof procedures for assumption-based, admissible argumentation , 2006, Artif. Intell..

[5]  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..

[6]  Souhila Kaci,et al.  An argumentation framework for merging conflicting knowledge bases , 2007, Int. J. Approx. Reason..

[7]  Jörg P. Müller,et al.  Agent-Oriented Software Engineering IV , 2003, Lecture Notes in Computer Science.

[8]  Alun D. Preece,et al.  CONOISE-G: agent-based virtual organisations , 2006, AAMAS '06.

[9]  Cristiano Castelfranchi Social Power: A Point missed in Multi-Agent , 1990 .

[10]  M. V. Dignum,et al.  A Model for Organizational Interaction: based on Agents, founded in Logic , 2000 .

[11]  Olivier Boissier,et al.  MoiseInst: An Organizational Model for Specifying Rights and Duties of Autonomous Agents , 2005, EUMAS.

[12]  C. Fuchs Don Tapscott & Anthony D. Williams: Wikinomics: How Mass Collaboration Changes Everything , 2008 .

[13]  Jacques Ferber,et al.  Integrating tools and infrastructures for generic multi-agent systems , 2001, AGENTS '01.

[14]  Paolo Mancarella,et al.  Computing ideal sceptical argumentation , 2007, Artif. Intell..

[15]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..

[16]  Sarit Kraus,et al.  Methods for Task Allocation via Agent Coalition Formation , 1998, Artif. Intell..

[17]  Francesca Toni,et al.  Computing Arguments and Attacks in Assumption-Based Argumentation , 2007, IEEE Intelligent Systems.

[18]  Michael Luck,et al.  Constraining autonomy through norms , 2002, AAMAS '02.

[19]  Henry Prakken,et al.  On the relation between legal language and legal argument: assumptions, applicability and dynamic priorities , 1995, ICAIL '95.

[20]  Francesca Toni,et al.  Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents , 2007, ArgMAS.

[21]  Weixiong Zhang,et al.  Towards Flexible Teamwork in Persistent Teams: Extended Report , 2000, Autonomous Agents and Multi-Agent Systems.

[22]  Victor R. Lesser,et al.  A survey of multi-agent organizational paradigms , 2004, The Knowledge Engineering Review.

[23]  Nicholas R. Jennings,et al.  Computational-Mechanism Design: A Call to Arms , 2003, IEEE Intell. Syst..

[24]  Jacques Ferber,et al.  From Agents to Organizations: An Organizational View of Multi-agent Systems , 2003, AOSE.

[25]  R. Tuomela,et al.  Contemporary Action Theory , 1997 .

[26]  Yannis Kalfoglou,et al.  Ontology mapping: the state of the art , 2003, The Knowledge Engineering Review.

[27]  Pablo Noriega,et al.  Engineering open environments with electronic institutions , 2005, Eng. Appl. Artif. Intell..

[28]  Paolo Mancarella,et al.  A dialectic procedure for sceptical, assumption-based argumentation , 2006, COMMA.

[29]  Don Tapscott,et al.  Wikinomics: How Mass Collaboration Changes Everything , 2006 .

[30]  Pablo Noriega,et al.  Distributed norm management in regulated multiagent systems , 2007, AAMAS '07.

[31]  Katia P. Sycara,et al.  Argumentation: Planning Other Agents' Plans , 1989, IJCAI.