An algorithm for adapting cases represented in an expressive description logic

  • Authors:
  • Julien Cojan;Jean Lieber

  • Affiliations:
  • LORIA (UMR 7503 CNRS-INPL-INRIA-Nancy 2-UHP), UHP-Nancy 1, Vandœuvre-lès-Nancy, France;LORIA (UMR 7503 CNRS-INPL-INRIA-Nancy 2-UHP), UHP-Nancy 1, Vandœuvre-lès-Nancy, France

  • Venue:
  • ICCBR'10 Proceedings of the 18th international conference on Case-Based Reasoning Research and Development
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic $\mathcal{ALC}$. 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 an extension of the classical tableau method used for deductive inference in $\mathcal{ALC}$.