Induction As Inverted Deduction
- Induction is finding $h$ such that
\[\forall_{\langle x_{i}, f(x_i) \rangle \in D} B \wedge h \wedge x_{i} \entails f(x_{i}) \]
where
$x_i$ is $i$th training instance
$f(x_i)$ is the target function value for $x_i$
$B$ is other background knowledge
- Design an inductive algorithm by inverting the operators for automated deduction.
José M. Vidal
.
34 of 47