An Adaptive Inductive Logic Programming System Using Genetic Programming

Recently, there has been increasing interest in systems that induce firstorder logic programs. In this formalism, domain knowledge represented in the forms of first-order relations can be used in the induced programs. The task of inducing a logic program can be formulated as a search problem (Mitchell 1982) in a hypotheses space of logic programs. Various approaches (Quinlan 1990; Muggleton and Feng 1990) differ mainly in the search strategy and the heuristics used to guide the search. The search Abstract