Iceo. Intension, coreferences et objets dans la federation de formalismes de specification

par ROBERT BOURGEOIS

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é

    Dans cette these nous presentons la conception et la realisation d'un systeme de representation des connaissances interactif, ecrit en smalltalk-80, ayant les caracteristiques exigees pour acquerir et exploiter les informations pendant la phase de specification d'un systeme. Ce systeme de representation des connaissances, appele iceo, offre une structure d'accueil pour: construire des editeurs (graphiques et textuels); constituer une base de connaissances permettant d'analyser et de comprendre des descriptions donnees dans differents formalismes; lier semantiquement les diverses descriptions d'un meme systeme; interfacer des moyens d'interpretation symbolique, de validation et d'animation. Iceo inclut des mecanismes de representation pour traiter des problemes de perception, de qualification et de coreference apparaissant dans la comprehension de descriptions exprimees dans differents langages, dont les systemes de representation des connaissances existants font plus ou moins defaut ou abstraction


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 125 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 470
  • 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.