Hardness of Case-Based Decisions: a Formal Theory

Heng Zheng, Davide Grossi, Bart Verheij

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

Manuscript (in PDF-format)

Zheng, H., Grossi, D., & Verheij, B. (2021). Hardness of Case-Based Decisions: a Formal Theory. The 18th International Conference on Artificial Intelligence and Law (ICAIL 2021). Proceedings of the Conference, 149-158. New York (New York): ACM. https://doi.org/10.1145/3462757.3466071

Bart Verheij's home page - research - publications