AFP Algorithm and a Canonical Normal Form for Horn Formulas
Machine Learning
2017-08-10 v2
Abstract
AFP Algorithm is a learning algorithm for Horn formulas. We show that it does not improve the complexity of AFP Algorithm, if after each negative counterexample more that just one refinements are performed. Moreover, a canonical normal form for Horn formulas is presented, and it is proved that the output formula of AFP Algorithm is in this normal form.
Cite
@article{arxiv.1408.4673,
title = {AFP Algorithm and a Canonical Normal Form for Horn Formulas},
author = {Ruhollah Majdoddin},
journal= {arXiv preprint arXiv:1408.4673},
year = {2017}
}
Comments
Some minor corrections in the text