Hardness of case-based decisions: A formal theory

Heng Zheng; Davide Grossi; Bart Verheij

doi:10.1145/3462757.3466071

Hardness of case-based decisions: A formal theory

Heng Zheng
, Davide Grossi
, Bart Verheij

Producción científica: Conference contribution › revisión exhaustiva

4 Citas (Scopus)

Resumen

Stare decisis is a fundamental principle of case-based reasoning. Yet its application varies in complexity and depends, in particular, on whether relevant past decisions agree, or exist at all. The contribution of this paper is a formal treatment of types of the hardness of case-based decisions. The typology of hardness is defined in terms of the arguments for and against the issue to be decided, and their kind of validity (conclusive, presumptive, coherent, incoherent). We apply the typology of hardness to Berman and Hafner's research on the dynamics of case-based reasoning and show formally how the hardness of decisions varies with time.

Idioma original	English
Título de la publicación alojada	Proceedings of the 18th International Conference on Artificial Intelligence and Law, ICAIL 2021
Páginas	149-158
Número de páginas	10
ISBN (versión digital)	9781450385268
DOI	https://doi.org/10.1145/3462757.3466071
Estado	Published - jul 27 2021
Evento	18th International Conference on Artificial Intelligence and Law, ICAIL 2021 - Virtual, Online, Brazil Duración: jun 21 2021 → jun 25 2021

Serie de la publicación

Nombre	Proceedings of the 18th International Conference on Artificial Intelligence and Law, ICAIL 2021

Conference

Conference	18th International Conference on Artificial Intelligence and Law, ICAIL 2021
País/Territorio	Brazil
Ciudad	Virtual, Online
Período	6/21/21 → 6/25/21

Nota bibliográfica

Publisher Copyright:
© 2021 Owner/Author.

Financiación

The authors would like to thank the reviewers and Wijnand van Woerkom for their valuable feedback on earlier versions of this paper. This research was partially funded by the Hybrid Intelligence Center, a 10-year programme funded by the Dutch Ministry of Education, Culture and Science through the Netherlands Organization for Scientific Research, https://hybrid-intelligence-centre.nl.

Financiadores
Ministerie van Onderwijs, Cultuur en Wetenschap
Nederlandse Organisatie voor Wetenschappelijk Onderzoek

ASJC Scopus subject areas

Artificial Intelligence
Software
Law

Acceder al documento

10.1145/3462757.3466071

Otros archivos y enlaces

Citar esto

@inproceedings{eb43247491424748af56054a7f644eec,

title = "Hardness of case-based decisions: A formal theory",

abstract = "Stare decisis is a fundamental principle of case-based reasoning. Yet its application varies in complexity and depends, in particular, on whether relevant past decisions agree, or exist at all. The contribution of this paper is a formal treatment of types of the hardness of case-based decisions. The typology of hardness is defined in terms of the arguments for and against the issue to be decided, and their kind of validity (conclusive, presumptive, coherent, incoherent). We apply the typology of hardness to Berman and Hafner's research on the dynamics of case-based reasoning and show formally how the hardness of decisions varies with time.",

keywords = "case-based reasoning, computational argumentation, hard cases",

author = "Heng Zheng and Davide Grossi and Bart Verheij",

note = "Publisher Copyright: {\textcopyright} 2021 Owner/Author.; 18th International Conference on Artificial Intelligence and Law, ICAIL 2021 ; Conference date: 21-06-2021 Through 25-06-2021",

year = "2021",

month = jul,

day = "27",

doi = "10.1145/3462757.3466071",

language = "English",

series = "Proceedings of the 18th International Conference on Artificial Intelligence and Law, ICAIL 2021",

pages = "149--158",

booktitle = "Proceedings of the 18th International Conference on Artificial Intelligence and Law, ICAIL 2021",

}

Zheng, H, Grossi, D & Verheij, B 2021, Hardness of case-based decisions: A formal theory. En Proceedings of the 18th International Conference on Artificial Intelligence and Law, ICAIL 2021. Proceedings of the 18th International Conference on Artificial Intelligence and Law, ICAIL 2021, pp. 149-158, 18th International Conference on Artificial Intelligence and Law, ICAIL 2021, Virtual, Online, Brazil, 6/21/21. https://doi.org/10.1145/3462757.3466071

Hardness of case-based decisions: A formal theory. / Zheng, Heng; Grossi, Davide; Verheij, Bart.
Proceedings of the 18th International Conference on Artificial Intelligence and Law, ICAIL 2021. 2021. p. 149-158 (Proceedings of the 18th International Conference on Artificial Intelligence and Law, ICAIL 2021).

Producción científica: Conference contribution › revisión exhaustiva

TY - GEN

T1 - Hardness of case-based decisions

T2 - 18th International Conference on Artificial Intelligence and Law, ICAIL 2021

AU - Zheng, Heng

AU - Grossi, Davide

AU - Verheij, Bart

PY - 2021/7/27

Y1 - 2021/7/27

N2 - Stare decisis is a fundamental principle of case-based reasoning. Yet its application varies in complexity and depends, in particular, on whether relevant past decisions agree, or exist at all. The contribution of this paper is a formal treatment of types of the hardness of case-based decisions. The typology of hardness is defined in terms of the arguments for and against the issue to be decided, and their kind of validity (conclusive, presumptive, coherent, incoherent). We apply the typology of hardness to Berman and Hafner's research on the dynamics of case-based reasoning and show formally how the hardness of decisions varies with time.

AB - Stare decisis is a fundamental principle of case-based reasoning. Yet its application varies in complexity and depends, in particular, on whether relevant past decisions agree, or exist at all. The contribution of this paper is a formal treatment of types of the hardness of case-based decisions. The typology of hardness is defined in terms of the arguments for and against the issue to be decided, and their kind of validity (conclusive, presumptive, coherent, incoherent). We apply the typology of hardness to Berman and Hafner's research on the dynamics of case-based reasoning and show formally how the hardness of decisions varies with time.

KW - case-based reasoning

KW - computational argumentation

KW - hard cases

UR - https://www.scopus.com/pages/publications/85112375939

UR - https://www.scopus.com/pages/publications/85112375939#tab=citedBy

U2 - 10.1145/3462757.3466071

DO - 10.1145/3462757.3466071

M3 - Conference contribution

AN - SCOPUS:85112375939

T3 - Proceedings of the 18th International Conference on Artificial Intelligence and Law, ICAIL 2021

SP - 149

EP - 158

BT - Proceedings of the 18th International Conference on Artificial Intelligence and Law, ICAIL 2021

Y2 - 21 June 2021 through 25 June 2021

ER -