Inverse Resolution Summary
- Generate hypothesis $h$ that satisfy the constraint \[ B
\wedge h \wedge x_i \entails f(x_i) \]
- Many might be generated, but they all satisfy the
equation, unlike FOIL.
- Still, search is often unfocused and inefficient because
it only considers a small fraction of the data when generating
the hypothesis.
José M. Vidal
.
45 of 47