Participants: B. Carré (LIFL), L. Dekker (LIFL), R. Ducournau
(LIRMM), A. Napoli (CRIN CNRS -- Inria Lorraine), J. Quinqueton
(LIRMM), P. Vismara(LIRMM).
Les travaux effectués dans le cadre du thème ``Classification et objets'' essaient de mettre en valeur le rôle de la classification dans le contexte d'un environnement à base d'objets, en tant que processus d'aide à la conception de hiérarchies et en tant que processus de raisonnement. Ils ont également pour but de mettre en valeur une sémantique dénotationelle et/ou opérationnelle des hiérarchies d'objets et d'étudier la combinaison programmation -- raisonnement par classification dans l'univers des systèmes de représentation de connaissances à base d'objets --- notés systèmes de RCO dans la suite --- étude qui correspond en quelque sorte à une version moderne de la controverse déclaratif -- procédural.
La difficulté spécifique de la programmation dans les langages à
objets tient à la construction de bonnes hiérarchies d'héritage.
À ce titre, étudier la sémantique de représentation des objets et
comparer langages de représentation et langages de programmation, en
particulier dans le but de leur intégration, est nécessaire
[CDE
95].
Le cadre des systèmes classificatoires est une première
proposition en ce sens [Duc95].
De ce point de vue, il est intéressant d'apparenter la classification
à une inférence de type, et il est envisagé des études
cherchant à évaluer l'intérêt de cette vision de la classification
et son intégration dans des langages de programmation plus
traditionnels.
D'autres directions de recherches sont également explorées, qui
concernent notamment les rapports entre les systèmes de RCO et
les systèmes logiques à base d'objets comme les logiques
terminologiques (ou logiques de descriptions).
Les techniques de programmation et de représentation évoluent en
empruntant l'une à l'autre.
L'étude de ces interactions a été un des thèmes majeurs de
l'atelier de travail Object-based Representation Systems
organisé lors de la conférence mondiale IJCAI'93 à Chambéry,
en août 1993 [DN94].
Si les systèmes de RCO intègrent de façon naturelle la
raisonnement par classification, dont la technologie a été
essentiellement développée au sein des logiques terminologiques, la
mise en 
uvre d'un environnement minimal commun aux systèmes de
RCO et aux logiques terminologiques est toujours d'actualité
[Nap94] [Nap95].
Pour l'heure, de nombreuses directions de recherches restent ouvertes,
et notamment:
(1) dans quelle mesure la programmation doit-elle être autorisée
dans le contexte des systèmes de RCO, sous quelle forme et
avec quelle sémantique ?
(2) comment représenter sous forme ``déclarative'' des composants
procéduraux ou fonctionnels, qui deviennent alors des objets
pouvant être traités par le processus de classification ?
Ces travaux, dont une première ébauche se trouve dans
[CDE95] sont au premier plan d'une vision moderne de la
programmation par objets et méritent de fait de plus amples
développements.