Solving Mechanics Problems Using Meta-Level Inference

Alan Bundy, L. Byrd, G. Luger, C. Mellish, M. Palmer

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


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.
Original languageEnglish
Title of host publicationProceedings of the 6th international joint conference on Artificial Intelligence - IJCAI '79
Publication statusPublished - 1979


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


Dive into the research topics of 'Solving Mechanics Problems Using Meta-Level Inference'. Together they form a unique fingerprint.

Cite this