A formalization of argumentation schemes for legal case-based reasoning in ASPIC

作者:Prakken Henry*; Wyner Adam; Bench Capon Trevor; Atkinson Katie
来源:Journal of Logic and Computation, 2015, 25(5): 1141-1166.
DOI:10.1093/logcom/ext010

摘要

In this article we offer a formal account of reasoning with legal cases in terms of argumentation schemes. These schemes, and undercutting attacks associated with them, are formalized as defeasible rules of inference within the ASPIC+ framework. We begin by modelling the style of reasoning with cases developed by Aleven and Ashley in the CATO project, which describes cases using factors, and then extend the account to accommodate the dimensions used in Rissland and Ashley's earlier HYPO project. Some additional scope for argumentation is then identified and formalized.

  • 出版日期2015-10