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

par BASILE STARYNKEVITCH

Thèse de doctorat en Sciences appliquées

Sous la direction de JEAN-FRANCOIS PERROT.

Soutenue en 1990

à Paris 6 .

    mots clés 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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 109 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.
  • Accessible pour le PEB
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : T Paris 6 1990 799
  • 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 1990
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.