Logic for Learning: Learning Comprehensible Theories from Structured Data

by John W. Lloyd

Book Overview

This book provides a systematic approach to knowledge representation, computation, and learning using higher-order logic. For those interested in computational logic, it provides a framework for knowledge representation and computation based on higher-order logic, and demonstrates its advantages over more standard approaches based on first-order logic. For those interested in machine learning, the book explains how higher-order logic provides suitable...

• Format: Paperback
• Language: English
• ISBN: 3642075533
• ISBN13: 9783642075537
• Release Date: October 2010
• Publisher: Springer
• Length: 257 Pages
• Weight: 0.85 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"