INVERSE ENTAILMENT AND PROGOL

被引：755

作者：

MUGGLETON, S

机构：

[1] UNIV TOKYO, TOKYO, JAPAN

[2] TURING INST, GLASGOW, LANARK, SCOTLAND

来源：

NEW GENERATION COMPUTING | 1995年 / 13卷 / 3-4期

关键词：

LEARNING; LOGIC PROGRAMMING; INDUCTION; PREDICATE INVENTION; INVERSE RESOLUTION; INVERSE ENTAILMENT; INFORMATION COMPRESSION;

D O I：

10.1007/BF03037227

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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 implication leads to new results for learning from positive data and inverting implication between pairs of clauses.

引用

页码：245 / 286

页数：42