| ชื่อเรื่อง | : | Proof Plans for the Correction of False Conjectures |
| นักวิจัย | : | Bundy, Alan , Monroy, Raul , Ireland, Andrew |
| คำค้น | : | - |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2537 |
| อ้างอิง | : | http://www.springerlink.com/content/71261q5860p8unv7/ , http://hdl.handle.net/1842/4572 , http://www.springerlink.com/content/71261q5860p8unv7/ |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | Theorem proving is the systematic derivation of a mathcmaticM proof from a set of axioms by the use of rules of inference. We ~re interested in a related but far less explored problem: the analysis and correction of false conjectures, especiMly where that correction involves finding a collection of antecedents that, together with a set of axioms, transform non-theorems into theorems. Most failed search trees are huge, and special care is to be taken in order to tackle the combinatorial explosion phenoraenom Fortunately, the planning search space generated by proof plans, see [1], are moderately small. We have explored the possibility of using this technique in the implementation of an abduction mechanism to correct non-theorems. |
| บรรณานุกรม | : |
Bundy, Alan , Monroy, Raul , Ireland, Andrew . (2537). Proof Plans for the Correction of False Conjectures.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Bundy, Alan , Monroy, Raul , Ireland, Andrew . 2537. "Proof Plans for the Correction of False Conjectures".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Bundy, Alan , Monroy, Raul , Ireland, Andrew . "Proof Plans for the Correction of False Conjectures."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2537. Print. Bundy, Alan , Monroy, Raul , Ireland, Andrew . Proof Plans for the Correction of False Conjectures. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2537.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
