Skip to Main content Skip to Navigation
Reports

Mécanismes d'abstraction dans une représentation de le connaissance centrée objet (R.C.O.)

Sophie Le Peutrec 1 Sophie Robin 1
1 REPCO - Knowledge Representation
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Résumé : Les travaux réalises sur l'abstraction se situent soit dans le cadre de la démonstration, soit dans le cadre de l'apprentissage. L'abstraction est alors utilisée pour transformer un problème complexe en un problème simplifié dans le but d'alléger sa résolution. Or le système Gide a mis en évidence le besoin d'intégrer des mécanismes d'abstraction aux RCO pour permettre certains types de raisonnements. Dans cet article, nous présentons tout d'abord brièvement, les travaux sur l'abstraction dans le cadre de la résolution de problèmes. Puis nous en montrons les similitudes avec les différentes formes d'abstraction que nous avons retenues au sein d'une RCO. Ensuite, nous développons une formalisation de l'abstraction plus adaptée au cadre des RCO et en particulier à l'héritage multiple dans laquelle une abstraction est représentée par une règle de réecriture associée à un contexte sémantique.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074832
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 4:31:56 PM
Last modification on : Thursday, February 11, 2021 - 2:48:05 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 7:37:14 PM

Identifiers

  • HAL Id : inria-00074832, version 1

Citation

Sophie Le Peutrec, Sophie Robin. Mécanismes d'abstraction dans une représentation de le connaissance centrée objet (R.C.O.). [Rapport de recherche] RR-1840, INRIA. 1993. ⟨inria-00074832⟩

Share

Metrics

Record views

192

Files downloads

106