优先归纳逻辑程序的极限行为

• 作者: 眭跃飞 许可 马世龙
• 来源期刊: 智能系统学报
• 学科: 工学
• 关键词: 归纳逻辑程序 机器学习 极限行为
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 综合评述
• 页码范围: 9-13
• 页数: 5页
• 分类号: TN911.7
• 字数: 3710字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-4785.2007.04.002

摘要

虽然对归纳逻辑程序的极限行为至今并没有深入的研究,但是通常在分析正在执行的增量式或在线归纳学习算法时,必须考虑这种程序的极限行为.某些归纳学习算法如果不考虑极限行为可能运行到最后会发生错误.如果给定一个递增的例子集合序列,一个归纳逻辑程序会产生一个相应的具有集合论极限的Horn逻辑程序序列,则此归纳逻辑程序是收敛的,并且如果该Horn逻辑程序序列关于例子集合序列的极限是极限正确的,则此归纳逻辑程序是极限正确的,还说明GOLEM系统不是极限正确的.为了解决这个问题,提出了一个极限正确的称为优先GOLEM系统的归纳逻辑系统,并证明了在一定的限制下,优先GOLEM系统的算法是极限正确的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许可	北京航空航天大学计算机学院	20	186	6.0	13.0
2	马世龙	北京航空航天大学计算机学院	58	445	8.0	20.0
4	眭跃飞	中国科学院计算技术研究所	35	313	9.0	17.0