Latest Advances in Inductive Logic Programming, Muggleton Stephen, Watanabe Hiroaki

Автор: Paul E. Utgoff
Название: Machine Learning of Inductive Bias
ISBN: 0898382238 ISBN-13(EAN): 9780898382235
Издательство: Springer
Рейтинг:
Цена: 17462.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is based on the author's Ph.D. dissertation 56]. The the- sis research was conducted while the author was a graduate student in the Department of Computer Science at Rutgers University. The book was pre- pared at the University of Massachusetts at Amherst where the author is currently an Assistant Professor in the Department of Computer and Infor- mation Science. Programs that learn concepts from examples are guided not only by the examples (and counterexamples) that they observe, but also by bias that determines which concept is to be considered as following best from the ob- servations. Selection of a concept represents an inductive leap because the concept then indicates the classification of instances that have not yet been observed by the learning program. Learning programs that make undesir- able inductive leaps do so due to undesirable bias. The research problem addressed here is to show how a learning program can learn a desirable inductive bias.

Автор: Michel Parigot; Andrei Voronkov
Название: Logic for Programming and Automated Reasoning
ISBN: 3540412859 ISBN-13(EAN): 9783540412854
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This title is organized in topical sections on nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, theorem proving, verification, logic programming and constraint logic programming.

Автор: Jocelyn Paine
Название: The Logic Programming Tutor
ISBN: 0792314484 ISBN-13(EAN): 9780792314486
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Because the Tutor`s editor and the script handler are independent of the programming language it accepts, it will be of interest not only to teachers of Prolog, but also to those teaching other logic-based languages built on it -- for example, frame-based or object-oriented languages.