The figure shows the effect of a series of examples on the probabilites associated with hypotheses. The hypotheses which entail and are consistent with the examples are marked as vertical bars. This section provides a breif outline of the reseach areas that will extend current ILP theory and systems. When large numbers of background predicates are available, determining which predicate is relevant. How clauses should be removed, or unfolded with respect to deep-structured theories.
Further research is required into predicate invention.
Most present ILP systems are concerned with generating a single clause. Research is required into improved performance of multiple clause generation. Current ILP systems perform poorly in the presence of relevant long chains of literals, connected by shared variables. Recursive hypotheses are poorly handled by most ILP system. This is particularly important in the natural language domain.