收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

非单调推理及其应用

刘飞  
【摘要】:经典逻辑的推理形式是演绎的、单调的,一般被称为单调推理。它在解决基础理论问题时发挥了精确性与严格性等特点。但是在处理日常复杂语境下的推理问题时,基于经典逻辑的单调推理具有一定的局限性。与之相反,非单调推理具有一定的灵活性。其特点是推理结论具有暂时性。随着新情况的出现,结论可能会被更正,以便符合实际情况。单调推理与非单调推理之间的区别类似于弗雷格所提出的显微镜与眼睛在功能上的比较。即显微镜发挥了精确性的特点,有助于研究微观世界,但不具有眼睛在生活中的灵活性。然而,眼睛也不可能直接观察到只有通过显微镜才能看到的微观世界。非单调这一概念于上世纪70年代被提出来。经过学者们数十年对非单调推理的研究,逐渐形成了与单调的经典逻辑不同的非单调逻辑。两者之间最明显的差别是,单调逻辑的定理集随前提集的增加而单调递增,而非单调逻辑的定理集是随前提集的增加而 非单调递增。具体来说,在日常语境下,以已有知识和新加入的知识为前提,可以得出新结论。新结论往往会面临两种情况:要么是与已有知识无矛盾,要么是与已有知识发生矛盾。第一种情况符合单调逻辑的特点。第二种情况符合非单调逻辑的特点。对于第二种情况,如果能确保新结论符合一般事实,那么就要对已有知识做修改。从而更新知识。对已有知识不断修改,发展新知识的过程,符合人类认识世界的一般规律。一方面,非单调推理对于理解人类如何认识世界有重要启发意义。另一方面,非单调推理也可以作为一种实用的推理工具,应用于其他学科的研究中。因此,研究非单调推理具有重要意义。 研究非单调推理首先需要研究非单调逻辑系统。从逻辑学的角度,研究非单调逻辑系统的一致性与完全性等性质,可以阐明非单调推理是如何满足对推理合理性的要求。到目前为止,讨论最多的非单调逻辑系统是模态非单调逻辑和缺省逻辑等等。通过探讨这两类逻辑系统,可以深入了解模态非单调推理与缺省推理。在正文中,首先要全面了解非单调推理。通过讨论模态非单调逻辑和缺省逻辑这两种非单调逻辑系统,对非单调推理有一个整体性的认识。其次对单调推理和非单调推理之间的联系与区别有一个清楚的认识。在此基础上,深入探讨非单调推理在解决常识推理问题方面的效用和在其他学科上所具有的理论价值。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 唐玉斌;;论非单调推理在日常思维中的应用[J];毕节学院学报;2011年03期
2 林作铨;戴汝为;;纯粹理性批判与人工智能[J];计算机科学;1992年05期
3 姜云飞;;关于非单调逻辑[J];计算机科学;1988年04期
4 黄智生;;自知逻辑与非单调推理[J];计算机科学;1992年04期
5 丁惠芬,张永康;近似推理及其进展[J];管理科学学报;1995年01期
6 罗仕国;;两种推定的逻辑特征之比较[J];经济与社会发展;2007年09期
7 罗仕国;;逻辑观的嬗变与非形式逻辑的出现[J];学术论坛;2007年05期
8 孙踊,方明;耶鲁枪击案: 对非单调推理案例的分析(英文)[J];北京大学学报(自然科学版);1998年05期
9 梁庆寅,王廷利;演绎框架下实现归纳推理的一种设想[J];中山大学学报论丛;2000年02期
10 张莉敏;;国外非单调道义逻辑研究探析[J];学术论坛;2008年09期
11 罗仕国;;推定的非单调性及其适用的限界[J];广西大学学报(哲学社会科学版);2008年06期
12 李海波,王永秋;语言中的非单调推理[J];胜利油田师范专科学校学报;2003年04期
13 张立英;;概称句推理与排序[J];逻辑学研究;2009年02期
14 董英东;;多主体自认知逻辑系统[J];西南大学学报(社会科学版);2009年05期
15 王芳;;缺省逻辑研究初探[J];信阳师范学院学报(哲学社会科学版);2009年02期
16 李娜;张莉敏;;论西方可废止性道义逻辑的形式化研究及其存在的问题[J];哲学动态;2006年02期
17 董英东;;单主体自认知逻辑系统[J];毕节学院学报;2010年03期
18 林作铨;;容错推理[J];计算机科学;1993年02期
19 苏开乐;渐近实现非单调推理(英文)[J];中山大学学报论丛;2000年02期
20 David Poole;付志明;马蔺;;缺席推理的逻辑框架[J];计算机科学;1991年03期
中国重要会议论文全文数据库 前10条
1 刘奋荣;;缺省逻辑如何研究非单调推理?[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年
2 费定舟;;自动推理:它的内容、方法和意义[A];2001年逻辑研究专辑[C];2001年
3 陈雷明;邹欣;党德玉;;一种基于语义优化非单调推理的方法[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
4 肖庆文;林作铨;;一个Web站点自动生成系统[A];1999年中国智能自动化学术会议论文集(下册)[C];1999年
5 黄国芳;汪学明;;从制约逻辑到法律推理的思考[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
6 梁健;张勇;陈智健;肖庆文;于斌;沈达阳;;基于Windows NT的Intranet的研究与实现——汕头国土局房地产信息管理系统STRET[A];1998年中国智能自动化学术会议论文集(下册)[C];1998年
7 何方琨;;对偶占优推理系统的表示定理的证明[A];第十六届全国青年通信学术会议论文集(上)[C];2011年
8 陈小平;;基于信念修改逻辑的归纳支持[A];1996年逻辑研究专辑[C];1996年
9 张立英;;一种类型的概称句推理[A];2005年逻辑研究专辑[C];2005年
10 周北海;毛翊;;常识推演——常识推理的形式刻画[A];2004年逻辑研究专辑[C];2004年
中国博士学位论文全文数据库 前10条
1 刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年
2 顾红芳;常识推理中非单调逻辑的研究[D];南京航空航天大学;2001年
3 周勇;逻辑程序及其在安全协议验证中的应用[D];南京航空航天大学;2006年
4 肖文洁;知识表示与推理的若干问题研究[D];南京航空航天大学;2010年
5 刘敬学;面向指挥决策的取证支持系统研究[D];华中科技大学;2006年
6 吴梅红;基于动态认知逻辑的多主体系统知识推理研究[D];厦门大学;2009年
7 干红华;基于事件的因果关系可计算化分析研究[D];浙江大学;2003年
8 饶国政;基于语义WIKI的本体知识库研究[D];天津大学;2009年
9 李鑫;Answer Set编程及其应用研究[D];电子科技大学;2009年
10 田瑞;应急交通保障辅助决策支持系统相关模型与方法研究[D];吉林大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘飞;非单调推理及其应用[D];河南大学;2011年
2 徐辉;非单调推理基础上的基于模型诊断[D];吉林大学;2005年
3 高黎;辨证论治的非单调逻辑模型[D];内蒙古大学;2011年
4 董英东;多主体自认知逻辑系统及其应用[D];西南大学;2008年
5 李慧华;自认知逻辑AEL[D];华南师范大学;2007年
6 张兴华;基于(?)_D(·)算子的非单调后承表示定理证明的研究[D];南京航空航天大学;2008年
7 芦珊;可公理化单射占优模型类的研究[D];南京航空航天大学;2006年
8 车国海;基于ATMS的复合型脾虚证辅助诊断系统的设计和实现[D];暨南大学;2006年
9 张选逵;基于AIS的船舶避碰专家系统研究[D];上海海事大学;2006年
10 吴宇;ATMS在基于约束的产品配置问题中的研究和应用[D];上海交通大学;2007年
中国重要报纸全文数据库 前2条
1 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年
2 中山大学逻辑与认知研究所 熊明辉;逻辑与认知[N];社会科学报;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978