Logical Comparison of Cases

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