Two Methods for Improving Inductive Logic Programming Systems
Abstract
In this paper we describe two methods for improving systems that induce disjunctive Horn clause definitions. The first method is the well-known use of argument types during induction. Our novel contribution is an algorithm for extracting type information from the example set mechanically. The second method provides a set of clause heads partitioning the example set in disjuncts according to structural properties. Those heads can be used in top-down inductive inference systems as starting point of the general-to-specific search and reduce the resulting space of clause bodies.
Cite
Text
Stahl et al. "Two Methods for Improving Inductive Logic Programming Systems." European Conference on Machine Learning, 1993. doi:10.1007/3-540-56602-3_126Markdown
[Stahl et al. "Two Methods for Improving Inductive Logic Programming Systems." European Conference on Machine Learning, 1993.](https://mlanthology.org/ecmlpkdd/1993/stahl1993ecml-two/) doi:10.1007/3-540-56602-3_126BibTeX
@inproceedings{stahl1993ecml-two,
title = {{Two Methods for Improving Inductive Logic Programming Systems}},
author = {Stahl, Irene and Tausend, Birgit and Wirth, Rüdiger},
booktitle = {European Conference on Machine Learning},
year = {1993},
pages = {41-55},
doi = {10.1007/3-540-56602-3_126},
url = {https://mlanthology.org/ecmlpkdd/1993/stahl1993ecml-two/}
}