Skip to main content
SpringerLink
Log in
Book cover

Logic for Learning

Learning Comprehensible Theories from Structured Data

  • Textbook
  • © 2003

Overview

Authors:
  1. J. W. Lloyd

    1. Research School of Information Sciences and Engineering, Computer Sciences Laboratory, The Australian National University, Canberra, Australia

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • The first book on learning and knowledge representation based on higher-order logic.
  • Includes supplementary material: sn.pub/extras

Part of the book series: Cognitive Technologies (COGTECH)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 chapters)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Introduction

    • J. W. Lloyd
    Pages 1-29

  3. Logic

    • J. W. Lloyd
    Pages 31-82

  4. Individuals

    • J. W. Lloyd
    Pages 83-130

  5. Predicates

    • J. W. Lloyd
    Pages 131-181

  6. Computation

    • J. W. Lloyd
    Pages 183-206

  7. Learning

    • J. W. Lloyd
    Pages 207-241

  8. Back Matter

    Pages 243-259
    Download chapter PDF
Back to top

Keywords

About this book

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)

Authors and Affiliations

  • Research School of Information Sciences and Engineering, Computer Sciences Laboratory, The Australian National University, Canberra, Australia

    J. W. Lloyd

Bibliographic Information

  • Book Title: Logic for Learning

  • Book Subtitle: Learning Comprehensible Theories from Structured Data

  • Authors: J. W. Lloyd

  • Series Title: Cognitive Technologies

  • DOI: https://doi.org/10.1007/978-3-662-08406-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: J. W. Lloyd 2003

  • Hardcover ISBN: 978-3-540-42027-9Published: 06 August 2003

  • Softcover ISBN: 978-3-642-07553-7Published: 22 October 2010

  • eBook ISBN: 978-3-662-08406-9Published: 17 April 2013

  • Series ISSN: 1611-2482

  • Series E-ISSN: 2197-6635

  • Edition Number: 1

  • Number of Pages: X, 257

  • Topics: Artificial Intelligence, Theory of Computation, Data Structures and Information Theory

Publish with us

Policies and ethics

Back to top

Search

Navigation