Next:
Inverse Example
Up:
Learning Sets of Rules
Previous:
Summary Inverse Resolution
Generalization,Subsumption,Entailment
more general than - given two boolean functions
and
we say that
if and only if
-subsumption - Clause
is said to
clause
if and only if there exists a substitution
such that
entailment -
if and only if
follows deductively from
Patricia Jean Riddle
Wed Jun 23 13:06:34 NZST 1999
and
we say that 
if and only if 
-subsumption - Clause 
is said to
clause 
if and only if there exists a
substitution such that 
if and only if follows
deductively from