CLAUSAL DISCOVERY

The clausal discovery engine CLAUDIEN is presented. CLAUDIEN is an ind uctive logic programming engine that fits in the descriptive data mini ng paradigm. CLAUDIEN addresses characteristic induction from interpre tations, a task which is related to existing formalisations of inducti on in logic. In characteristic induction from interpretations, the reg ularities are represented by clausal theories, and the data using Herb rand interpretations. Because CLAUDIEN uses clausal logic to represent hypotheses, the regularities induced typically involve multiple relat ions or predicates. CLAUDIEN also employs a novel declarative bias mec hanism to define the set of clauses that may appear in a hypothesis.