| Dans de domaines comme le genie logiciel, l'intelligence artificielle, les systemes tutoriels intelligents et les systemes multi-agents, plusiers types de connaissances sont manipules dan sun meme systeme avec souvent des formalismes differents, rendant difficile l'integration, la communication, l'utilisation et le partage des connaissances et des expertises, au sein du systeme et/ou entre les systemes.;Un systeme multi-paradigme, base sur un formalisme uniforme serait donc approprie.;John Sowa propose la theorie des Graphes Conceptuels (GC) comme un formalisme universel de representation des connaissances. Cette theorie est presentee non seulement comme un fondement logique pour les reseaux semantiques mais aussi comme une theorie du traitement de l'information chez l'humain et la machine. Une communaute de chercheurs s'est formee pour analyser, etendre et ultiiser la theorie des GC dans differents domaines (base de donnees, base de connaissances, genie logiciel, systeme d'information, traitement du langage naturel, acquisition des connaissances, etc.).;Il convient de considerar la possibilite d'utiliser un systeme multi-paradigme base sur la theorie des GC. Differents prototypes de systemes de manipulation des GC ont ete developpes mais aucun systeme multi-paradigme n'a ete concu. Nous nous sommes ainsi consacre dans cette these a concevoir et a developper un systeme multi-paradigme utilisant la theorie des GC.;Le systeme est copose: (1) d'un environnement graphique comprenant un langage parallele et un modele de formation incrementale d'une memoire dynamique. Le langage, appele Synergy est base sur l'activation des GC et integre differents modeles de programmation (en l'occurence, le modele procedural, le modele fonctionnel et le modele oriente-objet). Une application en Synergy est organisee en une base de connaissances appelee "memoire a long terme" et une zone de travail appelee "memoire de travail", les deux sont composees de GC. Le modele de formation porte sur la "memoire a long terme" et specific comment de nouvelles connaissances y sont intergrees automatiquement. (2) d'une extension conceptuelle, contextuelle et orientee objet du langage scPROLOG, appelee ;Motive par un souci de synthese, le but principal de cette these est de concevoir et de developper le systeme dans sa totalite, en essayant pour chaque composante d'integrer plusieurs approches.;Les solutions que nous proposons peuvent etre utilisees dans differents domaines. De telles utilistions pourraient susciter de nouveaux developpements permettant de completer et d'enrichir les composantes du systeme ainsi que leur integration. |
