Précédent : Raisonnement sous contraintes de ressources Remonter : Représentation des connaissances et raisonnement Suivant : Fouille de données - Application

Représentations de connaissances à base d'objets, classification et raisonnement à partir de cas

 

Les représentations de connaissances à base d'objets (RCO ) et les logiques de descriptions sont des formalismes de représentation de connaissances, qui nous intéressent d'un point de vue pratique et théorique. Nous avons travaillé sur les points particuliers suivants : (1) étude globale des logiques de descriptions (ou logiques terminologiques) [90], (2) étude globale des langages et modèles à objets [18], (3) étude d'une architecture et des fonctionnalités d'un système hybride de représentation de connaissances à base d'objets, qui s'appuie sur le formalisme des logiques de descriptions et sur celui des langages à objets [35] [70].

Parallèlement, nous avons travaillé sur les modes de raisonnement associés, comme le raisonnement par classification et le raisonnement à partir de cas [80]. Ces travaux se composent essentiellement d'une étude des interactions entre la remémoration d'un cas et l'adaptation du cas remémoré [58] [57], ainsi que d'une étude formelle sur le raisonnement à partir de cas et la résolution de problèmes [38] [68]. Ces études théoriques sont appliquées dans le système RESYN/CBR, qui a pour objet la planification de synthèses en chimie organique. Le développement de RESYN/CBR se fait dans le cadre du GDR 1093 du CNRS (Traitement Informatique de la Connaissance en Chimie Organique).