Relational clichés: Constraining constructive induction during relational learning

Abstract

We discuss an approach to creating new terms during the induction of Horn clauses. The new terms enable a selective form of look-ahead during hill-climbing search. This look-ahead is needed because a conjunction of literals may be useful while each literal individually may not appear to be useful. We exploit knowledge of common patterns of conjunctions to avoid the necessity of testing all pairs of conjunctions.