Dekorationsartikel gehören nicht zum Leistungsumfang.
Foundations of Inductive Logic Programming
Taschenbuch von Ronald De Wolf (u. a.)
Sprache: Englisch

71,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
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.
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.
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.
Details
Erscheinungsjahr: 1997
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 428
Reihe: Lecture Notes in Artificial Intelligence
Inhalt: xviii
410 S.
ISBN-13: 9783540629276
ISBN-10: 3540629270
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Wolf, Ronald De
Nienhuys-Cheng, Shan-Hwei
Auflage: 1997
Hersteller: Springer Berlin
Springer Berlin Heidelberg
Lecture Notes in Artificial Intelligence
Maße: 235 x 155 x 24 mm
Von/Mit: Ronald De Wolf (u. a.)
Erscheinungsdatum: 18.04.1997
Gewicht: 0,645 kg
preigu-id: 107115676
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.
Details
Erscheinungsjahr: 1997
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 428
Reihe: Lecture Notes in Artificial Intelligence
Inhalt: xviii
410 S.
ISBN-13: 9783540629276
ISBN-10: 3540629270
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Wolf, Ronald De
Nienhuys-Cheng, Shan-Hwei
Auflage: 1997
Hersteller: Springer Berlin
Springer Berlin Heidelberg
Lecture Notes in Artificial Intelligence
Maße: 235 x 155 x 24 mm
Von/Mit: Ronald De Wolf (u. a.)
Erscheinungsdatum: 18.04.1997
Gewicht: 0,645 kg
preigu-id: 107115676
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte