Now showing items 1-3 of 3
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 Symbolic Equations with PRESS
We outline a program, PRESS (PRolog Equation Solving System) for solving symbolic, transcendental, non-differential equations. The methods used for solving equations are described, together with the service facilities. The ...
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 ...