| ชื่อเรื่อง | : | Rippling: A Heuristic for Guiding Inductive Proofs |
| นักวิจัย | : | Bundy, Alan , Stevens, A. , van Harmelen, F. , Ireland, A. , Smaill, A. |
| คำค้น | : | - |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2536 |
| อ้างอิง | : | 0004-3702 , http://hdl.handle.net/1842/4748 , 10.1016/0004-3702(93)90079-Q |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | We describe rippling: a tactic for the heuristic control of the key part of proofs by mathematical induction. This tactic significantly reduces the search for a proof of a wide variety of inductive theorems. We first present a basic version of rippling, followed by various extensions which are necessary to capture larger classes of inductive proofs. Finally, we present a generalised form of rippling which embodies these extensions as special cases. We prove that generalised rippling always terminates, and we discuss the implementation of the tactic and its relation with other inductive proof search heuristics. |
| บรรณานุกรม | : |
Bundy, Alan , Stevens, A. , van Harmelen, F. , Ireland, A. , Smaill, A. . (2536). Rippling: A Heuristic for Guiding Inductive Proofs.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Bundy, Alan , Stevens, A. , van Harmelen, F. , Ireland, A. , Smaill, A. . 2536. "Rippling: A Heuristic for Guiding Inductive Proofs".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Bundy, Alan , Stevens, A. , van Harmelen, F. , Ireland, A. , Smaill, A. . "Rippling: A Heuristic for Guiding Inductive Proofs."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2536. Print. Bundy, Alan , Stevens, A. , van Harmelen, F. , Ireland, A. , Smaill, A. . Rippling: A Heuristic for Guiding Inductive Proofs. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2536.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
