عنوان

Logic for Learning :

شابک

3662084066

شابک

9783662084069

شماره

b580029

عنوان اصلي

Logic for Learning :

نام عام مواد

[Book]

ساير اطلاعات عنواني

Learning Comprehensible Theories from Structured Data

نام نخستين پديدآور

by J.W. Lloyd.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

2003

نام خاص و کميت اثر

(x, 257 pages)

عنوان فروست

Cognitive technologies.

متن يادداشت

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.

متن يادداشت

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.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Data structures (Computer science)

موضوع مستند نشده

Information theory.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

by J.W. Lloyd.

مستند نام اشخاص تاييد نشده

J W Lloyd

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y