Show simple item record

Proceedings to the 5th European Conference on Artificial Intelligence, ECAI 82, Paris, 1982

dc.contributor.authorBundy, Alan
dc.contributor.authorByrd, L.
dc.contributor.authorMellish, C.
dc.date.accessioned2010-12-21T11:40:34Z
dc.date.available2010-12-21T11:40:34Z
dc.date.issued1987
dc.identifier.urihttp://www.informatik.uni-trier.de/~ley/db/conf/ecai/ecai82.htmlen
dc.identifier.urihttp://hdl.handle.net/1842/4555
dc.description.abstractvie 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.en
dc.language.isoenen
dc.subjectInferenceen
dc.subjectCombinatorial explosionen
dc.subjectMeta-level Reasoningen
dc.subjectProblem Solvingen
dc.subjectMechanicsen
dc.titleSpecial Purpose, but Domain Independent, Inference Mechanismsen
dc.typeConference Paperen
rps.issue1&2en
rps.volumeXXXIen
rps.titleProceedings to the 5th European Conference on Artificial Intelligence, ECAI 82, Paris, 1982en
dc.extent.noOfPages67-74en
dc.extent.pageNumbers29–43en
dc.date.updated2010-12-21T11:40:35Z


Files in this item

This item appears in the following Collection(s)

Show simple item record