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

摘要：

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

关键词：归纳逻辑程序、机器学习、极限行为

所属期刊栏目：2

分类号：TN911.7

在线出版日期：2007-10-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：9-13