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.
Type de document :
Rapport
[Rapport de recherche] RR-1840, INRIA. 1993
Liste complète des métadonnées

https://hal.inria.fr/inria-00074832
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 16:31:56
Dernière modification le : jeudi 11 janvier 2018 - 06:20:10
Document(s) archivé(s) le : mardi 12 avril 2011 - 19:37:14

Fichiers

Identifiants

  • HAL Id : inria-00074832, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

153

Téléchargements de fichiers

57