MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:26:40 GMT
Content-Type: text/html
Content-Length: 1332
Last-Modified: Friday, 12-May-95 15:18:10 GMT
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.