莱拉溯因研究探析

发布时间：2017-08-31 08:07

  本文关键词：莱拉溯因研究探析

  更多相关文章： 溯因推理 逻辑树方法 Global法和Local法 因果层级

【摘要】：溯因推理是一种找寻对于反常现象的解释的推理行为,是在拥有不完全信息情境中进行的推理。在这里反常现象是指超出人们预期心理或者知识范围的现象,因此,溯因往往发生在新经验与已有经验或认知冲突而想给出合理解释之时。真正提出这种推理形式并把它和演绎、归纳并列为推理种类之一的是美国的逻辑学家和哲学家皮尔士(Charles Sanders Peirce),他奠定了溯因逻辑的正式地位并且率先提出其刻画模式——三段论形式。在对于溯因研究的成果转化方面,皮尔士从逻辑学视角开创了“研究经济学”,是逻辑基础学科指导应用学科的典范。随着人工智能研究的蓬勃发展,特别是逻辑编程、知识聚合、专家诊疗等领域的发展使得沉寂一段时间的溯因研究在当代又逐步得到复兴,当下溯因研究更加注重对于形式刻画的程序化、系统化,着力于细致模仿人类认知过程,增强机器学习(Machine Learning)能力。莱拉(Atocha Aliseda LLera)是研究溯因逻辑的专家,不同于当下主流的研究惯性,喜欢借助模态或数学概率工具描述溯因推理,她选择另辟蹊径运用闭合逻辑树方式探讨溯因推理的推理步骤,并且成功将其程序化。其最可贵之处在于没有如一般思维一样将眼光局限于纠结e|-Φ中是否成立,而是运用转化思维转而探究θ∪{(?)Φ}的逻辑树是否闭合,继而寻找使其闭合的条件,即证明X就是证明(?)X的逻辑树关闭。但对于过于复杂的逻辑树,遍历会呈几何倍数增长。对于信念修正,莱拉提出在新信息与旧信息库矛盾时,可以有两种修正方式：整体策略(global strategy)和局部策略(local strategy)。他们的区别在于前者是直接删掉冲突方之一,后者是用“T”代替某一公式的分支。两种方法各有利弊,整体策略改动更大,更为彻底,某些情况更为简便；局部策略变动较小,但容易冗余。通过反思皮尔士和莱拉关于溯因的思想,论文提出如下想法：因为存在因果链,所以原因是有层级之分的,这某种程度上决定了溯因的不定性。溯因的关键是尽量扩充背景知识,背景理论的扩充和溯因的价值存在此消彼长,这是一种经济上的妥协。溯因推理是在收集更多辅证中辗转前行,每一阶段都是下一阶段的上一层级。究极的溯因是对于封闭系统最终的极大扩充。
【关键词】：溯因推理 逻辑树方法 Global法和Local法 因果层级
【学位授予单位】：南京大学
【学位级别】：硕士
【学位授予年份】：2016
【分类号】：B812.23
【目录】：

• 中文摘要3-5
• Abstract5-8
• 引言8-10
• 一、什么是溯因?从皮尔士说起10-19
• (一) 皮尔士的逻辑观10-11
• (二) 作为逻辑学的溯因推理研究11-15
• (三) 溯因研究的跨学科意义15-19
• 二、莱拉溯因研究主体——逻辑树程序19-34
• (一) AI程序基础19-20
• (二) 莱拉的溯因三元体系刻画20-22
• (三) 用逻辑树的方法验证溯因推理22-29
• (四) 不同溯因种类的运算程序29-33
• (五) 逻辑树方法是完美的吗?33-34
• 三、莱拉论溯因中信念修正的global与local算法34-45
• (一) 信念修正理论34-35
• (二) D—N模型与I—S模型35-39
• (三) 背景理论修改：信念修正的global与local算法39-45
• 四、几点批判性思考45-53
• (一) 皮尔士理论的缺陷45-47
• (二) 对莱拉溯因研究的几点认识47-49
• (三) 对于溯因研究的进一步思考49-53
• 结语53-55
• 参考文献55-58
• 后记58-61

【相似文献】

中国期刊全文数据库 前10条

1 李静;;悼念《读者文摘》创始人——莱拉·阿奇逊·华莱士[J];文化译丛;1985年04期

2 郅溥浩;马杰侬和莱拉,其人何在?─—关于原型、类型、典型的例证[J];外国文学评论;1995年03期

3 Plain White T's;童桦;;迪莱拉，你好吗[J];疯狂英语(中学版);2008年01期

4 刘全敏;;《灿烂千阳》中莱拉的成长之旅[J];短篇小说(原创版);2013年11期

5 文军;;女承父志闯拳坛——拳王阿里之女莱拉·阿里[J];世界博览;1999年07期

6 丁淑红;母题与嬗变——“盖斯和莱拉”故事分析[J];南京师范大学文学院学报;2004年02期

7 夏花;;《骨》中莱拉的文化身份诉求[J];科技信息;2009年30期

8 赵妍;;寻找新的自我——伍惠明《骨》中莱拉的文化认同的解读[J];重庆文理学院学报(社会科学版);2008年02期

9 段启涛;江城插访莱拉·约瑟夫维兹[J];视听技术;1998年06期

10 阿碧丝;蝈蝈;;莱拉的动机[J];今古传奇(奇幻版上半月版);2009年04期

中国重要报纸全文数据库 前10条

1 ;基因巨头塞莱拉 看重利润 寻找暴富秘方[N];市场报;2001年

2 一文;莱拉·阿里成为三冠王[N];中国体育报;2002年

3 毛磊;“基因巨头”战略调整的背后[N];中华工商时报;2002年

4 新华社记者 毛磊;“基因巨头”战略调整的背后[N];科技日报;2002年

5 陈列欢;雅培与塞莱拉在癌症领域进行合作[N];医药经济报;2004年

6 王晶;为与父亲靠得更近[N];中国体育报;2001年

7 李郁;莱拉克·迪克斯特拉：从病愈中的自拍像开始[N];中国摄影报;2007年

8 奇　云;科学怪才文特尔[N];大众科技报;2003年

9 奇云;科学怪才文特尔[N];大众科技报;2003年

10 克坚;钱途无限？小鼠基因要收费 另辟蹊径？放弃研究蛋白质[N];中国高新技术产业导报;2001年

中国硕士学位论文全文数据库 前4条

1 吴s，

本文编号：764421