Constraints on Predicate Invention
Abstract
The main contribution of this paper is a two step method for inventing new predicates that overcomes some shortcomings of previously published methods (implemented in Cigol & LFP2). The method integrates abductive and inductive learning. In the first step, proofs of the training instances are completed by assuming new facts built from a new predicate symbol. In the second step, the general clause derived to explain the training instances is used to generate more instances of the newly invented predicate. These instances are then used to induce a general definition of the new predicate.
Cite
Text
Wirth and O'Rorke. "Constraints on Predicate Invention." International Conference on Machine Learning, 1991. doi:10.1016/B978-1-55860-200-7.50094-5Markdown
[Wirth and O'Rorke. "Constraints on Predicate Invention." International Conference on Machine Learning, 1991.](https://mlanthology.org/icml/1991/wirth1991icml-constraints/) doi:10.1016/B978-1-55860-200-7.50094-5BibTeX
@inproceedings{wirth1991icml-constraints,
title = {{Constraints on Predicate Invention}},
author = {Wirth, Rüdiger and O'Rorke, Paul},
booktitle = {International Conference on Machine Learning},
year = {1991},
pages = {457-461},
doi = {10.1016/B978-1-55860-200-7.50094-5},
url = {https://mlanthology.org/icml/1991/wirth1991icml-constraints/}
}