Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	April 1997
Genre:	EDV / Informatik
	Intelligenz / Künstliche Intelligenz / KI / Künstliche Intelligenz (KI) / Künstliche Intelligenz - AI / Learning / Logic / machinelearning / Programming / proving / Resolution / theoremproving / Theoretische Informatik mehr...
ISBN:	9783540629276
EAN-Code:	9783540629276
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 24 mm
Gewicht:	645 gr
Seiten:	428
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.