Justifying argument and explanation in labelled argumentation

We consider the complementarity of argument and explanation in dialog, aiming to model the interaction of agents with different knowledge bases and different points of view. The goal is to develop efficient and realistic argumentation processes. The Justification Logic was extended with arguments and explanations, resulting in a new logic called Argument and Explanatory Logic (AEL). This new logic provides the means to better use agents complementary knowledge on the subject being discussed. The AEL was applied on a cooperative labeling argumentation by agents with different views.

[1]  B. St-Pierre,et al.  Denial Logic , 2012, 1203.0389.

[2]  Simon Kramer,et al.  A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer) , 2012, 1201.3667.

[3]  Thomas Studer,et al.  Partial Realization in Dynamic Justification Logic , 2011, WoLLIC.

[4]  Sergei N. Artëmov,et al.  Topological Semantics of Justification Logic , 2008, CSR.

[5]  Murray Shanahan,et al.  Prediction is Deduction but Explanation is Abduction , 1989, IJCAI.

[6]  Henry Prakken,et al.  Investigating Stories in a Formal Dialogue Game , 2008, COMMA.

[7]  Leila Amgoud,et al.  Measures for persuasion dialogs: A preliminary investigation , 2008, COMMA 2008.

[8]  Peter McBurney,et al.  Representing Epistemic Uncertainty by Means of Dialectical Argumentation , 2001, Annals of Mathematics and Artificial Intelligence.

[9]  Trevor J. M. Bench-Capon,et al.  Metalevel argumentation , 2011, J. Log. Comput..

[10]  Douglas Walton,et al.  Argumentation methods for artificial intelligence in law , 2005 .

[11]  Tatiana Yavorskaya,et al.  Interacting Explicit Evidence Systems , 2008, Theory of Computing Systems.

[12]  Bernard Moulin,et al.  Explanation and Argumentation Capabilities:Towards the Creation of More Persuasive Agents , 2002, Artificial Intelligence Review.

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

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

[15]  Gregory Randolph Mayes.  Argument Explanation Complementarity and the Structure of Informal Reasoning , 2010 .

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

[17]  Henry Prakken,et al.  A hybrid formal theory of arguments, stories and criminal evidence , 2010, Artificial Intelligence and Law.

[18]  Brahim Chaib-draa,et al.  Causal Maps: Theory, Implementation, and Practical Applications in Multiagent Environments , 2002, IEEE Trans. Knowl. Data Eng..

[19]  Davide Grossi,et al.  On the logic of argumentation theory , 2010, AAMAS.

[20]  David Poole,et al.  A methodology for using a default and abductive reasoning system , 1989, Int. J. Intell. Syst..

[21]  Sergei N. Artëmov.  Justification Logic , 2008, JELIA.