Edinburgh Research Explorer

Solving Mechanics Problems Using Meta-Level Inference

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://hdl.handle.net/1842/4565
Original languageEnglish
Title of host publicationProceedings of the 6th international joint conference on Artificial Intelligence - IJCAI '79
StatePublished - 1979

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.

    Research areas

  • Natural Language, Mathematical Reasoning, Search Control, Meta-level Inference, Predicate calculus, Mechanics

Download statistics

No data available

ID: 403207