Abstract FR:

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