Foundations of inductive logic programming
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 fi...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Livre numérique |
| Language: | Anglais |
| Published: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science. Lecture notes in artificial intelligence
1228 |
| Subjects: | |
| Online Access: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Foundations of inductive logic programming, S. -H. Nienhuys-Cheng, R. de Wolf, 1997, Berlin, Springer, 1 vol. (XVII404 p.), Lecture notes in computer science, 3-540-62927-0 • Foundations of Inductive Logic Programming, Texte imprimé, 9783662174852 |
Table of Contents:
- 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.