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 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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 202 P.
  • Annexes : 124 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1995 729
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1995
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.