Logic for Learning: Learning Comprehensible Theories from Structured Data by John W. LloydLogic for Learning: Learning Comprehensible Theories from Structured Data by John W. Lloyd

Logic for Learning: Learning Comprehensible Theories from Structured Data

byJohn W. Lloyd

Paperback | October 22, 2010

Pricing and Purchase Info

$98.54 online 
$117.50 list price save 16%
Earn 493 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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 learning is assumed, and for those in machine learning no previous knowledge of computational logic is assumed.The logic used throughout the book is a higher-order one, since higher-order functions can have other functions as arguments and this capability can be exploited to provide abstractions for knowledge representation, methods for constructing predicates, and a foundation for logic-based computation.The book should be of interest to researchers in machine learning, especially those who study learning methods for structured data. Throughout, great emphasis is placed on learning comprehensible theories. The book serves as an introduction for computational logicians to machine learning, a particularly interesting and important application area of logic, and also provides a foundation for functional logic programming languages.
Title:Logic for Learning: Learning Comprehensible Theories from Structured DataFormat:PaperbackDimensions:257 pages, 23.5 × 15.5 × 0.17 inPublished:October 22, 2010Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642075533

ISBN - 13:9783642075537

Look for similar items by category:

Reviews

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.

Editorial Reviews

From the reviews of the third edition:"John has tried his hand at machine learning, and his aim in Logic for Learning is to demonstrate 'the rich and fruitful interplay between the fields of computational logic and machine learning'. . As such, the book is more geared towards computational logicians who are interested in machine learning . . The book can also be used as a textbook in a mathematically oriented advanced graduate course. . it is indeed great stuff, which deserves to be taken serious by any computational logician . ." (Peter Flach, TLP - Theory and Practice of Logic Programming, Issue 4, 2004)From the reviews:"This book provides a systematic approach to knowledge representation, computation, and learning using higher-order logic. It is aimed at researchers, graduate students, and senior undergraduates working in computational logic and/or machine learning." (PHINEWS, Vol. 3, April, 2003)