| 書目名稱 | Foundations of Inductive Logic Programming |
| 編輯 | Shan-Hwei Nienhuys-Cheng,Roland Wolf |
| 視頻video | http://file.papertrans.cn/347/346992/346992.mp4 |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | Inductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. This self-contained tutorial is the first theoretical introduction to ILP; it provides the reader with a rigorous and sufficiently broad basis for future research in the area..In the first part, a thorough treatment of first-order logic, resolution-based theorem proving, and logic programming is given. The second part introduces the main concepts of ILP and systematically develops the most important results on model inference, inverse resolution, unfolding, refinement operators, least generalizations, and ways to deal with background knowledge. Furthermore, the authors give an overview of PAC learning results in ILP and of some of the most relevant implemented systems. |
| 出版日期 | Textbook 1997 |
| 關(guān)鍵詞 | Resolution; learning; logic; machine learning; programming; proving; theorem proving |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-62927-0 |
| isbn_softcover | 978-3-540-62927-6 |
| isbn_ebook | 978-3-540-69049-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1997 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-9 22:14
發(fā)表于 2025-3-21 19:40:56
