楼主: 人工智能-AI
502 0

优先归纳逻辑程序的极限行为 [推广有奖]

  • 0关注
  • 10粉丝

会员

学术权威

71%

还不是VIP/贵宾

-

威望
0
论坛币
25 个
通用积分
0.0584
学术水平
0 点
热心指数
0 点
信用等级
0 点
经验
37770 点
帖子
3776
精华
0
在线时间
853 小时
注册时间
2017-9-5
最后登录
2018-4-11

楼主
人工智能-AI 在职认证  发表于 2018-1-27 01:19:59 |AI写论文

+2 论坛币
k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群
赵安豆老师微信:zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

感谢您参与论坛问题回答

经管之家送您两个论坛币!

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

原文链接:http://www.cqvip.com//QK/92035A/200704/25272386.html

送人玫瑰,手留余香~如您已下载到该资源,可在回帖当中上传与大家共享,欢迎来CDA社区交流学习。(仅供学术交流用。)

二维码

扫码加我 拉你入群

请注明:姓名-公司-职位

以便审核进群资格,未注明则拒绝

关键词:cqvip 学习算法 学术交流 HTML HTTP 归纳逻辑程序 机器学习 极限行为

您需要登录后才可以回帖 登录 | 我要注册

本版微信群
jg-xs1
拉您进交流群
GMT+8, 2025-12-9 09:52