0.doc

Topic:        areas/learning/systems/foil/

Name:         FOIL

Summary:      Produces Horn clauses from data expressed as relations.

Description:

   This directory includes several versions of Quinlan's FOIL (First
   Order Inductive Learning) machine learning program.

Requires:     FOIL 6.0 now uses ANSI C.

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)

CD-ROM:       Prime Time Freeware for AI, Issue 1-1

Author(s):    J. Ross Quinlan <quinlan@cs.su.oz.au>
              Mike Cameron-Jones <mcj@cs.su.oz.au>

Keywords:

   Authors!Cameron-Jones, Authors!Quinlan, C!Code, FOIL, Horn Clauses, 
   Machine Learning

Contains:

   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.

See Also:

   ?

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.