La Recherche
De la programmation par objets à la représentation des connaissances à travers le MOP : vers une
intégration
Mes thèmes de recherche :
-
Langages de Programmation par Objets,
-
La Représentation des Connaissances par Objets
et plus précisément :
- Méta-Object Protocol (MOP, Métaclasses, ...),
- Les Logiques de Description (ou Logiques Terminologiques)
Résumé et mots-clefs de ma thèse
Résumé :
L'introduction du paradigme objet dans l'informatique
a connu un succès et un essor considérable durant ces dix dernières années.
L'objectif de nos travaux est d'étudier la possibilité et l'opportunité
d'une intégration de deux grands domaines de l'informatique,
tous deux champs d'application de la notion d'objet :
la programmation par objets (issue du Génie Logiciel) et la représentation des
connaissances par objets (issue de la Représentation des Connaissances).
La première partie de notre travail a consisté à
étudier, à travers le problème test de l'implémentation des slots-booléens,
divers langages à objets réflexifs, CLOS, Ilog Power Classes et OpenC++,
extensibles grâce à leur protocole de méta-objets
(ou MOP, dans le but de choisir le langage de programmation objet
le plus adéquat pour cette intégration.
En définitive, c'est le langage Claire, ne possédant pas encore de
MOP, qui a été retenu pour cette intégration
et nous avons spécifié les diverses modifications à apporter
à ce langage pour obtenir un MOP extensible au-dessus de ce langage.
Pour le système de représentation de connaissances,
c'est la logique de description FaCT, ayant
un pouvoir d'expression important et d'excellentes performances
qui a été considérée pour l'intégration.
L'intégration consiste à associer à chaque classe du langage, un concept de
la logique de description, et à chaque objet un individu
de la base de connaissances (et réciproquement).
Elle se déroule en trois étapes :
implémentation de FaCT dans le langage Claire,
puis ajout d'une partie raisonnement de la ABox sur cette implémentation ;
et finalement, à partir du système obtenu,
spécification des principes de l'intégration
en Claire du système FaCT augmenté d'une ABox.
Mots-clés :
Méta-programmation - Protocole des Méta-objets
(MOP) - Logiques de description -
Systèmes classificatoires - Langage de programmation objet -
Langages réflexifs -
Représentation des connaissances
Pour avoir un bref aperçu de mes travaux et des domaines
sur lesquels je travaille,
vous pouvez jeter un coup d'oeil à ma
Demande de prolongation
d'allocation de recherche.
ou à certains papiers (articles, thèses, ...etc)
parmis lesquelles mon manuscrit