E-Book, Englisch, 257 Seiten, eBook
Reihe: Cognitive Technologies
Lloyd Logic for Learning
2003
ISBN: 978-3-662-08406-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Learning Comprehensible Theories from Structured Data
E-Book, Englisch, 257 Seiten, eBook
Reihe: Cognitive Technologies
ISBN: 978-3-662-08406-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
This book provides a systematic approach to knowledge representation, computation, and learning using higher-order logic. For those interested in computational logic, it provides a framework for knowledge representation and computation based on higher-order logic, and demonstrates its advantages over more standard approaches based on first-order logic. For those interested in machine learning, the book explains how higher-order logic provides suitable knowledge representation formalisms and hypothesis languages for machine learning applications.
Zielgruppe
Graduate
Autoren/Hrsg.
Weitere Infos & Material
1. Introduction.- 2. Logic.- 3. Individuals.- 4. Predicates.- 5. Computation.- 6. Learning.- A. Appendix.- A.1 Well-Founded Sets.- References.- Notation.




