An Adaptive Inductive Logic Programming System Using Genetic Programming
Man Leung Wong, Kwong‐Sak Leung · The MIT Press eBooks · 1995
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