Samu : un systeme d'aide a la modelisation d'univers

par JEAN NEGRIER

Thèse de doctorat en Sciences appliquées

Sous la direction de R. DURAND.

Soutenue en 1994

à Paris 6 .

    mots clés mots clés


  • Résumé

    Comme de nombreuses activites, le developpement logiciel et l'enseignement modifient le contexte (informatique lors du developpement logiciel, de l'apprenant lors de l'enseignement). Cette modification est obtenue en definissant des nouveaux concepts a partir des concepts existants dans le contexte initial. Nous etudions d'abord la notion de contexte en tant qu'entite qui permet le transfert de competences entre des humains et plus particulierement, nous analysons les origines possibles d'un contexte donne, pour une personne donnee. Cette etude met en evidence que deux interlocuteurs ne peuvent communiquer que si leurs contextes ont une partie commune a travers laquelle s'effectue la transmission de competences. Un concept peut avoir plusieurs aspects, les uns declaratifs, les autres operationnels. Notre these est de dire que tous ces aspects sont des langages, un concept etant alors un n-uplet de langages et un exemplaire de ce concept etant un n-uplet de phrases. Nous interessant a la communication des concepts (entre l'homme et la machine) nous privilegions l'aspect qui permet cette communication: c'est l'aspect externe en opposition aux autres qui sont dits internes. Pour valider cette these, nous avons ecrit, en prolog, samu (systeme d'aide a la modelisation d'univers) qui ? modelise la notion de contexte, ? aide l'utilisateur pour la definition de nouveaux langages de description d'un nouveau concept a l'interieur du contexte courant, ? produit un editeur dedie a ces nouveaux langages pour la saisie future des exemplaires de ce nouveau concept, ? calcule les aspects internes du concept, y compris ceux qui sont operationnels (i. E. Il les rend executables). Ce systeme nous a permis de developper, a titre experimental, une hierarchie de contextes logiques jusqu'a un contexte d'aide au developpement de programmes prolog commentes par des expressions ecrites en logique du premier ordre

  • Titre traduit

    Samu: a system for context designing


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 305 P.
  • Annexes : 76 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1994 208
  • 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 1994

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1994-NEG
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.