System | ATRE - inductive inference of recursive theories |
References | [1, 2] |
Pointers | http://www.di.uniba.it/~malerba/software/atre/index.htm |
ATRE addresses the problem of inductive inference of recursive theories. A separate-and-parallel-conquer search strategy is adopted to interleave the learning of clauses of mutually recursive predicate definitions. Problems caused by the non-monotonicity of the consistency property are solved by reformulating the currently learned theory before adding a new clause. ATRE is characterized by an object-centered representation of training examples and by the use of seed objects.