http://www.cs.utexas.edu/users/novak/physics.html
Physics Problem Solving
Physics Problem Solving
The ISAAC program, written in 1975, solves rigid body statics problems
stated in English. On an IBM RS/6000, it can read, understand, solve,
and draw a diagram for a textbook physics problem in about 1/10 second.
Our more recent research in physics problem solving involves
formalizing a problem that is stated informally and then deriving a
solution from the formal model. Programs have been written to
understand problems stated by a combination of English
text and a diagram. Our current research involves representation of
the formal models chosen for a problem and selection of appropriate
models for an informally stated problem.
Publications
Physics Problem Solving Demos:
Gordon S. Novak Jr.