Suite à l'étude du MOP d'Ilog Power Classes faite durant le stage de DEA,
j'ai consacré les premiers mois de ma thèse à affiner l'extension des
Slots Booléens au dessus d'Ilog Power Classes (Nlle version [Ilo96]) afin de rendre cette
extension plus efficace en cherchant à utiliser différents outils du
langage négligés faute de temps dans le mémoire de DEA, tout en
continuant en parallèle l'étude bibliographique des différents
domaines dans lesquels j'allais me plonger.
Après avoir bien approfondi et cerné les différents outils du MOP
d'Ilog Power Classes ([Gra91], [BKDP93], [Ba94]), il nous a semblé fortement intéressant de
pouvoir le comparer avec les MOPs existants d'autres langages.
Comme il y a encore à l'heure actuelle très peu de langage à
objets possédant de MOP, et que le seul langage fortement reconnu et
utilisé possédant un MOP -ayant fait le sujet de nombreuses recherches
et par conséquent l'objet de nombreux papiers ([Pae93], [KAJ 
93],
[Att93], [DeM93], ...[KG89] ...etc)- est le langage CLOS
(Common Lisp Object System) dont le MOP (package PCL) suit
presque la description donnée dans [KdRB91].
Pour comparer le MOP de CLOS et celui d'Ilog Power Classes, nous avons
étendu CLOS avec les slots-booléens en examinant les différences
(avantages et inconvénients) avec l'extension des slots-booléens
d'Ilog Power Classes.
Malheureusement, la société Ilog a décidé d'arrêter le développement
technique et commercial du logiciel Ilog Power Classes en Juin 1997, et par
conséquent nous avons décidé de ne pas continuer à développer sur un
langage qui n'avait plus d'avenir.
La fin de la première année et le début de la seconde année de thèse
ont donc consisté à étudier de nombreux langages afin d'en choisir un
sur lequel faire nos différentes extensions.
Parallèlement à ces
études, j'ai commencé à étudier une nouvelle logique de description
qui a pour nom FaCT ([Hor97a], [Hor97b], [Hor96b], [Hor96a]),
et qui réunissait de nombreux mécanismes d'inférence et
d'optimisation sur les logiques
terminologiques et sur les KRS (Knowledge Representation System)
([DLNS95], [DL97]).
Après quelques mois de flottement à la suite de la ``désertion'' du langage Ilog Power Classes, pour continuer notre travail de recherche nous avons choisi le langage CLAIRE developpé par Yves Caseau (Bouygues - ENS) qui collabore occasionnellement avec le LIRMM. Le langage CLAIRE [CL97] a bénéficié des travaux sur les langages Lore et Laure [Cas87], [Cas93].