Now showing items 1-2 of 2
Special Purpose, but Domain Independent, Inference Mechanisms
vie describe a number of special purpose, but domain independent, inference mechanisms. While these rl1echanisms are limited to certain kinds of inference and illference rules, they do not rely ...
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 ...