A Conditional Logic-Based Argumentation Framework

The goal of this paper is twofold. First, a logic-based argumentation framework is introduced in the context of conditional logic, as conditional logic is often regarded as an appealing setting for knowledge representation and reasoning. Second, a concept of conditional contrariety is defined that covers usual inconsistency-based conflicts and puts in light a specific form of conflicts that often occurs in real-life: when an agent asserts an If then rule, it can be argued that additional conditions are actually needed to derive the conclusion.

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

[2]  Nicholas R. Jennings,et al.  Agents That Reason and Negotiate by Arguing , 1998, J. Log. Comput..

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

[4]  Henry Prakken,et al.  An argumentation framework in default logic , 1993, Annals of Mathematics and Artificial Intelligence.

[5]  Laura Giordano,et al.  Conditional logic of actions and causation , 2004, Artif. Intell..

[6]  Guillermo Ricardo Simari,et al.  Argumentation in Artificial Intelligence , 2009 .

[7]  Andreas Herzig,et al.  Conditionals: from philosophy to computer science , 1996 .

[8]  John L. Pollock,et al.  How to Reason Defeasibly , 1992, Artif. Intell..

[9]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[10]  James P. Delgrande,et al.  An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report , 1987, Artif. Intell..

[11]  Trevor J. M. Bench-Capon,et al.  COMPUTATIONAL MODELS OF ARGUMENT, PROCEEDINGS OF COMMA 2008 , 2008, COMMA 2008.

[12]  Laura Giordano,et al.  Iterated Belief Revision and Conditional Logic , 2002, Stud Logica.

[13]  Michael Rovatsos,et al.  Automated Deployment of Argumentation Protocols , 2012, COMMA.

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

[15]  Emanuel Santos,et al.  A Default Logic Based Framework for Argumentation , 2008, ECAI.

[16]  Éric Grégoire,et al.  Preemption Operators , 2012, ECAI.

[17]  John Fox,et al.  A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations , 1996, FAPR.

[18]  Éric Grégoire,et al.  Enforcing Logically Weaker Knowledge in Classical Logic , 2011, KSEM.

[19]  Dov M. Gabbay,et al.  Conditional reasoning in logic programming , 2000, J. Log. Program..

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

[21]  Stefan Woltran,et al.  Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012 , 2012, COMMA.

[22]  Ana Gabriela Maguitman,et al.  Logical models of argument , 2000, CSUR.

[23]  James F. Allen,et al.  TRAINS-95: Towards a Mixed-Initiative Planning Assistant , 1996, AIPS.

[24]  Anthony Hunter,et al.  Instantiating abstract argumentation with classical logic arguments: Postulates and properties , 2011, Artif. Intell..

[25]  Gösta Grahne,et al.  Updates and Counterfactuals , 1998, J. Log. Comput..

[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]  Anthony Hunter,et al.  Elements of Argumentation , 2007, ECSQARU.

[28]  Anthony Hunter,et al.  A logic-based theory of deductive arguments , 2001, Artif. Intell..

[29]  Brian F. Chellas Basic conditional logic , 1975, J. Philos. Log..

[30]  D. Nute Topics in Conditional Logic , 1980 .

[31]  Éric Grégoire,et al.  MUS-based generation of arguments and counter-arguments , 2010, 2010 IEEE International Conference on Information Reuse & Integration.

[32]  John Fox,et al.  A LOGIC OF ARGUMENTATION FOR REASONING UNDER UNCERTAINTY , 1995, Comput. Intell..

[33]  Henry Prakken,et al.  A dialectical model of assessing conflicting arguments in legal reasoning , 1996, Artificial Intelligence and Law.