Generalization, θ-Subsumption, and Entailment
- more-general-than: Given two boolean functions
and we say that is more general than
if (used by
Candidate-Elimination).
- θ-subsumption: Clause C1 θ-subsumes C2
iff there exists a θ such that C1θ ⊆ C2
(i.e., the set of literals is a subset).
- Entailment C1 entails C2 iff C2 follows deductively
from C1.
- more-general-than is a special case of
θ-subsumption which is a special case of
entailment.