This is a demonstration of the Isaac program, an Artificial Intelligence (AI) program that solves rigid body statics problems stated in English.
There are 37 problems that are predefined. You can solve one of these problems by entering the problem number.
You can also attempt to solve a new problem. Enter the text of the new
problem, one sentence per line, in the input area; then select the
"Try New Problem" command. However, no serious effort
has been made to make Isaac robust for new problems, so not all
new problems will work. An example of a new problem is:
What force is required to lift one end of a pole?
Representations of Knowledge in a Program for Solving Physics Problems,'' Proc. 5th International Joint Conference on Artificial Intelligence (IJCAI-77), Cambridge, MA, August 1977, pp. 286-291.
You must have the Java virtual machine installed to run this demo; you can get it for Windows (msjavx86.exe) here.
The best things in life are free: this demo uses the free software Gnu Common Lisp (GCL), XGCL, X windows [see also XFree86], Java, and WeirdX, a Java implementation of an X server.