Cognitive Technologies

Logic for Learning

Learning Comprehensible Theories from Structured Data

Authors: Lloyd, John W.

Free Preview

Buy this book

eBook 47,59 €
price for Spain (gross)
  • ISBN 978-3-662-08406-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 59,23 €
price for Spain (gross)
  • ISBN 978-3-540-42027-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 59,23 €
price for Spain (gross)
  • ISBN 978-3-642-07553-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this Textbook

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. Higher-order logic is already heavily used in some parts of computer science, for example, theoretical computer science, functional programming, and hardware verifica­ tion, mainly because of its great expressive power. Similar motivations apply here as well: 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, espe­ cially those who study learning methods for structured data. Machine learn­ ing applications are becoming increasingly concerned with applications for which the individuals that are the subject of learning have complex struc­ ture. Typical applications include text learning for the World Wide Web and bioinformatics. Traditional methods for such applications usually involve the extraction of features to reduce the problem to one of attribute-value learning.

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)


Table of contents (6 chapters)

Table of contents (6 chapters)

Buy this book

eBook 47,59 €
price for Spain (gross)
  • ISBN 978-3-662-08406-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 59,23 €
price for Spain (gross)
  • ISBN 978-3-540-42027-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 59,23 €
price for Spain (gross)
  • ISBN 978-3-642-07553-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic for Learning
Book Subtitle
Learning Comprehensible Theories from Structured Data
Authors
Series Title
Cognitive Technologies
Copyright
2003
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
J. W. Lloyd
eBook ISBN
978-3-662-08406-9
DOI
10.1007/978-3-662-08406-9
Hardcover ISBN
978-3-540-42027-9
Softcover ISBN
978-3-642-07553-7
Series ISSN
1611-2482
Edition Number
1
Number of Pages
X, 257
Topics