{"type":"ScholarlyArticle","title":"SOLVING MECHANICS PROBLEMS USING META-LEVEL INFERENCE","authors":[],"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.","doi":null,"url":"https://ijcai.org/proceedings/1979/223","pdf":"https://ijcai.org/proceedings/1979/0223.pdf","markdown":"https://ijcai.org/proceedings/1979/223.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/223","volume":{"slug":"1979","title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1979","url":"https://ijcai.org/proceedings/1979/","year":1979,"location":"Tokyo, Japan","dates":"August 20-23, 1979","editors":"Bruce G. Buchanan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":223,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}