归属演算下归纳学习初探
发布时间：2021-11-13 16:00
人工智能研究的是智能行为的机制,它通过构造和评估具有智能行为的人工制品来研究智能。机器学习系统根据环境数据,通过一定的学习方法,获得处理某问题的方法。在机器学习领域中,归纳学习是指给定一个描述语言,智能体根据给定的语言所描述的符号数据,通过一定的搜索方法,获得一个一般概念、规则或理论的过程。归属演算就是可以表示归纳学习过程的一种描述语言,它由计算机科学家米哈尔斯基所介绍,以“属性和属性值的关系”为基础进行形式化,并给出了多于二值逻辑的多种解释模式。算法要做的就是问题求解,所以算法就是求解问题的过程描述。归纳学习过程聚焦到某类归纳学习问题时,就可以通过归纳学习算法来描述。归纳学习算法在重言蕴涵的基础上定义了泛化和特化两种相反操作符,从而定义了泛化规则。本文就是在结合归属演算和泛化规则的基础上,尝试将归属演算运用于简单的候选消除算法,从而在解决人工神经网络难解释性的指导下,探索归纳学习和人工神经网络结合的可能性。归属演算表示归纳学习的反思表明,对于泛化符等符号来说,它有归纳、属性关系、操作符和函数的解释。对一种符号具有多种解释方式,既是基于计算机实践需要的逻辑语言有表示力强的优点,也是具有...
【文章来源】：湘潭大学湖南省
【文章页数】：58 页
【学位级别】：硕士
【部分图文】：
事件空间和CM(E)训练实例②其中X，X为属性，横纵坐标的0，1为属性值
11图 2-3 训练事件和泛化描述①每一个方框表示了一个命题决策规则，可以由一个规则集来表示一个概念描述，(b到(d)的概念描述表示了从(a)的假定泛化。通过图可以得到命题规则 S1到 S3：S1: ~x~y => c, xz => c, x~yw =>cS2: ~x~z~w =>c, xyzw => c, z~w => c, x~zw => c, x~yw => cS3: ~x~w => c, z~w => c, xw => cS1和 S2表示了不同的概念，S2和 S3表示完全相同的概念，但是在复杂度上不同。虽然 S3比 S1更简单，但是选择 S1还是 S3是未知的，因为更简单不表明 S3比 S1在运用新数据时更准确。虽然 S1更复杂，但也有可能过拟合。S2和 S3可以根据逻辑规则判定等价。上例表明简单的训练集也可以产生不同的泛化，相同的概念描述在① Michalski R S.Attributional Calculus:Alogic and representation language for Natural Induction[J]. MachineLearning and Inference Laboratory Reports, 2004(3): 19
图 2-4 表 2-1 给定正反例的康托图示例易知，如果 e4为正例可以学习到 round 概念，如果 e4为反例则不能。如图用数示属性值，那么在 e4为正例下，在 Post 的三值逻辑 P3①表示语言下，用规则表习 round 的概念描述可以为：S4：shape => roundS5: shape∧~type => round, shape∧~~type => round以理解为，事件 e 中 shape 属性只要值为 1，那么根据重言蕴涵（=>不是实质），就可得到 round 值为 1。它表示大圆的上半部分。因为 Pm中否定定义为：(2-4)，e1中 type 属性值为 0，~type 值为 1，表示同心圆中最小的部分，再和大圆上分相交得到 round 概念的一部分。同理，shape∧~(~type)表示中间同心圆的上半。这样，就得到 S5描述的 round 概念。可以发现，S5是 S4的子集但是它们都描1 0u101uu um = = ≠ ，如果，如果
【参考文献】：
期刊论文
[1]归纳逻辑程序设计综述[J]. 戴望州,周志华. 计算机研究与发展. 2019(01)
[2]智能可计算性思想的发展[J]. 张寅生,蔡曙山. 贵州民族大学学报(哲学社会科学版). 2017(01)
[3]走向综合的计算主义[J]. 赵小军. 哲学动态. 2014(05)
[4]哥德尔不完全性定理的哲学思考[J]. 谢佛荣. 系统科学学报. 2012(01)
[5]基于谓词逻辑的Prolog程序设计[J]. 李娜,王湘云. 西南大学学报(社会科学版). 2009(06)
[6]基于高阶逻辑的复杂结构归纳学习研究[J]. 李琳娜,杨炳儒,周法国. 计算机科学. 2008(09)
[7]逻辑与归纳逻辑程序设计[J]. 熊立文. 哲学动态. 2007(03)
[8]人工智能的逻辑极限[J]. 刘晓力. 逻辑研究专辑. 2001(00)
[9]归纳逻辑及其在归纳学习中的应用问题[J]. 王雨田. 软件学报. 1993(06)
[10]弗雷格哲学思想述论[J]. 汪堂家. 哲学研究. 1986(06)
硕士论文
[1]归纳逻辑程序设计初探[D]. 谢颖.北京师范大学 2008
本文编号：3493304
【文章来源】：湘潭大学湖南省
【文章页数】：58 页
【学位级别】：硕士
【部分图文】：
事件空间和CM(E)训练实例②其中X，X为属性，横纵坐标的0，1为属性值
11图 2-3 训练事件和泛化描述①每一个方框表示了一个命题决策规则，可以由一个规则集来表示一个概念描述，(b到(d)的概念描述表示了从(a)的假定泛化。通过图可以得到命题规则 S1到 S3：S1: ~x~y => c, xz => c, x~yw =>cS2: ~x~z~w =>c, xyzw => c, z~w => c, x~zw => c, x~yw => cS3: ~x~w => c, z~w => c, xw => cS1和 S2表示了不同的概念，S2和 S3表示完全相同的概念，但是在复杂度上不同。虽然 S3比 S1更简单，但是选择 S1还是 S3是未知的，因为更简单不表明 S3比 S1在运用新数据时更准确。虽然 S1更复杂，但也有可能过拟合。S2和 S3可以根据逻辑规则判定等价。上例表明简单的训练集也可以产生不同的泛化，相同的概念描述在① Michalski R S.Attributional Calculus:Alogic and representation language for Natural Induction[J]. MachineLearning and Inference Laboratory Reports, 2004(3): 19
图 2-4 表 2-1 给定正反例的康托图示例易知，如果 e4为正例可以学习到 round 概念，如果 e4为反例则不能。如图用数示属性值，那么在 e4为正例下，在 Post 的三值逻辑 P3①表示语言下，用规则表习 round 的概念描述可以为：S4：shape => roundS5: shape∧~type => round, shape∧~~type => round以理解为，事件 e 中 shape 属性只要值为 1，那么根据重言蕴涵（=>不是实质），就可得到 round 值为 1。它表示大圆的上半部分。因为 Pm中否定定义为：(2-4)，e1中 type 属性值为 0，~type 值为 1，表示同心圆中最小的部分，再和大圆上分相交得到 round 概念的一部分。同理，shape∧~(~type)表示中间同心圆的上半。这样，就得到 S5描述的 round 概念。可以发现，S5是 S4的子集但是它们都描1 0u101uu um = = ≠ ，如果，如果
【参考文献】：
期刊论文
[1]归纳逻辑程序设计综述[J]. 戴望州,周志华. 计算机研究与发展. 2019(01)
[2]智能可计算性思想的发展[J]. 张寅生,蔡曙山. 贵州民族大学学报(哲学社会科学版). 2017(01)
[3]走向综合的计算主义[J]. 赵小军. 哲学动态. 2014(05)
[4]哥德尔不完全性定理的哲学思考[J]. 谢佛荣. 系统科学学报. 2012(01)
[5]基于谓词逻辑的Prolog程序设计[J]. 李娜,王湘云. 西南大学学报(社会科学版). 2009(06)
[6]基于高阶逻辑的复杂结构归纳学习研究[J]. 李琳娜,杨炳儒,周法国. 计算机科学. 2008(09)
[7]逻辑与归纳逻辑程序设计[J]. 熊立文. 哲学动态. 2007(03)
[8]人工智能的逻辑极限[J]. 刘晓力. 逻辑研究专辑. 2001(00)
[9]归纳逻辑及其在归纳学习中的应用问题[J]. 王雨田. 软件学报. 1993(06)
[10]弗雷格哲学思想述论[J]. 汪堂家. 哲学研究. 1986(06)
硕士论文
[1]归纳逻辑程序设计初探[D]. 谢颖.北京师范大学 2008
本文编号：3493304
本文链接：https://www.wllwen.com/kejilunwen/zidonghuakongzhilunwen/3493304.html
