Special Purpose, but Domain Independent, Inference Mechanisms

Alan Bundy, L. Byrd, C. Mellish

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


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.
Original languageEnglish
Title of host publicationProceedings to the 5th European Conference on Artificial Intelligence, ECAI 82, Paris, 1982
Publication statusPublished - 1987


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

Fingerprint Dive into the research topics of 'Special Purpose, but Domain Independent, Inference Mechanisms'. Together they form a unique fingerprint.

Cite this