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

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