Abstract Argumentation for Case-Based Reasoning

We investigate case-based reasoning (CBR) problems where cases are represented by abstract factors and (positive or negative) outcomes, and an outcome for a new case, represented by abstract factors, needs to be established. To this end, we employ abstract argumentation (AA) and propose a novel methodology for CBR, called AA-CBR. The argumentative formulation naturally allows to characterise the computation of an outcome as a dialogical process between a proponent and an opponent, and can also be used to extract explanations for why an outcome for a new case is (not) computed.

[1]  Francesca Toni,et al.  Justifying answer sets using argumentation , 2016, Theory Pract. Log. Program..

[2]  Francesca Toni,et al.  On Computing Explanations in Abstract Argumentation , 2014, ECAI.

[3]  Anthony Hunter,et al.  Constructing argument graphs with deductive arguments: a tutorial , 2014, Argument Comput..

[4]  Nava Tintarev,et al.  Formal Arguments, Preferences, and Natural Language Interfaces to Humans: an Empirical Evaluation , 2014, ECAI.

[5]  Michael M. Richter,et al.  Case-Based Reasoning: A Textbook , 2013 .

[6]  Francesca Toni,et al.  On Computing Explanations in Argumentation , 2015, AAAI.

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

[8]  Paolo Mancarella,et al.  Computing ideal sceptical argumentation , 2007, Artif. Intell..

[9]  Guillermo Ricardo Simari,et al.  Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems , 2013, Expert Syst. Appl..

[10]  Trevor J. M. Bench-Capon,et al.  A formalization of argumentation schemes for legal case-based reasoning in ASPIC+ , 2015, J. Log. Comput..

[11]  Trevor J. M. Bench-Capon,et al.  Case law in extended argumentation frameworks , 2009, ICAIL.

[12]  Guillermo Ricardo Simari,et al.  Defeasible logic programming: DeLP-servers, contextual queries, and explanations for answers , 2014, Argument Comput..

[13]  Trevor J. M. Bench-Capon,et al.  A factor-based definition of precedential constraint , 2012, Artificial Intelligence and Law.

[14]  Agnar Aamodt,et al.  Explanation in Case-Based Reasoning–Perspectives and Goals , 2005, Artificial Intelligence Review.

[15]  Douglas Walton,et al.  Legal reasoning with argumentation schemes , 2009, ICAIL.

[16]  Phan Minh Dung,et al.  Dialectic proof procedures for assumption-based, admissible argumentation , 2006, Artif. Intell..

[17]  Henry Prakken,et al.  The Carneades model of argument and burden of proof , 2007, Artif. Intell..

[18]  Krysia Broda,et al.  Automated Inference of Rules with Exception from Past Legal Cases Using ASP , 2015, LPNMR.

[19]  David McSherry,et al.  Explaining the Pros and Cons of Conclusions in CBR , 2004, ECCBR.