Information Services banner Edinburgh Research Archive The University of Edinburgh crest

Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1842/4555

This item has been viewed 17 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
BundyA_Special Purpose.pdf3.65 MBAdobe PDFView/Open
Title: Special Purpose, but Domain Independent, Inference Mechanisms
Authors: Bundy, Alan
Byrd, L.
Mellish, C.
Issue Date: 1987
Journal Title: Proceedings to the 5th European Conference on Artificial Intelligence, ECAI 82, Paris, 1982
Volume: XXXI
Issue: 1&2
Page Numbers: 29–43
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.
Keywords: Inference
Combinatorial explosion
Meta-level Reasoning
Problem Solving
Mechanics
URI: http://www.informatik.uni-trier.de/~ley/db/conf/ecai/ecai82.html
http://hdl.handle.net/1842/4555
Appears in Collections:Informatics Publications

Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2013, and/or the original authors. Privacy and Cookies Policy