Arguing with Justifications between Collaborating Agents

We exploit the Justification Logic capabilities of reasoning about justifications, comparing pieces of evidence, and measuring the complexity of justifications in the context of argumentative agents. The research can be integrated into the larger context of integrating logic and argumentation. The paper introduces distributed justification logic $\mathcal{DJL}$ as an extension of justification logic for multi-agent systems, and it also investigates the expressivity of $\mathcal{DJL}$ for argumentative agents. Not knowing all of the implications of their knowledge base, agents use justified arguments for reflection and guidance.

[1]  Guillermo Ricardo Simari,et al.  Generalized Abstract Argumentation: Handling Arguments in FOL Fragments , 2009, ECSQARU.

[2]  Anthony Hunter,et al.  Argumentation Based on Classical Logic , 2009, Argumentation in Artificial Intelligence.

[3]  Felix A. Fischer,et al.  An integrated framework for adaptive reasoning about conversation patterns , 2005, AAMAS '05.

[4]  Chris Reed,et al.  Representing dialogic argumentation , 2006, Knowl. Based Syst..

[5]  Dov M. Gabbay,et al.  Fibring Argumentation Frames , 2009, Stud Logica.

[6]  Iyad Rahwan,et al.  Laying the foundations for a World Wide Argument Web , 2007, Artif. Intell..

[7]  Guillermo Ricardo Simari,et al.  A logic programming framework for possibilistic argumentation: Formalization and logical properties , 2008, Fuzzy Sets Syst..

[8]  Sergei N. Artëmov.  Justified common knowledge , 2006, Theor. Comput. Sci..

[9]  Jacek Malinowski,et al.  Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV , 2008 .

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

[11]  Bijan Parsia,et al.  Justification Oriented Proofs in OWL , 2010, SEMWEB.

[12]  Douglas Walton,et al.  Redefining Knowledge in a Way Suitable for Argumentation Theory , 2007 .

[13]  D. Walton,et al.  Argumentation Schemes in Dialogue , 2007 .

[14]  Ian Horrocks,et al.  The Semantic Web – ISWC 2010: 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I , 2010, SEMWEB.

[15]  Melvin Fitting,et al.  Reasoning with Justifications , 2009, Towards Mathematical Philosophy.

[16]  van Jan Albert Laar,et al.  Dissensus and the Search for Common Ground , 2007 .

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

[18]  Guillermo Ricardo Simari,et al.  Advances in Artificial Intelligence – IBERAMIA 2010 , 2010, Lecture Notes in Computer Science.

[19]  Sergei N. Artëmov.  Why Do We Need Justification Logic , 2011 .

[20]  Sergei N. Artëmov,et al.  On epistemic logic with justification , 2005, TARK.

[21]  Bryan Renne,et al.  Evidence elimination in multi-agent justification logic , 2009, TARK '09.

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

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

[24]  Michael Clarke,et al.  Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1991, Lecture Notes in Computer Science.

[25]  Guillermo Ricardo Simari,et al.  Extending DeLP with Attack and Support for Defeasible Rules , 2010, IBERAMIA.

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

[27]  Frank Wolter,et al.  Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.

[28]  Sanjay Modgil,et al.  Hierarchical Argumentation , 2006, JELIA.

[29]  Ioan Alfred Letia,et al.  Towards Pragmatic Argumentative Agents within a Fuzzy Description Logic Framework , 2010, ArgMAS.

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