Solving Mechanics Problems Using Meta-Level Inference

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

Solving Mechanics Problems Using Meta-Level Inference

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

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

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 language	English
Title of host publication	Proceedings of the 6th international joint conference on Artificial Intelligence - IJCAI '79
Publication status	Published - 1979

Keywords / Materials (for Non-textual outputs)

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

Access to Document

Full textAccepted author manuscript, 1.39 MB

http://hdl.handle.net/1842/4565

Cite this

@inproceedings{749b0d77f8de428587e75958b1715431,

title = "Solving Mechanics Problems Using Meta-Level Inference",

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.",

keywords = "Natural Language, Mathematical Reasoning, Search Control, Meta-level Inference, Predicate calculus, Mechanics",

author = "Alan Bundy and L. Byrd and G. Luger and C. Mellish and M. Palmer",

year = "1979",

language = "English",

isbn = "0-934613-47-8",

booktitle = "Proceedings of the 6th international joint conference on Artificial Intelligence - IJCAI '79",

}

TY - GEN

T1 - Solving Mechanics Problems Using Meta-Level Inference

AU - Bundy, Alan

AU - Byrd, L.

AU - Luger, G.

AU - Mellish, C.

AU - Palmer, M.

PY - 1979

Y1 - 1979

N2 - 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.

AB - 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.

KW - Natural Language

KW - Mathematical Reasoning

KW - Search Control

KW - Meta-level Inference

KW - Predicate calculus

KW - Mechanics

M3 - Conference contribution

SN - 0-934613-47-8

BT - Proceedings of the 6th international joint conference on Artificial Intelligence - IJCAI '79

ER -

Solving Mechanics Problems Using Meta-Level Inference

Abstract / Description of output

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Cite this