Inverse entailment and Progol (1995)
by
Stephen Muggleton
| Citations: | 560 - 45 self |
BibTeX
@MISC{Muggleton95inverseentailment,
author = {Stephen Muggleton},
title = {Inverse entailment and Progol},
year = {1995}
}
Years of Citing Articles
OpenURL
Abstract
This paper firstly provides a re-appraisal of the development of techniques for inverting deduction, secondly introduces Mode-Directed Inverse Entailment (MDIE) as a generalisation and enhancement of previous approaches and thirdly describes an implementation of MDIE in the Progol system. Progol is implemented in C and available by anonymous ftp. The re-assessment of previous techniques in terms of inverse entailment leads to new results for learning from positive data and inverting implication between pairs of clauses.







