---
title: "SOLVING MECHANICS PROBLEMS USING META-LEVEL INFERENCE"
authors:
doi: ""
url: "https://ijcai.org/proceedings/1979/223"
pdf: "https://ijcai.org/proceedings/1979/0223.pdf"
venue: "Proceedings of the Sixth International Joint Conference on Artificial Intelligence"
year: 1979
pages: ""
track: ""
keywords:
---

# SOLVING MECHANICS PROBLEMS USING META-LEVEL INFERENCE



*Proceedings of the Sixth International Joint Conference on Artificial Intelligence*.

## Abstract

In this paper we shall descibe 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.