Efficient Induction of Logic Programs

@inproceedings{Muggleton1990EfficientIO,
  title={Efficient Induction of Logic Programs},
  author={Stephen Muggleton and Cao Feng},
  booktitle={ALT},
  year={1990}
}
Recently there has been increasing interest in systems which induce rst order logic programs from examples. However, many diiculties need to be overcome. Well-known algorithms fail to discover correct logical descriptions for large classes of interesting predicates , due either to the intractability of search or overly strong limitations applied to the hypothesis space. In contrast, search is avoided within Plotkin's framework of relative least general generalisation (rlgg). It is replaced by… CONTINUE READING
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS