Now showing items 1-3 of 3
Solving Mechanics Problems Using Meta-Level Inference
In this paper we shall describe a program (MECHO), written in Prolog, which solves a wide range of mechanics problems from statements in both predicate calculus and English. Mecho uses the technique of meta-level ...
Will It Reach the Top? Prediction in the Mechanics World.
We describe an extension of a mechanics problem solving program to the set of “roller coaster” problems, i.e. problems about the motion of a particle on a complex path. The reasoning strategy adopted by the program is ...