Distance induction in first order logic

This paper tackles the supervised induction of a distance from examples describedas Horn clauses or constrained clauses. In opposition to syntax-drivenapproaches, this approach is discrimination-driven: it proceeds by defining asmall set of complex discriminant hypotheses. These hypotheses serve as newconcepts, used to redescribe the initial examples. Further, this redescriptioncan be embedded into the space of natural integers, and a distance betweenexamples thus naturally follows.This...