|
Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/4565
|
| 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
Mechanics |
| URI: | http://hdl.handle.net/1842/4565 |
| ISBN: | 0-934613-47-8 |
| Appears in Collections: | Informatics Publications
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
