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...
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science. Lecture notes in artificial intelligence
1228 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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 |
| LEADER | 03673nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 971017 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155200240 | ||
| 020 | |a 9783540690498 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.115 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Nienhuys-Cheng, Shan-Hwei, |d 1943- | |
| 245 | 1 | 0 | |a Foundations of inductive logic programming |c Shan-Hwei Nienhuys-Cheng, Roland Wolf. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 1228 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Apprentissage automatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Induction (logique) | ||
| 650 | |a Programmation logique | ||
| 700 | 1 | |a Wolf, Roland, |d 19..-...., |c ingénieur EDF. |4 aut | |
| 776 | 0 | |0 029425379 |t Foundations of inductive logic programming |f S. -H. Nienhuys-Cheng, R. de Wolf |d 1997 |c Berlin |n Springer |p 1 vol. (XVII404 p.) |s Lecture notes in computer science |z 3-540-62927-0 | |
| 776 | 0 | |t Foundations of Inductive Logic Programming |b Texte imprimé |z 9783662174852 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-62927-0 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-5M841MFK-Z |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:75065712X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-62927-0 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754006964 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-62927-0 |z Accès INSA CVL | |
| 997 | |0 971017 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||