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

Julien Cojan 1 Jean Lieber 1
1 ORPAILLEUR - Knowledge representation, reasonning
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Type de document :
Communication dans un congrès
Florence Le Ber et Jean Renaud. 18ème Atelier « Raisonnement à Partir de Cas » RàPC 2010, Jun 2010, Strasbourg, France. pp.37-48, 2010
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00506094
Contributeur : Julien Cojan <>
Soumis le : mardi 27 juillet 2010 - 10:49:35
Dernière modification le : jeudi 11 janvier 2018 - 06:19:53
Document(s) archivé(s) le : mardi 23 octobre 2012 - 11:26:29

Fichier

definitif.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00506094, version 1

Collections

Citation

Julien Cojan, Jean Lieber. Un algorithme d'adaptation avec des cas exprimés dans la logique de descriptions ALC. Florence Le Ber et Jean Renaud. 18ème Atelier « Raisonnement à Partir de Cas » RàPC 2010, Jun 2010, Strasbourg, France. pp.37-48, 2010. 〈inria-00506094〉

Partager

Métriques

Consultations de la notice

229

Téléchargements de fichiers

176