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 IL… Mehr…
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. Books > Computer Science eBook, Springer Shop<
Springer.com
new in stock. Versandkosten:zzgl. Versandkosten. Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
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 IL… Mehr…
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. Books > Computer Science eBook, Springer Shop<
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.
Detailangaben zum Buch - Foundations of Inductive Logic Programming
EAN (ISBN-13): 9783540690498 Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2017-01-14T23:28:19+01:00 (Berlin) Detailseite zuletzt geändert am 2021-09-29T16:43:46+02:00 (Berlin) ISBN/EAN: 9783540690498
ISBN - alternative Schreibweisen: 978-3-540-69049-8 Alternative Schreibweisen und verwandte Suchbegriffe: Autor des Buches: shan, wolf Titel des Buches: logic programming
Daten vom Verlag:
Autor/in: Shan-Hwei Nienhuys-Cheng; Ronald de Wolf Titel: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Foundations of Inductive Logic Programming Verlag: Springer; Springer Berlin 410 Seiten Erscheinungsjahr: 2005-07-01 Berlin; Heidelberg; DE Sprache: Englisch 80,24 € (DE) 82,50 € (AT) 88,50 CHF (CH) Available XVIII, 410 p.
Propositional logic.- First-order logic.- Normal forms and Herbrand models.- Resolution.- Subsumption theorem and refutation completeness.- Linear and input resolution.- SLD-resolution.- SLDNF-resolution.- What is inductive logic programming?.- The framework for model inference.- Inverse resolution.- Unfolding.- The lattice and cover structure of atoms.- The subsumption order.- The implication order.- Background knowledge.- Refinement operators.- PAC learning.- Further topics.
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten: