Argumentation and artifacts for negotiation support

Negotiation is a central process in an agent society where autonomous agents have to cooperate in order to resolve conflicting interests and yet compete to divide limited resources. A direct dialogical exchange of information between agents usually leads to competitive forms of negotiation where the most powerful agents win. Alternatively, an intelligent mediated interaction may better achieve the goal of reaching a common agreement and supporting cooperative negotiation. In both cases argumentation is the reference framework to rationally manage conflicting knowledge or objectives, a framework which provides the fundamental abstraction “argument” to exchange pieces of information. In this paper we present a novel conceptual framework for negotiation dialogues using argumentation between autonomous software agents which enables their dialogues to be automated. The framework, called SANA (Supporting Artifacts for Negotiation with Argumentation), incorporates intelligent components able to assist the agent participants to reach agreement by inferring mutually-acceptable proposals. The framework also permits agents to engage in negotiation dialogues with each other, generating and exchanging proposed deals and arguments for and against these proposals. Acceptability of proposals is then assessed in terms of an agreed argumentation framework semantics. We present the architecture of our framework, along with the syntax, and outline denotational semantics of an associated agent interaction protocol, called SANAP.

[1]  Nicholas Carriero,et al.  Coordination languages and their significance , 1992, CACM.

[2]  Gernot Richter,et al.  Discourse Support Systems for Deliberative Democracy , 2002, EGOV.

[3]  Olivier Boissier,et al.  A Software Infrastructure for Negotiation within Inter-organisational Alliances , 2002, AMEC.

[4]  Chris Reed,et al.  Argumentation Machines, New Frontiers in Argument and Computation , 2004, Argumentation Machines.

[5]  Franco Zambonelli,et al.  Coordination for Internet Application Development , 1999, Autonomous Agents and Multi-Agent Systems.

[6]  Iyad Rahwan,et al.  Adaptive Strategies for Practical Argument-Based Negotiation , 2005 .

[7]  Nicholas R. Jennings,et al.  Agents That Reason and Negotiate by Arguing , 1998, J. Log. Comput..

[8]  Manel Poch,et al.  Advanced Agent-Based Environmental Management Systems , 2008 .

[9]  RobertsonDavid,et al.  Argument-based applications to knowledge engineering , 2000 .

[10]  Simon Parsons,et al.  Arguments, Dialogue, and Negotiation , 2000, ECAI.

[11]  Iyad Rahwan,et al.  Argumentation in Multi-Agent Systems , 2011, Lecture Notes in Computer Science.

[12]  Andrea Omicini,et al.  Co-argumentation Artifact for Agent Societies , 2007, ArgMAS.

[13]  Andrea Omicini,et al.  The A&AProgramming Model and Technology for Developing Agent Environments in MAS , 2007, PROMAS.

[14]  Peter McBurney,et al.  Retraction and Revocation in Agent Deliberation Dialogs , 2007 .

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

[16]  Sarvapali D. Ramchurn,et al.  Argumentation-based negotiation , 2003, The Knowledge Engineering Review.

[17]  Peter McBurney,et al.  A Dialogue Game Protocol for Agent Purchase Negotiations , 2003, Autonomous Agents and Multi-Agent Systems.

[18]  Andrea Omicini,et al.  Editorial: Special issue on foundations, advanced topics and industrial perspectives of multi-agent systems , 2008, Autonomous Agents and Multi-Agent Systems.

[19]  Peter McBurney,et al.  Computer decision-support systems for public argumentation: assessing deliberative legitimacy , 2005, AI & SOCIETY.

[20]  Ulises Cortés,et al.  Agents Deliberating over Action Proposals Using the ProCLAIM Model , 2007, CEEMAS.

[21]  Andrea Omicini,et al.  Coordination artifacts: environment-based coordination for intelligent agents , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[22]  N. R. Jennings,et al.  To appear in: Int Journal of Group Decision and Negotiation GDN2000 Keynote Paper Automated Negotiation: Prospects, Methods and Challenges , 2022 .

[23]  Peter McBurney,et al.  Locutions for argumentation in agent interaction protocols , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[24]  Guido Boella,et al.  Coordination and Organization: Definitions, Examples and Future Research Directions , 2006, CoOrg@COORDINATION.

[25]  Floris Bex,et al.  Computational Models of Argument, Proceedings of COMMA , 2008, COMMA 2008.

[26]  Nikos I. Karacapilidis,et al.  The Zeno argumentation framework , 1997, ICAIL '97.

[27]  D. Walton,et al.  Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning , 1995 .

[28]  Nicholas R. Jennings,et al.  Dialogue games that agents play within a society , 2009, Artif. Intell..

[29]  Michael Wooldridge,et al.  Law-governed linda as a semantics for agent interaction protocols , 1998 .

[30]  Peter McBurney,et al.  Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents , 2002, J. Log. Lang. Inf..

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

[32]  Andrea Omicini,et al.  Agens Faber: Toward a Theory of Artefacts for MAS , 2006, Electron. Notes Theor. Comput. Sci..

[33]  David Stuart Robertson,et al.  Argument-based applications to knowledge engineering , 2000, The Knowledge Engineering Review.

[34]  Andrea Omicini,et al.  From tuple spaces to tuple centres , 2001, Sci. Comput. Program..

[35]  Nir Oren,et al.  Arguing Using Opponent Models , 2009, ArgMAS.

[36]  Michael Wooldridge,et al.  Information›seeking agent dialogs with permissions and arguments , 2006 .

[37]  Andrea Omicini,et al.  Formal ReSpecT in the A&A Perspective , 2007, FOCLASA.

[38]  Peter McBurney,et al.  Dialogue Games for Agent Argumentation , 2009, Argumentation in Artificial Intelligence.

[39]  Peter McBurney,et al.  A denotational semantics for deliberation dialogues , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[40]  M. Poch,et al.  Is my spill environmentally safe ? Towards an Integrated Management of Wastewater in a river basin using agents that can argue , 2007 .

[41]  Andrea Omicini,et al.  Argumentation and Artifact for Dialogue Support , 2009, ArgMAS.

[42]  Katia Sycara,et al.  Persuasive argumentation in negotiation , 1990 .

[43]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[44]  Nishan C. Karunatillake,et al.  Argumentation-based negotiation in a social context , 2006 .

[45]  Andrea Omicini,et al.  Artifacts in the A&A meta-model for multi-agent systems , 2008, Autonomous Agents and Multi-Agent Systems.

[46]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[47]  Andrea Omicini,et al.  Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research , 2005, SELMAS.