Logic for Learning Learning Comprehensible Theories from Structured Data
This book is concerned with the rich and fruitful interplay between the fields of computational logic and machine learning. The intended audience is senior undergraduates, graduate students, and researchers in either of those fields. For those in computational logic, no previous knowledge of machine...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2003, 2003
|
| Edition: | 1st ed. 2003 |
| Series: | Cognitive Technologies
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Part I: Prologue
- Overview
- Introduction to Learning and Logic
- Part II: Logic
- Higher-order Logic
- Representation of Individuals
- Predicate Construction
- Programming with Equational Theories
- Part III: Learning
- The Problem of Learning
- Knowledge Representation for Learning
- Learning Systems
- Illustrations for Various Types
- Applications
- References
- Notation
- Index