Logic for Learning - Cognitive Technologies - Learning Comprehensible Theories from Structured Data

Lloyd, John W.

ISBN 10: 3540420274 / ISBN 13: 9783540420279

Verlag: Springer, Germany, 2003

Beschreibung

This textbook presents 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. The book does not assume previous knowledge of either field. It is part of the Springer series Cognitive Technologies, which addresses subjects including natural-language processing, high-level computer vision, cognitive robotics, automated reasoning, and knowledge representation. ; 16x23.5x2cm; 267 pages.

Bestandsnummer des Verkäufers 64612

Bibliografische Details

• Titel: Logic for Learning - Cognitive Technologies - Learning Comprehensible Theories from Structured Data
• Verlag: Springer, Germany
• Erscheinungsjahr: 2003
• Sprache: Englisch
• ISBN-10: 3540420274
• ISBN-13: 9783540420279
• Einband: Hardcover
• Auflage: (?); (?).
• Zustand: Near Fine
• Zustand des Schutzumschlags: No Dust Jacket

Über diesen Titel

Inhaltsangabe

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 knowledge representation formalisms and hypothesis languages for machine learning applications.

Críticas

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)