CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

FOIL: Produces Horn clauses from data expressed as relations.

areas/learning/systems/foil/

   foil2/     FOIL2: Produces Horn clauses from data expressed 
              as relations.
   foil4/     FOIL4: Produces Horn clauses from data expressed 
              as relations.
   foil5/     FOIL5: Produces Horn clauses from data expressed 
              as relations.
   foil6/     FOIL6: Produces Horn clauses from data expressed 
              as relations.

Origin:   

   ftp.cs.su.oz.au:/pub/ [129.78.8.208]
   as the files foil4.sh, foil5.sh, and foil6.sh.
   sumex-aim.stanford.edu:/pub/FOIL.sh (== FOIL2)
This directory includes several versions of Quinlan's FOIL (First Order Inductive Learning) machine learning program.
References: Quinlan, J.R. (1990), "Learning Logical Definitions from Relations", Machine Learning 5, 239-266. Quinlan, J.R. (1991), "Determinate Literals in Inductive Logic Programming", Proceedings 12th International Joint Conference on Artificial Intelligence, 746-750, Morgan Kaufmann. Requires: FOIL 6.0 now uses ANSI C. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): J. Ross Quinlan Mike Cameron-Jones Keywords: Authors!Cameron-Jones, Authors!Quinlan, C!Code, FOIL, Horn Clauses, Machine Learning
Last Web update on Mon Feb 13 10:24:20 1995
AI.Repository@cs.cmu.edu