Expliciter et utiliser les donnees et le controle pour les connaissances par des metaconnaissances : systemes eum1 et eum2

par BASILE STARYNKEVITCH et Jean-Marc Fouet

Thèse de doctorat en Sciences appliquées

Sous la direction de JEAN-FRANCOIS PERROT.

Soutenue en 1990

à Paris 6 .

mots clés

Résumé

Un systeme qui explicite ses structures de donnees et ses mecanismes de controle peut ainsi s'appliquer a lui-meme (donc etre reflexif). Il peut alors par introspection detecter certaines de ses anomalies. Les contextes d'execution, ne s'organisent pas en pile, mais constituent une arborescence, permettant des primitives de controle plus generales (iterateurs, agendas. . . ). Un tel systeme pourrait prefigurer les outils futurs pour le developpement de grosses bases de connaissances (centaines de milliers d'objets). Des metaconnaissances explicitant le savoir-faire du programmeur doivent lui etre fournies. L'ensemble des fonctionnalites du systeme (editeur, base de donnees persistantes, compilateur) sont baties sur des connaissances explicites (procedurales ou declaratives), a l'intersection du genie logiciel et de l'intelligence artificielle. Un premier prototype, eum1, a ete realise sur la reflexivite interpretative. Son successeur, eum2, permettant de plus la reflexivite compilatoire, est ebauche

Titre traduit

Making explicit and using data and control for knowledge by metaknowledge: the eum1 and eum2 systems

Pas de résumé disponible.