DMCA
Inverse Entailment for Full Clausal Theories (2001)
by
Katsumi Inoue
| Venue: | In: LICS-2001 Workshop on Logic and Learning |
| Citations: | 6 - 0 self |
BibTeX
@INPROCEEDINGS{Inoue01inverseentailment,
author = {Katsumi Inoue},
title = {Inverse Entailment for Full Clausal Theories},
booktitle = {In: LICS-2001 Workshop on Logic and Learning},
year = {2001}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper shows a sound and complete method for inverse entailment in inductive logic programming. We show that inverse entailment can be computed with a resolution method for consequencefinding. In comparison with previous work, induction via consequence-finding is sound and complete for finding hypotheses from full clausal theories, and can be used for inducing not only definite clauses but also non-Horn clauses and integrity constraints.
