On Learning and Logic
Abstract
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.
Cite
Text
Turán. "On Learning and Logic." Annual Conference on Computational Learning Theory, 2006. doi:10.1007/11776420_2Markdown
[Turán. "On Learning and Logic." Annual Conference on Computational Learning Theory, 2006.](https://mlanthology.org/colt/2006/turan2006colt-learning/) doi:10.1007/11776420_2BibTeX
@inproceedings{turan2006colt-learning,
title = {{On Learning and Logic}},
author = {Turán, György},
booktitle = {Annual Conference on Computational Learning Theory},
year = {2006},
pages = {2-3},
doi = {10.1007/11776420_2},
url = {https://mlanthology.org/colt/2006/turan2006colt-learning/}
}