INVERSE ENTAILMENT AND PROGOL

被引：757
作者：
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
相关论文
共 61 条
[31]  
MELTZER B, 1969, MACH INTELL, V5, P165
[32]  
MICHALSKI R, 1980, ISG835 U ILL COMP SC
[33]   INDUCTIVE LOGIC PROGRAMMING - THEORY AND METHODS [J].
MUGGLETON, S ;
DERAEDT, L .
JOURNAL OF LOGIC PROGRAMMING, 1994, 20 :629-679
[34]   PROTEIN SECONDARY STRUCTURE PREDICTION USING LOGIC-BASED MACHINE LEARNING [J].
MUGGLETON, S ;
KING, RD ;
STERNBERG, MJE .
PROTEIN ENGINEERING, 1992, 5 (07) :647-657
[35]  
MUGGLETON S, 1990, NEW GENERAT COMPUT, V8, P295
[36]  
MUGGLETON S, 1994, 11TH P INT C MACH LE, P371
[37]  
MUGGLETON S, 1994, PRGTR394 OXF U COMP
[38]  
MUGGLETON S, 1992, 2ND P IND LOG PROGR
[39]  
MUGGLETON S, 1994, GMD STUDIEN, V237, P161
[40]  
MUGGLETON S, 1994, J EXPT THEORETICAL A, V6, P127
1234567