BibTeX
@MISC{Muggleton95inverseentailment,
author = {Stephen Muggleton},
title = {Inverse entailment and Progol},
year = {1995}
}
Share
 |
 |
 |
 |
||
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.
