Implementation d'architectures efficaces pour la representation des connaissances : application aux langages loopsiris et oks

par Robert Voyer

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-François Perrot.

Soutenue en 1989

à Paris 6 .

    mots clés mots clés


  • Résumé

    Nous etudions un outil hybride pour la conception de systemes experts (loopsiris), et un langage de specifications pour la representation des connaissances. Loopsiris est destine a la realisation de systemes experts de grande importance dont la modelisation necessite plusieurs formalismes de representation (connaissance deductive, connaissance objet) ainsi qu'un controle d'execution non fige (architecture de tableau noir). Le systeme est architecture en couches: la couche de bas niveau est une machine virtuelle pour le developpement d'interpretes lisp, et la couche de haut niveau est un langage de production en logique multi-niveaux. Le systeme comporte un common-lisp, un langage a objets et un mecanisme de demons ainsi qu'un langage de reseaux pour la representation des connaissances declaratives. Oks est un langage de specification de contraintes logiques utilisant des variables et proche de la logique du second ordre. Oks est un outil de base pour le developpement de nouveaux systemes de representation des connaissances en smalltalk. Oks est ecrit en smalltalk, et a ce titre il possede des capacites de representations reflexives (donnees par smalltalk), un langage de programmation (donne par smalltalk), un langage de specification (compile en programme reflexe par oks) pour la programmation declarative. Toutes ces caracteristiques sont unifiees dans le modele de calcul de smalltalk

  • Titre traduit

    Efficients architectures implementation for knowledge representation. Application to languages loopsiris and oks


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 361 REF

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 1989 512
  • 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 1989

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 1989PA066512
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.