In this paper we shall describe a program (MECHO), written in Prolog, 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.
|Title of host publication||Proceedings of the 6th international joint conference on Artificial Intelligence - IJCAI '79|
|Publication status||Published - 1979|
- Natural Language
- Mathematical Reasoning
- Search Control
- Meta-level Inference
- Predicate calculus