Generalization, θ-Subsumption, and Entailment
- more-general-than: Given two boolean functions
$h_i(x)$ and $h_j(x)$ we say that $h_i$ is more general than
$h_j$ if $\forall x: h_j(x) \entails h_i(x)$ (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.
José M. Vidal
.
46 of 47