Edinburgh Research Explorer

Special Purpose, but Domain Independent, Inference Mechanisms

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Original languageEnglish
Title of host publicationProceedings to the 5th European Conference on Artificial Intelligence, ECAI 82, Paris, 1982
VolumeXXXI
StatePublished - 1987

Abstract

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.

    Research areas

  • Inference, Combinatorial explosion, Meta-level Reasoning, Problem Solving, Mechanics

Download statistics

No data available

ID: 403147