An Argumentation Framework for BDI Agents

This article presents a practical approach to building argumentative BDI agents. As in the last years the domain of argumentation reached maturity and offers now a very rich and well structured abstract theory, the challenge now is to put this work into practice and prove its usefulness in real applications. There is a high interest from the multi-agent systems community in applying argumentation for agents’ defeasible reasoning.

[1]  Pietro Baroni,et al.  SCC-recursiveness: a general schema for argumentation semantics , 2005, Artif. Intell..

[2]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[3]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[4]  Pierre Marquis,et al.  Prudent semantics for argumentation frameworks , 2005, 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05).

[5]  Adina Magda Florea,et al.  Argumentation Semantics for Agents , 2011, EUMAS.

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

[7]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[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]  Gerhard Weiss,et al.  Multi-Agent Systems , 2013 .

[10]  Paul E. Dunne,et al.  Semi-stable semantics , 2006, J. Log. Comput..

[11]  McDermottDrew.  Nonmonotonic Logic II , 1982 .

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

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

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

[15]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[16]  Bart Verheij,et al.  Two Approaches to Dialectical Argumentation: Admissible Sets and Argumentation Stages , 1999 .

[17]  Adina Magda Florea,et al.  General Directionality and the Local Behavior of Argumentation Semantics , 2012, AT.