基于论辩理论溯因推理的研究

《基于论辩理论溯因推理的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、论文作者签名：余链指导教师签名：论文评阅人1：奎：叵盛∑麴捶∑逝江太堂蜇堂丕评阅人2：全童∑麴援∑逝江太堂蜇堂丕评阅人3：堑丝邀∑副麴援∑逝选抖堇堂医笪息量电王王猩堂医评阅人4：评阅人5：答辩委员会主席：委员1：委员2：委员3：委员4：委员5：浙江大学研究生学位论文独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得逝姿盘鲎或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任

2、何贡献均已在论文中作了明确的说明并表示谢意。学位论文作者签名：余钝签字目期；训l弓年6月乙日学位论文版权使用授权书本学位论文作者完全了解澎婆盘堂有权保留并向国家有关部门或机构送交本论文的复印件和磁盘，允许论文被查阅和借阅。本人授权逝些盘堂可以将学位论文的全部或部分内容编入有关数据库进行检索和传播，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。(保密的学位论文在解密后适用本授权书)学位论文作者签名：篇丧苫皂导师签名：彩乡签字日期：2／ol弓年5月L日签字日期：伽∥年f月乙日浙江大学硕士学位论文致谢如果将论文写作的过程比

3、作登山，那么，一字一句的敲打就仿佛那一步步的攀爬，时而从容，时而蹒跚，有时自信向前，有时犹疑彷徨。脚下的路永远属于自己，无人能替。然而，在此道路上如果没有得到一些人的指点和鼓励，那么本文的写作过程将困难重重、寸步难行。在此，向他们一一表达感谢。首先，我要感谢我的导师廖备水老师。入学之初，从外专业来到逻辑学的我对自己的方向满是迷茫、疑虑和懵懂，廖老师不仅以耐心和宽容接纳，从点滴知识开始传授，一步步领我入门，而且以自己勤奋严谨的治学态变、积极乐观的精神感染了我。他的教导和鼓励使我找到了信心，他的期许常常是我前进的动力，而他的行为

4、则成为了我的榜样。本文的写作是在与廖老师的讨论中完成的，他对本文提出了许多有益的意见和建议。其次，感谢本专业的黄华新老师、金立老师、胡龙彪老I节、徐慈华老师。他们不仅向我传授了语言逻辑、符号学、语属学等各方面与专业相关的基础知识，为本文的构思和写作带来了许多灵感和启发，而旦在两年时光中护航左右，督促指点，从学习和生活上亲切地关心着我和其他同学。在本文修改过程中，金立老师对本文的结构提出了很好的修改建议，并指出了若子细节上的了：足。最后，我必须感谢这两午来招伴左右的同窗。他们是我的战友，我的朋友，是一路互相鼓励偕行的人，也是我

5、比照自己身上不足之赴的镜子；迎们兼当了我的玩伴和学伴，有时还客串我的老师。她们是自家兄最月曼的应腾师兄，乐于助人的毛卓伟师兄，亲切活泼的赵梦媛师姐，同时入学和毕业、相伴最多的姚曼姑娘，以及爽直的雷丽赞师姐、大方的黄澄澄师姐、聪明可爱的部萌、余月秋两位师妹和克忠职守的支部书记薛磊师弟。同学之闯轻松愉快的相聚探讨使本文获益良多。感谢这两年的时光磨砺了我，也感谢这两年的自己坚持到底。不积跬步，无以至千里，本文的完成，只是微不足道的一次新手短途历险，然而仅对笔者来说，也算得上是颇具意义的一块出征里程碑。在学术旅途上，我希望回首时，这

6、座不起眼的小山丘早日被林立的山峰湮没。浙江大学硕士学位论文摘要溯因推理是人们日常生活中常常使用的一种推理形式，在科学发现等方面的作用也十分重要。溯因推理是一种或然性推理，具有非单调性特点，其结论具有可废止性。而传统的溯因推理模型并不能体现溯因推理的这一特点。为弥补这个缺陷，本文的思路是基于论辩理论(一种非单调推理方法)来研究溯因推理。文中从论辩系统的表示(基于可废止逻辑的方法)、论辩的语义(基于外延的方法)和论辩系统语义求解(基于论证博弈)三个方面介绍了所要使用的论辩理论。在论辩理论的基础上，本文以一个简单的常识推理和一个法

7、律案例中一件证据的分析过程为例，尝试刻画出其中的溯因推理机制并进行推理，以期借助论辩系统的诸多优点弥补传统溯因模式的一些不足。文中案例分析的主要思路是：首先，根据溯因推理的特点，从观察信息和解释性假设出发，结合推理规则，构造论证；然后，先比较相互?中突的论证间的强弱关系，决定哪些论证是站得住脚的，拒绝那些无法防御的论证；最后，基于溯因推理的三条评估标准，评估假设是否可取、孰为更『尤，择出“最佳解释”。其中还有许多需要更进一步探讨的地方，如怎样将溯因推理的评估标准融入论证强弱的评估标准当中，使溯因推理的特点与论辩的方法结合得更

8、紧密。本文对两个案例的分析只是一项初步的尝试，因此，在许多复杂问题上尚缺乏深入研究。本文在最后一章指出了研究中的不足之处，并提出了对未来进一步研究的展望。关键词：溯因推理；非单调推理；论辩理论；因果推理AbstractAbductivereasoningisnotonlycommonlya