## Inverse entailment and Progol (1995)

by
Stephen Muggleton

Citations: | 631 - 59 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.