Actuellement, je programme en CLAIRE dans le souci de bien cerner
toutes les possibilités, capacité, et aussi les différentes limites de
ce langage CLAIRE. Cela me permettra par la suite d'avoir la
connaissance de ce langage suffisante pour
pouvoir l'étendre de manière à rajouter un MétaObject Protocol
(en collaboration possible avec les concepteurs de ce langage).
D'un autre côté, dans le but d'approfondir mes connaissances sur les
logiques de description, les différents mécanismes d'optimisation et
d'efficacité ainsi que les limites d'expressivité dues à la forte
complexité du problème des langages déclaratifs, j'étudie le Système
de logique terminologique FaCT.
Et pour combiner ces deux objectifs,
je reécris le Système de logique terminologique FaCT en CLAIRE
(en essayant de l'améliorer en me servant au mieux des fonctionnalités
de CLAIRE) et dans le secret espoir de pouvoir m'en servir dans la
suite de mes travaux.
En perspectives plus ou moins lointaines, j'ai donc la prétention
d'ajouter au langage CLAIRE, de manière la plus efficace possible, un
MétaObject Protocol en m'inspirant des différents travaux que j'ai
effectués sur ce sujet. D'un autre côté, j'ai aussi le projet
d'étendre FaCT à la gestion d'une ABox (instances/variables) qui est
actuellement limité à la gestion et l'inférence de Concepts.
Et finalement, rassembler ces deux projets pour intégrer directement dans le MOP la gestion d'une logique de description (hautement inspirée de FaCT).