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...
Saved in:
Published in | Learning Theory pp. 2 - 3 |
---|---|
Main Author | |
Format | Book Chapter |
Language | English |
Published |
Berlin, Heidelberg
Springer Berlin Heidelberg
|
Series | Lecture Notes in Computer Science |
Subjects | |
Online Access | Get full text |
Cover
Loading…
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 |