Abstract

Abstract. This paper describes FOIL, a system that learns Horn clauses from data expressed as relations. FOIL is based on ideas that have proved effective in attribute-value learning systems, but extends them to a first-order formalism. This new system has been applied successfully to several tasks taken from the machine learning literature.

Citations

3144	Classification and Regression Trees - Breiman, Friedman, et al. - 1984
2888	Induction of Decision Trees - Quinlan - 1986
682	The CN2 induction algorithm - Clark, Niblett - 1989
468	Explanation-Based Generalization: A Unifying View - Mitchell, Keller, et al. - 1986
347	Learning decision lists - Rivest - 1987
333	Explanation-Based Learning: An Alternative View - DeJong, Mooney - 1986
324	A universal prior for integers and estimation by minimum description length. Ann Stat - Rissanen - 1983
296	The multi-purpose incremental learning system aq15 and its testing application to three medical domains - Michalski, Mozetic, et al. - 1986
274	Inferring decision trees using the minimum description length principle. Information and Computation 80.227–248 - QUINLAN, RIVEST - 1989
266	Learning structural descriptions from examples - Winston - 1975
162	Machine invention of first-order predicates by inverting resolution - Muggleton, Buntine - 1988
154	Learning distributed representations of concepts - Hinton - 1986
135	PROLOG: Programming for artificial intelligence - Bratko - 2001
96	Experiments in induction - Hunt, Marin - 1966
91	Learning concepts by asking questions - Sammut, Banerji - 1986
89	Pattern Recognition a Rule-Guided Inductive Inference - Michalski - 1980
88	Discovering rules by induction from large collections of examples - Quinlan - 1979
50	An experimental comparison of human and machine learning formalisms - Muggleton, Bain, et al. - 1989
41	Assistant-86: A Knowledge Elicitation Tool for Sophisticated Users - Cestnik, Konenenko, et al. - 1987
38	Induction in noisy domains - Clark, Niblett - 1987
37	Learning to search: From weak methods to domain-specific heuristics - Langley - 1985
33	Learning to predict sequences - Dietterich, Michalski - 1986
21	Decision Trees and Multi-values Attributes - Quinlan - 1998
21	An algorithm that infers theories from facts - Shapiro - 1981
20	Inductive learning of structural descriptions - Diettench, Michalski - 1981
15	Knowledge acquisition from structural descriptions - Hayes-Roth, McDermott - 1977
15	Inductive Learning of Relational Productions - Vere - 1978
6	A learning system and its psychological implications - Anderson, Kline - 1979
5	Knowledge intensive induction - Manago - 1989
4	A case study of incremental concept formation - Schlimmer, Fisher - 1986
1	Gargantubrain: An heuristic algorithm for learning non-recursive Horn clauses from positive and negative examples - Brebner - 1988