Un algorithme d'adaptation avec des cas exprimés dans la logique de descriptions ALC - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Un algorithme d'adaptation avec des cas exprimés dans la logique de descriptions ALC

Julien Cojan
  • Fonction : Auteur
  • PersonId : 836380
Jean Lieber

Résumé

Cet article décrit un algorithme d'adaptation pour un système de raisonnement à partir de cas où les cas et les connaissances du domaine sont exprimés dans la logique de descriptions expressive ALC. Le principe consiste à supposer que le cas source à adapter résout le cas cible, ce qui entraîne des contradictions avec le contexte du cas cible et avec les connaissances du domaine. L'adaptation consiste alors à résoudre ces contradictions. L'algorithme est fondé sur une extension de la méthode classique des tableaux employée pour le calcul d'inférences déductives en ALC.
Fichier principal
Vignette du fichier
definitif.pdf (182.77 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00506094 , version 1 (27-07-2010)

Identifiants

  • HAL Id : inria-00506094 , version 1

Citer

Julien Cojan, Jean Lieber. Un algorithme d'adaptation avec des cas exprimés dans la logique de descriptions ALC. 18ème Atelier « Raisonnement à Partir de Cas » RàPC 2010, Jun 2010, Strasbourg, France. pp.37-48. ⟨inria-00506094⟩
105 Consultations
147 Téléchargements

Partager

Gmail Facebook X LinkedIn More