Induction of logic programs: FOIL and related systems. FOIL is a first-order learning system that uses information in a collection of relations to construct theories expressed in a dialect of Prolog. This paper provides an overview of the principal ideas and methods used in the current version of the system, including two recent additions. We present examples of tasks tackled by FOIL and of systems that adapt and extend its approach.
Keywords for this software
References in zbMATH (referenced in 30 articles , 1 standard article )
Showing results 21 to 30 of 30.
- Thabtah, Fadi Abdeljaber; Cowling, Peter; Peng, Yonghong: Multiple labels associative classification (2005) ioport
- Vojtáš, Peter; Horváth, Tomáš; Krajči, Stanislav; Lencses, Rastislav: An ILP model for a monotone graded classification problem (2004)
- Drobics, Mario; Bodenhofer, Ulrich; Klement, Erich Peter: FS-FOIL: An inductive learning method for extracting interpretable fuzzy descriptions (2003)
- Zhang, Xiaolong; Numao, Masayuki: Toward effective knowledge acquisition with first-order logic induction. (2002)
- Craven, M.; DiPasquo, D.; Freitag, D.; McCallum, A.; Mitchell, T.: Learning to construct knowledge bases from the World Wide Web (2000)
- Lamma, Evelina; Mello, Paola; Milano, Michela; Riguzzi, Fabrizio: Integrating induction and abduction in logic programming (1999)
- Blockeel, Hendrik; de Raedt, Luc: Top-down induction of first-order logical decision trees (1998)
- Cohen, William W.: Inductive specification recovery: Understanding software by learning from example behaviors. (1995) ioport
- Quinlan, John Ross: Induction of logic programs: FOIL and related systems. (1995) ioport
- Quinlan, J. R.: Determinate literals in inductive logic programming (1991)