Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Foundations of Inductive Logic Programming

BuchKartoniert, Paperback
410 Seiten
Englisch
Springererschienen am18.04.1997
Inductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. 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.mehr

Produkt

KlappentextInductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. 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.
Details
ISBN/GTIN978-3-540-62927-6
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr1997
Erscheinungsdatum18.04.1997
ReiheLecture Notes in Computer Science
Seiten410 Seiten
SpracheEnglisch
Gewicht636 g
IllustrationenXVIII, 410 p.
Artikel-Nr.10306590

Inhalt/Kritik

Inhaltsverzeichnis
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.mehr