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. Structural concepts result in complex clauses when encoded as literals. These present problems to the search strategies used in current ILP systems.