约束归纳逻辑程序设计的研究
Keywords: 约束 ,归纳逻辑程序设计 ,约束归纳逻辑程序设计
Abstract:
提出并讨论了从正负例和背景知识学习含有约束的一阶谓词公式的约束归纳逻辑程序设计方法．该方法以国际上具有代表性的ＩＬＰ系统Ｐｒｏｇｏｌ为基础，加入我们自己的学习约束的新方法，在不需要用户诱导的情况下，经过对正负例的比较与推导，学习出覆盖正例而排斥负例的含约束的Ｈｏｒｎ子句程序，同时介绍了这个ＩＬＰ系统的实现算法和应用实例．
References
[1] 4 Sebag M, Rouveirol C. Induction of maximally general clauses compatible with integrity constraints. InStefan Wrobel, Proc of Fourth International Workshop on Inductive Logic Programming, 1994 [2] 7刘椿年,曹德和.PROLOG语言它的应用与实现.北京:科学技术出版社, 1990 [3] 8刘椿年 BPU_CLP:一个多重论域的约束逻辑程序设计系统及其部分演绎.软件学报, 1996, 10: 303～309 [4] 9 Quinlan J K Induction of decision trees. Machine teaming, 1996(1). 81-106 [5] 1 Muggleton S. Inductive Logic Programming. Academic Press, 1992 [6] 2 Muggleton S. Inverse Entailment and Progol. New Generatin Computing, 1995(13). 245-286 [7] 3 Sebag M Rouveirol C. Constraint Inductive Logic Programming. Advances in ILP. lOS Press, 1996.277-294 [8] 5 Jaffar J, Maher M J. Constraint logic programming, a survey. Journal of Logic Programming, 1994.503-581
Full-Text
