Modeles et modules pour les systemes a base de connaissances : l'approche cerise

par CATHERINE SERRES

Thèse de doctorat en Sciences appliquées

Sous la direction de J.-G. GANASCIA.

Soutenue en 1995

à Paris 6 .

mots clés

Résumé

L'objet du genie cognitif est de proposer techniques et outils pour maitriser le developpement de systemes a base de connaissances. Dans ce cadre, l'etape de la modelisation des connaissances est cruciale. En effet, le modele d'expertise qui en resulte doit servir a deux choses. D'une part, il doit fournir des specifications cognitives du systeme dans un langage de haut niveau, comprehensible aussi bien pour les experts que pour les cogniticiens. D'autre part, il doit permettre de fournir des specifications fonctionnelles pour le futur systeme a base de connaissances. En ce qui concerne le deuxieme point, le genie logiciel a beaucoup a apporter au genie cognitif, notamment en termes de specifications formelles et de modularite. Notre approche, cerise, se propose de capitaliser les acquis du genie logiciel et du genie cognitif en introduisant la notion de module dans les modeles d'expertise, de maniere formelle, a l'aide de types abstraits algebriques. Cette approche se revele fructueuse, tant en termes de rationalisation du processus de developpement d'un systeme a base de connaissances qu'en termes d'acquisition et de reutilisation des connaissances. D'autres systemes se proposent de formaliser un modele d'expertise a la kads, notamment karl, kbssf, et (ml)#2. L'apport essentiel de cerise par rapport aux autres approches est le suivant. La formalisation proposee par cerise intervient au cur du processus d'acquisition des connaissances, et non pas apres. En effet, on elabore de maniere incrementale un modele qui comporte une representation graphique en correspondance avec une representation formelle. Ceci est rendu possible car cerise propose une formalisation evolutive des specifications

Titre traduit

Models and modules for knowledge-based systems

Pas de résumé disponible.