Logical Comparison of Cases

Heng Zheng, Davide Grossi, Bart Verheij

Comparison between cases is a core issue in case-based reasoning. In this paper, we discuss a logical comparison approach in terms of the case model formalism. By logically generalizing the formulas involved in case comparison, our approach identifies analogies, distinctions and relevances. An analogy is a property shared between cases. A distinction is a property of one case ruled out by the other case, and a relevance is a property of one case, and not the other, that is not ruled out by the other case. The comparison approach is applied to HYPO-style comparison (where distinctions and relevances are not separately characterized) and to the temporal dynamics of case-based reasoning using a model of real world cases.

Manuscript (in PDF-format)

Zheng, H., Grossi, D., & Verheij, B. (2021). Logical Comparison of Cases. AI Approaches to the Complexity of Legal Systems XI-XII. AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020. Revised Selected Papers (Lecture Notes in Artificial Intelligence - LNAI 130148), 125-140. Berlin: Springer. https://doi.org/10.1007/978-3-030-89811-3_9

Bart Verheij's home page - research - publications