Reasoning about and Discussing Preferences between Arguments

Agents that have different knowledge bases and preferences over arguments can use dialogues to exchange information and explanations. In order for the dialogue to be useful, agents need to utilize the other participants' knowledge fully while being resistant against manipulation. Furthermore, the information they exchange can be objective but also subjective such as what goals an agent wants to achieve. To understand why another agent draws a certain conclusion it is necessary to understand and communicate preferences over arguments. This paper proposes an ASPIC-based meta-level argumentation logic for reasoning about preferences over arguments. Extended argumentation frameworks are used to determine what arguments are justified. Prakken's dialogue framework is then adapted for meta-level arguments and a protocol is proposed that explicitly distinguishes between objective and subjective topics. Several mechanisms for using other agents' knowledge have been proposed in the literature. This paper proposes to use different acceptance attitudes with respect to claims made in a dialogue and to store the source of those claims on a meta-level. In the meta-level, agents can then reason about the effect of other agents' claims on the conclusive force of arguments. This makes agents more robust against manipulation and able to handle new information better.

[1]  Pablo Noriega,et al.  A Framework for Argumentation-Based Negotiation , 1997, ATAL.

[2]  Henry Prakken,et al.  Multi-criteria Argument Selection in Persuasion Dialogues , 2011, ArgMAS.

[3]  Gerard Vreeswijk,et al.  Abstract Argumentation Systems , 1997, Artif. Intell..

[4]  Henry Prakken,et al.  An abstract framework for argumentation with structured arguments , 2010, Argument Comput..

[5]  Trevor J. M. Bench-Capon,et al.  Computational Representation of Practical Argument , 2006, Synthese.

[6]  Sanjay Modgil,et al.  Reasoning about preferences in argumentation frameworks , 2009, Artif. Intell..

[7]  Henry Prakken,et al.  Coherence and Flexibility in Dialogue Games for Argumentation , 2005, J. Log. Comput..

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

[9]  Michael Wooldridge,et al.  On the meta-logic of arguments , 2005, AAMAS '05.

[10]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[11]  Thomas L. van der Weide,et al.  Arguing to motivate decisions , 2011 .

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

[13]  Henry Prakken,et al.  Reasoning about Preferences in Structured Extended Argumentation Frameworks , 2010, COMMA.

[14]  Trevor J. M. Bench-Capon,et al.  Integrating Dialectical and Accrual Modes of Argumentation , 2010, COMMA.

[15]  Michael Wooldridge,et al.  Properties and Complexity of Some Formal Inter-agent Dialogues , 2003, J. Log. Comput..

[16]  Henry Prakken,et al.  A study of accrual of arguments, with applications to evidential reasoning , 2005, ICAIL '05.

[17]  Henry Prakken,et al.  Arguing about Preferences and Decisions , 2010, ArgMAS.