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

非单调推理的逻辑研究

刘奋荣  
【摘要】: 人工智能的目的在于使计算机智能化,推理是智能最集中的体现,所以研究推理的模型是人工智能的主题。非单调推理是人们日常推理的重要形式,它的特点是推理结论是暂时性的,随着新信息的出现,结论会被废止。这种推理充分体现了日常推理的灵活性。因为经典逻辑是单调的,即定理集随前提集的增加而单调递增,因此,用经典逻辑不足以刻画非单调推理的特性。 从20世纪70年代以来,研究者们基于不同的直觉对非单调推理进行了详尽的研究,涌现出一系列的新逻辑,我们把它们通称为非单调逻辑,D.McDermott和J.Doyle在1980提出的非单调逻辑Ⅰ是在经典一阶逻辑的基础上引进一个模态算子M,如果P与理论是一致的,那么MP是真的。在非单调逻辑Ⅰ中的推演关系是经典的推演关系,如果理论Г有扩张,那么Г的定理集是它的所有扩张的交集:如果Г没有扩张,那么它的定理集是整个语言。紧致性定理在非单调逻辑Ⅰ中不成立。由于非单调逻辑Ⅰ中出现了一些与直觉相悖的情形,为此,D.McDermott于1982提出了一组更强的非单调逻辑,称为非单调逻辑Ⅱ。他保留了早期系统的大部分思想,但是,非单调逻辑Ⅱ是建立在不同的正规模态逻辑(T,S4和S5)基础上的,从而避免了非单调逻辑Ⅰ中出现的许多问题。但是,在以S5为基础的非单调逻辑中,我们可以证明:对于任意的理论Г,所以S5的非单调逻辑坍塌为单调的S5系统,D.McDermott还用可能世界语义来刻画扩张的概念。R.C.Moore在1983年提出了自认知逻辑,自认知逻辑是研究有反思能力的主体的相信,自认知逻辑的语言是在经典命题逻辑语言中加入一个模态算子L。LP的直观解释是“相信P”。他以稳定集的概念为基础提出了稳定的膨胀来描述一个主体在给定前提集的情况下所拥有的相信集。他认为以模态系统K45为基础的非单调逻辑是合适的选择,K.Konolige(1988)给出了这个断定的严格证明。R.C.Moore最初给自认知逻辑提供的形式语义与我们的直观解释很相似,随后,他又给自认知逻辑提供了可能世界语义学。R.Reiter在1980年建立的缺省逻辑是最著名的一种非单调逻辑,缺省逻辑中,是把非单调规则表示为特定的语言表达式,称为缺省,Reiter重点研究了闭正规缺省理论,因为在闭正规缺省理论中可以保证扩张的存在性。 在阐述了几种非单调逻辑之后,本文从抽象的语法角度考察非单调的推理关系,即研究从信息A可以非单调地推出哪些公式,与单调的推理关系相比较,非单调推理关系具有很多有趣的语法性质。Y.Shoham(1987)、K.Schlechta(1997)从模型论的角度研究非单调推理,建立了优先模型理论,优先模型以任意的经典逻辑为基础,优先标准的根据在于解释上的偏序关系,用这种模型可以解释我们前面提到的缺省逻辑、模态非单调逻辑。同时,各种非单调逻辑之间的关系也受到了普遍的关注,G.Shvarts(1990)对非单调逻辑Ⅱ与自认知逻辑之间的关系进行研究,得到一个结论:自认知逻辑是非单调逻辑Ⅱ的一个特例。K.Konolige(1987)、W.Marek和M.Truszcznski(1989)对缺省逻辑和自认知逻辑的关系进行研究,得到的结论是:这两个系统是形式等价的。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 王廷利;;非单调逻辑综述[J];中山大学研究生学刊(社会科学版);1997年03期
2 吴洪博,马巧云;基于L~*系统的一种非单调推理系统[J];陕西师范大学学报(自然科学版);2004年04期
3 姜云飞;;关于非单调逻辑[J];计算机科学;1988年04期
4 王芳;;缺省逻辑研究初探[J];信阳师范学院学报(哲学社会科学版);2009年02期
5 王以亮;;省缺逻辑 自知逻辑及其统一[J];思维与智慧;1992年03期
6 廖开洪;;会话含义推导中的非单调逻辑属性[J];外语教学;2005年06期
7 熊明辉;;非形式逻辑的对象及其发展趋势[J];中山大学学报(社会科学版);2006年02期
8 苏开乐;渐近实现非单调推理(英文)[J];中山大学学报论丛;2000年02期
9 王任环;李健;;广告语用推理研究(英文)[J];语文学刊;2008年11期
10 白硕;;认知硬度与默认分层理论[J];计算机科学;1993年02期
11 廖开洪;;会话含义学说的哲学逻辑思考[J];外语学刊;2006年05期
12 王湘云;;逻辑学在人工智能中的应用[J];新乡师范高等专科学校学报;2007年04期
13 徐盛桓;含意与合情推理[J];外语教学与研究;2005年03期
14 J·F·斯密司,章士嵘;认知科学时代的逻辑和语言[J];哲学研究;1987年09期
15 宋伟;;弗雷格、Prolog与一种经验逻辑观[J];哲学动态;2010年09期
16 王玮;;“国际逻辑会议LOGIC2009”会议综述[J];逻辑学研究;2009年03期
17 林作铨;戴汝为;;纯粹理性批判与人工智能[J];计算机科学;1992年05期
18 洪家荣;;知识进化和高级思维过程的逻辑基础[J];计算机科学;1993年06期
19 唐玉斌;;论非单调推理在日常思维中的应用[J];毕节学院学报;2011年03期
20 金雅芬;;不完全信息下的推理——一篇重要的研究报告[J];计算机科学;1992年06期
中国重要会议论文全文数据库 前3条
1 黄国芳;汪学明;;从制约逻辑到法律推理的思考[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
2 何方琨;;对偶占优推理系统的表示定理的证明[A];第十六届全国青年通信学术会议论文集(上)[C];2011年
3 贺寿南;;法律视野中的缺省论证[A];第十六届全国法律逻辑学术讨论会论文(成就·反思·前瞻——中国法律逻辑三十年)[C];2008年
中国博士学位论文全文数据库 前5条
1 章衡;非单调逻辑的可判定性与可译性[D];清华大学;2011年
2 刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年
3 顾红芳;常识推理中非单调逻辑的研究[D];南京航空航天大学;2001年
4 肖文洁;知识表示与推理的若干问题研究[D];南京航空航天大学;2010年
5 刘莹;智能规划与规划识别中若干重要问题的研究[D];东北师范大学;2013年
中国硕士学位论文全文数据库 前10条
1 高黎;辨证论治的非单调逻辑模型[D];内蒙古大学;2011年
2 芦珊;可公理化单射占优模型类的研究[D];南京航空航天大学;2006年
3 郝璐璐;命题信念集的非修正处理方法研究[D];大连海事大学;2013年
4 刘飞;非单调推理及其应用[D];河南大学;2011年
5 王春丽;试论法律应用中推理的可废止性[D];西南大学;2011年
6 李虎阳;一种基于回答集程序的多方协商方法研究[D];西南大学;2013年
7 何方琨;关于对偶占优后承表示定理的研究[D];南京航空航天大学;2011年
8 尚颖;常识推理中不一致信念的定量非修正处理方法[D];东北师范大学;2002年
9 张玲;数字现金协议及逻辑验证[D];国防科学技术大学;2002年
10 桑丘;智能体行动推理中的信念改变的研究[D];江苏大学;2010年
中国重要报纸全文数据库 前2条
1 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年
2 中山大学逻辑与认知研究所 熊明辉;逻辑与认知[N];社会科学报;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978