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é.
Physique Problem Solving Demos:
- Math / Physique Solver: répondre à des questions simples de mathématiques et de physique énoncées en anglais.
- Conversion Unit Démo: convertir les unités de mesure.