| INTHELEX is an ILP system for the incremental learning of rules from examples adopting a closed loop architecture. It can start from an empty theory or it is able to refine theory available in PROLOG formalism, by assimilating new knowledge expressed as PROLOG ground clauses. The refinement is performed by upward and downward refinement operators. The Refinement process avails itself of an abductive proof procedure, exploited to extract relevant relations to integrate the incoming examples. | | |