Modélisation àpartir d'un énoncé informel : le système Modélis : application des exercices de thermodynamique

Modelling from an informal statement: the modelis system. Application to thermodynamics textbook problems

• Auteur / Autrice : Gérard Tisseau
• Direction : Jacques Pitrat
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1990
• Etablissement(s) : Paris 6

Résumé

Pour resoudre un probleme a propos d'une situation physique, il est souvent indispensable d'utiliser une theorie formelle, comme la thermodynamique. Mais pour pouvoir utiliser cette theorie, il faut que le probleme soit pose avec les termes et les concepts de cette theorie. Or souvent, la situation est decrite en termes concrets, avec une vision naive de la realite. Il faut alors construire un enonce modelise pour pouvoir appliquer la theorie. Le but de cette these est d'expliciter les connaissances necessaires a cette modelisation, de les valider sur des exemples pour permettre leur enseignement. Le systeme modelis travaille sur des enonces d'exercices de thermodynamique. Les enonces sont donnes en langage naturel. Une analyse linguistique et naive. L'originalite de l'analyseur tient a ses regles d'interpretation semantique, qui se declenchent en meme temps que l'analyse syntaxique. Puis des regles de modelisation, de nature heuristique, permettent de construire un enonce modelise. Elles sont presentees sous une forme generale de maniere a pouvoir etre appliquees a d'autres domaines. Des connaissances de thermodynamique theorique s'appliquent alors pour produire un plan de resolution de l'exercice