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:

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

Files in This Item:

File Description SizeFormat
BundyA_Solving Mechanics Problems.pdf1.4 MBAdobe PDFView/Open
Title: Solving Mechanics Problems Using Meta-Level Inference
Authors: Bundy, Alan
Byrd, L.
Luger, G.
Mellish, C.
Palmer, M.
Issue Date: 1979
Journal Title: Proceedings of the 6th international joint conference on Artificial Intelligence - IJCAI '79
Page Numbers: 1017–1027
Abstract: In this paper we shall describe a program (MECHO), written in Prolog[14], which solves a wide range of mechanics problems from statements in both predicate calculus and English. Mecho uses the technique of meta-level inference to control search in natural language understanding, common sense inference, model formation and algebraic manipulation. We argue that this is a powerful technique for controlling search while retaining the modularity of declarative knowledge representations.
Keywords: Natural Language
Mathematical Reasoning
Search Control
Meta-level Inference
Predicate calculus
ISBN: 0-934613-47-8
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