[1]马世龙,眭跃飞,许 可.优先归纳逻辑程序的极限行为[J].智能系统学报,2007,2(4):9-13.
MA Shi-long,SUI Yue-fei,XU Ke.Limit behavior of prioritized inductive logic programs[J].CAAI Transactions on Intelligent Systems,2007,2(4):9-13.
点击复制
MA Shi-long,SUI Yue-fei,XU Ke.Limit behavior of prioritized inductive logic programs[J].CAAI Transactions on Intelligent Systems,2007,2(4):9-13.
优先归纳逻辑程序的极限行为
《智能系统学报》[ISSN 1673-4785/CN 23-1538/TP] 卷:
2
期数:
2007年第4期
页码:
9-13
栏目:
学术论文—人工智能基础
出版日期:
2007-08-25
- Title:
- Limit behavior of prioritized inductive logic programs
- 文章编号:
- 1673-4785(2007)04-0009-05
- Keywords:
- inductive logic program; machine learning; limit beha vior
- 分类号:
- TN911.7
- 文献标志码:
- A
- 摘要:
- 虽然对归纳逻辑程序的极限行为至今并没有深入的研究，但是通常在分析正在执行的增量式或在线归纳学习算法时,必须考虑这种程序的极限行为.某些归纳学习算法如果不考虑极限行为可能运行到最后会发生错误.如果给定一个递增的例子集合序列，一个归纳逻辑程序会产生一个相应的具有集合论极限的Horn逻辑程序序列，则此归纳逻辑程序是收敛的，并且如果该Horn逻辑程序序列关于例子集合序列的极限是极限正确的，则此归纳逻辑程序是极限正确的，还说明GOLEM系统不是极限正确的.为了解决这个问题，提出了一个极限正确的称为优先GOLEM系统的归纳逻辑系统，并证明了在一定的限制下，优先GOLEM系统的算法是极限正确的.
- Abstract:
- Limit behavior of inductive logic programs is an important research to pic, but it has not been deeply explored until now. When running incremental or online inductive learning algorithms on a computer, limit behavior should be tak en into account. An example is given to show that some inductive learning algori thms may produce errors in the long run if limit behavior is not considered. An inductive logic program is convergent if, given an increasing sequence of exampl e sets, the inductive logic program creates a corresponding sequence of Horn log ic programs which have the settheoretic limit. Furthermore, it is limitcorre ct if the limit of the sequence of the Horn logic programs is correct with respect to the limit of the sequence of the example sets. Two examples show that the GO LEM system is not limitcorrect. Finally, we propose an inductive logic program which is limitcorrect, called the prioritized GOLEM system. It i s proved that the prioritized GOLEM is limitcorrect under certain constraints.
- 参考文献/References:
-
［1】 BERGADANO F,GUNETTI D.Inductive logic programming: from machine learning to software engineering［M］.London：The MIT Press，1996.
［2］DAHR M.Deductive eatabases: theory and applications［M］.Boston:Internation al Tho mson Computer Press，1997.
［3］FITTING M.MeETRIC methods，three examples and a theorem［J］.J of Logic Pr o gramming, 1994，21：113-127.
［4］LI W.An open logic system［J］.Science in China (Scientia Sinica) (series A )，1992(10)：1103-1113.
［5］LI W.A logical framework for inductive inference and its rationality［Ａ］ . Advanced Topics in Artificial Intelligence，LNAI 1747［C］.Berlin:Springer， 19 99.
［6］LLOYD J W.Foundations of logic programming［M］.Berlin：SpringerVerlag， 19 87.
［7］MA S,SUI Y,XU K.The limits of the horn logic programs［A］.Lecture Notes in Co mputer Science (LNCS)［C］.［S.l.］,2005.
［8］MUGGLETON S,FENG C.Efficient inductive of logic programs［A］.Proc of the First Conf on Algorithmic Learning Theory［C］.Tokyo，1990.
【9］NIENHUYSCHENG S H.Distances and limits on herbrand interpretations［A］. Proc of the 8th International Workshop on Inductive Programming，LNAI 1446［C］. Spri nger，1998.
［10］PLOTKIN G.A note on inductive generalization［J］. Machine Intelligence， 1970，5：153-163.
- 相似文献/References:
-
[1]叶志飞,文益民,吕宝粮.不平衡分类问题研究综述[J].智能系统学报,2009,4(2):148.
YE Zhi-fei,WEN Yi-min,LU Bao-liang.A survey of imbalanced pattern classification problems[J].CAAI Transactions on Intelligent Systems,2009,4():148.
[2]刘奕群,张 敏,马少平.基于非内容信息的网络关键资源有效定位[J].智能系统学报,2007,2(1):45.
LIU Yi-qun,ZHANG Min,MA Shao-ping.Web key resource page selection based on non-content inf o rmation[J].CAAI Transactions on Intelligent Systems,2007,2():45.
[3]姚伏天,钱沄涛.高斯过程及其在高光谱图像分类中的应用[J].智能系统学报,2011,6(5):396.
YAO Futian,QIAN Yuntao.Gaussian process and its applications in hyperspectral image classification[J].CAAI Transactions on Intelligent Systems,2011,6():396.
[4]文益民,强保华,范志刚.概念漂移数据流分类研究综述[J].智能系统学报,2013,8(2):95.[doi:10.3969/j.issn.1673-4785.201208012]
WEN Yimin,QIANG Baohua,FAN Zhigang.A survey of the classification of data streams with concept drift[J].CAAI Transactions on Intelligent Systems,2013,8():95.[doi:10.3969/j.issn.1673-4785.201208012]
[5]杨成东,邓廷权.综合属性选择和删除的属性约简方法[J].智能系统学报,2013,8(2):183.[doi:10.3969/j.issn.1673-4785.201209056]
YANG Chengdong,DENG Tingquan.An approach to attribute reduction combining attribute selection and deletion[J].CAAI Transactions on Intelligent Systems,2013,8():183.[doi:10.3969/j.issn.1673-4785.201209056]
[6]胡小生,钟勇.基于加权聚类质心的SVM不平衡分类方法[J].智能系统学报,2013,8(3):261.
HU Xiaosheng,ZHONG Yong.Support vector machine imbalanced data classification based on weighted clustering centroid[J].CAAI Transactions on Intelligent Systems,2013,8():261.
[7]丁科,谭营.GPU通用计算及其在计算智能领域的应用[J].智能系统学报,2015,10(1):1.[doi:10.3969/j.issn.1673-4785.201403072]
DING Ke,TAN Ying.A review on general purpose computing on GPUs and its applications in computational intelligence[J].CAAI Transactions on Intelligent Systems,2015,10():1.[doi:10.3969/j.issn.1673-4785.201403072]
[8]孔庆超,毛文吉,张育浩.社交网站中用户评论行为预测[J].智能系统学报,2015,10(3):349.[doi:10.3969/j.issn.1673-4785.201403019]
KONG Qingchao,MAO Wenji,ZHANG Yuhao.User comment behavior prediction in social networking sites[J].CAAI Transactions on Intelligent Systems,2015,10():349.[doi:10.3969/j.issn.1673-4785.201403019]
[9]姚霖,刘轶,李鑫鑫,等.词边界字向量的中文命名实体识别[J].智能系统学报,2016,11(1):37.[doi:10.11992/tis.201507065]
YAO Lin,LIU Yi,LI Xinxin,et al.Chinese named entity recognition via word boundarybased character embedding[J].CAAI Transactions on Intelligent Systems,2016,11():37.[doi:10.11992/tis.201507065]
[10]钱冬,王蓓,张涛,等.结合Copula理论与贝叶斯决策理论的分类算法[J].智能系统学报,2016,11(1):78.[doi:10.11992/tis.201509011]
QIAN Dong,WANG Bei,ZHANG Tao,et al.Classification algorithm based on Copula theory and Bayesian decision theory[J].CAAI Transactions on Intelligent Systems,2016,11():78.[doi:10.11992/tis.201509011]
备注/Memo
收稿日期：2006-11-12.
作者简介：
马世龙，男，1953年生，教授，主要研究方向为网络环境下计算研究、 海量信息处理计算模型研究、网格计算技术及其应用研究，发表学术论文30余篇. E-mail:slma@nlsde.buaa.edu.cn.
更新日期/Last Update:
2009-05-07