| ชื่อเรื่อง | : | Solving Mechanics Problems Using Meta-Level Inference |
| นักวิจัย | : | Bundy, Alan , Byrd, L. , Luger, G. , Mellish, C. , Palmer, M. |
| คำค้น | : | Natural Language , Mathematical Reasoning , Search Control , Meta-level Inference , Predicate calculus , Mechanics |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2522 |
| อ้างอิง | : | 0-934613-47-8 , http://hdl.handle.net/1842/4565 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | 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. |
| บรรณานุกรม | : |
Bundy, Alan , Byrd, L. , Luger, G. , Mellish, C. , Palmer, M. . (2522). Solving Mechanics Problems Using Meta-Level Inference.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Bundy, Alan , Byrd, L. , Luger, G. , Mellish, C. , Palmer, M. . 2522. "Solving Mechanics Problems Using Meta-Level Inference".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Bundy, Alan , Byrd, L. , Luger, G. , Mellish, C. , Palmer, M. . "Solving Mechanics Problems Using Meta-Level Inference."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2522. Print. Bundy, Alan , Byrd, L. , Luger, G. , Mellish, C. , Palmer, M. . Solving Mechanics Problems Using Meta-Level Inference. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2522.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
