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

Henry Prakken, Adam Wyner, Trevor Bench-Capon, Katie Atkinson

Research output: Contribution to journalArticle

21 Citations (Scopus)

Abstract

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.
Original languageEnglish
Pages (from-to)1141-1166
Number of pages26
JournalJournal of Logic and Computation
Volume25
Issue number5
Early online date9 May 2013
DOIs
Publication statusPublished - Oct 2015

Fingerprint

Case based reasoning
Case-based Reasoning
Argumentation
Formalization
Reasoning
Attack
Modeling
Argumentation Schemes
Styles of Reasoning
Inference
Style
Framework

Keywords

  • argumentation
  • legal case-based reasoning

Cite this

A formalisation of argumentation schemes for legal case-based reasoning in ASPIC+. / Prakken, Henry ; Wyner, Adam; Bench-Capon, Trevor ; Atkinson, Katie .

In: Journal of Logic and Computation, Vol. 25, No. 5, 10.2015, p. 1141-1166.

Research output: Contribution to journalArticle

Prakken, Henry ; Wyner, Adam ; Bench-Capon, Trevor ; Atkinson, Katie . / A formalisation of argumentation schemes for legal case-based reasoning in ASPIC+. In: Journal of Logic and Computation. 2015 ; Vol. 25, No. 5. pp. 1141-1166.
@article{7232ffaf8cdb4b5992ab30a3d4b6203c,
title = "A formalisation of argumentation schemes for legal case-based reasoning in ASPIC+",
abstract = "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.",
keywords = "argumentation, legal case-based reasoning",
author = "Henry Prakken and Adam Wyner and Trevor Bench-Capon and Katie Atkinson",
year = "2015",
month = "10",
doi = "10.1093/logcom/ext010",
language = "English",
volume = "25",
pages = "1141--1166",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "5",

}

TY - JOUR

T1 - A formalisation of argumentation schemes for legal case-based reasoning in ASPIC+

AU - Prakken, Henry

AU - Wyner, Adam

AU - Bench-Capon, Trevor

AU - Atkinson, Katie

PY - 2015/10

Y1 - 2015/10

N2 - 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.

AB - 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.

KW - argumentation

KW - legal case-based reasoning

U2 - 10.1093/logcom/ext010

DO - 10.1093/logcom/ext010

M3 - Article

VL - 25

SP - 1141

EP - 1166

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 5

ER -