Abstract FR:

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