Physique Résolution de problèmes

Le programme d’ISAAC, écrit en 1975, résout statique des corps rigides problèmes énoncés en anglais. Il peut lire, comprendre, résoudre, et dessiner un diagramme pour un problème livre de physique en une fraction de seconde. Notre recherche plus récente au problème de physique résolution consiste à formaliser un problème qui est indiqué de façon informelle, puis dériver une solution à partir du modèle formel. Des programmes ont été écrits pour comprendre les problèmes énoncés par une combinaison de texte anglais et un diagramme. Notre recherche actuelle implique une représentation des modèles formels choisis pour un problème et la sélection des modèles appropriés pour un problème de façon informelle déclaré.

Publications

Physique Problem Solving Demos:


French translation by Vicky Rotarova.