Thèse soutenue

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

FR  |  
EN
Auteur / Autrice : JEAN NEGRIER
Direction : R. DURAND
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1994
Etablissement(s) : Paris 6

Résumé

FR

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