Ground Facts

Name	Ground Facts
Description	If a learning algorithm is based on first-order logic (or restrictions of it), examples are commonly described by ground facts. Ground facts are logical formulas, containing no variables and having exactly one predicate, which has to be positive. For example tupels of a relational database may be considered as ground facts.
Methods	Bottom-Up Induction of Horn Clauses FOIL GOLEM RDT