Charles Explorer logo
🇨🇿

HISTORY-DRIVEN TEMPLATE GENERATION IN INDUCTIVE LOGIC PROGRAMMING

Publikace na Matematicko-fyzikální fakulta |
2012

Tento text není v aktuálním jazyce dostupný. Zobrazuje se verze "en".Abstrakt

Inductive logic programming is a machine learning method that combines inductive learning with the representation of hypotheses as logic programs. There exist methods that given a template find unification of variables in the template to obtain a hypothesis that subsumes all positive examples and does not subsume any negative example.

In this paper we deal with the problem how to obtain the template. In particular, we suggest a method how to efficiently generate the template by remembering the history of generated templates and exploiting this history when adding predicates to a new candidate template.

This method significantly outperforms the existing method based on brute-force incremental extension of the template. We demonstrate the efficiency experimentally using randomly generated structured problems.