Show simple item record

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

dc.contributor.authorBundy, Alan
dc.contributor.authorByrd, L.
dc.contributor.authorLuger, G.
dc.contributor.authorMellish, C.
dc.contributor.authorPalmer, M.
dc.date.accessioned2010-12-22T11:27:38Z
dc.date.available2010-12-22T11:27:38Z
dc.date.issued1979
dc.identifier.isbn0-934613-47-8en
dc.identifier.urihttp://hdl.handle.net/1842/4565
dc.description.abstractIn 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.en
dc.language.isoenen
dc.subjectNatural Languageen
dc.subjectMathematical Reasoningen
dc.subjectSearch Controlen
dc.subjectMeta-level Inferenceen
dc.subjectPredicate calculusen
dc.subjectMechanicsen
dc.titleSolving Mechanics Problems Using Meta-Level Inferenceen
dc.typeConference Paperen
rps.titleProceedings of the 6th international joint conference on Artificial Intelligence - IJCAI '79en
dc.extent.noOfPages1014-1027en
dc.extent.pageNumbers1017–1027en
dc.date.updated2010-12-22T11:27:39Z
dc.date.openingDate1979-08-20
dc.date.closingDate1979-08-23


Files in this item

This item appears in the following Collection(s)

Show simple item record