An Algorithm for Adapting Cases Represented in an Expressive Description Logic

摘要

This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ACC. The principle is to first pretend that the source case to be adapted solves the current target case. This may raise some contradictions with the specification of the target case and with the domain knowledge. The adaptation consists then in repairing these contradictions. This adaptation algorithm is based on ah extension of the classical tableau method used for deductive inference in ACC.