Bundy, Alan

Byrd, L.

Mellish, C.

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 on special properties of the domain, but on logical properties of predicates and rules, ~Ihich make them equally applicable to other domains. These logical properties include: transitivity, functionality and unarit.y. The union of the~e mechanisms handles nearly all the inference required in the Mecho project for solving mechanics problems stated in English

Edinburgh Research Explorer

Special Purpose, but Domain Independent, Inference Mechanisms

https://www.pure.ed.ac.uk/ws/files/412024/Special_Purpose_but_Domain_Independent_Inference_Mechanisms.pdf

Special Purpose, but Domain Independent, Inference Mechanisms

Abstract

Similar works

Full text

Available Versions

Edinburgh Research Explorer