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

H. Prakken; A.Z. Wyner; T.J.M. Bench-Capon; K.D. Atkinson

doi:10.1093/logcom/ext010

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

H. Prakken, A.Z. Wyner, T.J.M. Bench-Capon, K.D. Atkinson

extern

Research output: Contribution to journal › Article › Academic › peer-review

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 language	English
Pages (from-to)	1141-1166
Journal	Journal of Logic and Computation
Volume	25
Issue number	5
Early online date	9 May 2013
DOIs	https://doi.org/10.1093/logcom/ext010
Publication status	Published - 2015

Bibliographical note

livschemes13 First published online 9 May 2013

Access to Document

10.1093/logcom/ext010

J Logic Computation-2015-Prakken-1141-66Final published version, 256 KBLicence: Other

http://www.cs.uu.nl/groups/IS/archive/henry/livschemesjlc.pdf

Cite this

@article{17a0f94e87de4482a81b0e5dad0df783,

title = "A formalization 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.",

author = "H. Prakken and A.Z. Wyner and T.J.M. Bench-Capon and K.D. Atkinson",

note = "livschemes13 First published online 9 May 2013",

year = "2015",

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 formalization of argumentation schemes for legal case-based reasoning in ASPIC+

AU - Prakken, H.

AU - Wyner, A.Z.

AU - Bench-Capon, T.J.M.

AU - Atkinson, K.D.

N1 - livschemes13 First published online 9 May 2013

PY - 2015

Y1 - 2015

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.

U2 - 10.1093/logcom/ext010

DO - 10.1093/logcom/ext010

M3 - Article

SN - 0955-792X

VL - 25

SP - 1141

EP - 1166

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

IS - 5

ER -

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

Abstract

Bibliographical note

Access to Document

Fingerprint

Cite this