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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/inria-00506094
Contributor : Julien Cojan <>
Submitted on : Tuesday, July 27, 2010 - 10:49:35 AM
Last modification on : Friday, May 24, 2019 - 10:56:07 AM
Long-term archiving on : Tuesday, October 23, 2012 - 11:26:29 AM

File

definitif.pdf
Files produced by the author(s)

Identifiers

  • 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. 18ème Atelier « Raisonnement à Partir de Cas » RàPC 2010, Jun 2010, Strasbourg, France. pp.37-48. ⟨inria-00506094⟩

Share

Metrics

Record views

269

Files downloads

394