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.