Beyond Inversion of Resolution
Abstract
A framework for induction has been proposed in (Muggleton & Buntine, 1988) and implemented in the CIGOL system. We have extended the operators introduced in CIGOL to non unit clauses. Doing this, we have discovered two limitations of inversion of resolution, mainly one about the Absorption operator. We therefore propose a new operator called Saturation that replaces Absorption in our system. We give a clear definition of this operator after a formal analysis of the problem. We then describe how the two other operators, namely Intraconstruction and Truncation, can be reformulated and re-implemented. * 1 The first author has a French MRT scholarship and is partially supported by CEC, through the ESPRIT-2 contract MLT 2154. The second author is supported by PRC-IA.
Cite
Text
Rouveirol and Puget. "Beyond Inversion of Resolution." International Conference on Machine Learning, 1990. doi:10.1016/B978-1-55860-141-3.50018-3Markdown
[Rouveirol and Puget. "Beyond Inversion of Resolution." International Conference on Machine Learning, 1990.](https://mlanthology.org/icml/1990/rouveirol1990icml-beyond/) doi:10.1016/B978-1-55860-141-3.50018-3BibTeX
@inproceedings{rouveirol1990icml-beyond,
title = {{Beyond Inversion of Resolution}},
author = {Rouveirol, Céline and Puget, Jean-Francois},
booktitle = {International Conference on Machine Learning},
year = {1990},
pages = {122-130},
doi = {10.1016/B978-1-55860-141-3.50018-3},
url = {https://mlanthology.org/icml/1990/rouveirol1990icml-beyond/}
}