An Argumentation Engine : ArgTrust

Argumentation is a well-studied formal model for multiagent interaction that supports exchange of information about agents’ beliefs and reasons why agents hold their beliefs. We describe an argumentation engine, called ArgTrust, that we have implemented in Java, and explain how the underlying logic formalism is translated into a computational framework.

[1]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

[2]  Gerard A. W. Vreeswijk.  IACAS: an interactive argumentation system , 1994 .

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

[4]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

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

[6]  Trevor J. M. Bench-Capon.  Persuasion in Practical Argument Using Value-based Argumentation Frameworks , 2003, J. Log. Comput..

[7]  Guillermo Ricardo Simari,et al.  Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.

[8]  Chris Reed,et al.  Araucaria: Software for Argument Analysis, Diagramming and Representation , 2004, Int. J. Artif. Intell. Tools.

[9]  Claudette Cayrol,et al.  Graduality in Argumentation , 2011, J. Artif. Intell. Res..

[10]  Paul J. Krause,et al.  An Implementation of a Lightweight Argumentation Engine for Agent Applications , 2006, JELIA.

[11]  Gerard Vreeswijk,et al.  Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications , 2006, COMMA.

[12]  Guillermo Ricardo Simari,et al.  An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment , 2007, LPNMR.

[13]  Michael Wooldridge,et al.  Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .

[14]  Paul J. Krause,et al.  A review of current defeasible reasoning implementations , 2008, Knowl. Eng. Rev..

[15]  Dov M. Gabbay,et al.  A Logical Account of Formal Argumentation , 2009, Stud Logica.

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

[17]  Gabriella Pigozzi,et al.  An implementation of basic argumentation components , 2011, AAMAS.

[18]  Elizabeth Sklar,et al.  Using argumentation to reason about trust and belief , 2012, J. Log. Comput..