A Note on Refinement Operators
Abstract
The top down induction of logic programs is faced with the problem of ensuring that the search space includes all the desired hypotheses. The conventional way of of organizing the search space is via refinement of clauses. Within this context the existence of a well behaved refinement operator complete for Horn clause logic is desirable. We show that there is no natural way in which a complete refinement operator can be defined which avoids the production of non-reduced clauses. Consideration is given to subsets of full Horn clause logic for which more efficient refinement operators can be constructed.
Cite
Text
Niblett. "A Note on Refinement Operators." European Conference on Machine Learning, 1993. doi:10.1007/3-540-56602-3_146Markdown
[Niblett. "A Note on Refinement Operators." European Conference on Machine Learning, 1993.](https://mlanthology.org/ecmlpkdd/1993/niblett1993ecml-note/) doi:10.1007/3-540-56602-3_146BibTeX
@inproceedings{niblett1993ecml-note,
title = {{A Note on Refinement Operators}},
author = {Niblett, Tim},
booktitle = {European Conference on Machine Learning},
year = {1993},
pages = {329-335},
doi = {10.1007/3-540-56602-3_146},
url = {https://mlanthology.org/ecmlpkdd/1993/niblett1993ecml-note/}
}