What We Want

We want a learning method such that:

1. Given no domain theory it should be as good as purely inductive methods.
2. Given a perfect domain theory it should be as good as analytical methods.
3. Given imperfect domain theory and imperfect data it should combine the two and do batter than both inductive and analytical.
4. Accommodate an unknown level of error in training data.
5. Accommodate an unknown level of error in domain theory.