Abstracts of Poster Presentations
We propose a CBR+EBL similarity metric for cases imperfectly described and explained. A case is represented by a past situation, an outcome and a set of explanations of why the situation had such an outcome. It is assumed that cases are imperfectly described due to an incorrect delimitation of the past situation. We represent three types of imperfections in explanations: broken explanations (proof trees with gap between them and the case’s outcome); partial explanations (proof trees that omit some branches); incomplete set of explanations (some outcome facts are not end of a proof tree).