On Learning and Logic

A brief survey is given of learning theory in a logic framework, concluding with some topics for further research. The idea of learning using logic is traced back to Turing’s 1951 radio address [15]. An early seminal result is that clauses have a least general generalization [18]. Another important...

Full description

Saved in:
Bibliographic Details
Published inLearning Theory pp. 2 - 3
Main Author Turán, György
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
Belief Revision
Inductive Logic Programming
Logic Program
Query Complexity
Rational Revision
Online AccessGet full text

Cover

More Information
Summary:A brief survey is given of learning theory in a logic framework, concluding with some topics for further research. The idea of learning using logic is traced back to Turing’s 1951 radio address [15]. An early seminal result is that clauses have a least general generalization [18]. Another important concept is inverse resolution [16]. As the most common formalism is logic programs, the area is often referred to as inductive logic programming, with yearly ILP conferences since 1991.
Bibliography:This material is based upon work supported by the National Science Foundation under Grant No. CCF-0431059.
ISBN:3540352945
9783540352945
ISSN:0302-9743
1611-3349
DOI:10.1007/11776420_2