03284nam a22005655i 4500
978-3-540-69049-8
DE-He213
20170515111447.0
cr nn 008mamaa
121227s1997 gw | s |||| 0|eng d
9783540690498
978-3-540-69049-8
10.1007/3-540-62927-0
doi
QA76.758
UMZ
bicssc
UL
bicssc
COM051230
bisacsh
005.1
23
Nienhuys-Cheng, Shan-Hwei.
author.
Foundations of Inductive Logic Programming
[electronic resource] /
by Shan-Hwei Nienhuys-Cheng, Roland de Wolf.
Berlin, Heidelberg :
Springer Berlin Heidelberg,
1997.
XVIII, 410 p.
online resource.
text
txt
rdacontent
computer
c
rdamedia
online resource
cr
rdacarrier
text file
PDF
rda
Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
0302-9743 ;
1228
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.
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.
Computer science.
Software engineering.
Computer programming.
Mathematical logic.
Artificial intelligence.
Computer Science.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Programming Techniques.
Wolf, Roland de.
author.
SpringerLink (Online service)
Springer eBooks
Printed edition:
9783540629276
Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
0302-9743 ;
1228
http://dx.doi.org/10.1007/3-540-62927-0
ZDB-2-SCS
ZDB-2-LNC
ZDB-2-BAE
ddc
EB
Computer Science (Springer-11645)
14305
14305