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

知识表示与推理的若干问题研究

肖文洁  
【摘要】:计算机要对知识和信息有效地进行处理是离不开知识表示与推理(knowledge representation and reasoning)的,知识表示与推理是人工智能符号主义流派最主要的研究内容。在知识表示与推理的研究中,逻辑扮演着重要角色。用逻辑语言对各种知识类型进行公理刻画,构造公理系统并对系统的语义、计算复杂性等方面展开研究已成为知识推理的主要研究内容。为了有效地对人工智能中出现的各种不同类型的知识与信息进行推理,学术界先后提出并研究了模糊推理、不确定推理、非单调推理以及弗协调逻辑等推理模式及其系统。这些受人工智能中问题驱动的研究借鉴了数理逻辑的研究方法与成果,同时其研究范围已远远超出经典逻辑,成为现代非经典逻辑研究的重要组成部分。 本文就知识表示与推理的若干问题进行了研究,主要研究内容包括如下方面: (Ⅰ)非充足理由推理的研究在经典逻辑中,Γ?α成立意味着Γ是α成立的充分条件,换言之,在Γ成立的前提下,α是必然成立的。在人工智能及实际应用领域,我们面临的信息往往是不完备的,此时,一味地追求经典逻辑意义上的逻辑后承是不现实的。我们更关心具有“合理”性的推理模式。本文将对一种非充足理由推理展开研究。 我们基于有限的命题语言,定义了进行非充足理由推理的背景知识——认知体。直观上,认知体就是Agent有能力判断其真假的命题的集合。本文详细研究了认知体的结构,仿照线性空间中的基底概念引入认知体的认知基概念,并证明认知体可以完全由它的认知基决定。引入了刻画认知体间认知能力强弱的序关系,并给出了相应序关系下认知基的特征。研究了认知体认知能力发生变化时,推理关系相应的演变,并基于此给出非充足理由推理关系的三条逻辑规则和分类格语义模型并证明了相应的表示定理。 为了将上述工作推广到一般语言情形,本文引入了无穷认知体及无穷认知体序列的极限,证明了几类无穷认知体序列的极限存在性,并给出一种极限的具体表达式。在有限语言非充足理由推理的三条推理规则基础上,引入一条极限推理规则用于刻画无穷语言下的非充足理由推理关系。构造了无穷认知体的分类格语义模型并证明了相应的表示定理。 (Ⅱ)有缺指派下的迭代信念修正理论研究 Agent所掌握的知识或信念不是一成不变的,而是随着外界环境或自身状态的变化而变化的。Agent理想化的认知状态是一种平衡状态。当有新的知识输入时,这种平衡状态就被破坏了,这时Agent应当调整自己的信念状态以达到一种新的平衡。这个调整的过程就是信念修正的过程。 经典的AGM信念修正理论和以D-P系统为代表的迭代信念修正理论都是以完全指派为可能世界而进行的理论研究。但是由于技术水平和认识工具的限制,在特定的时期内,人类对事物的认知不可能面面俱到。在这种情况下,采用有缺指派(即,为每个原子命题符号赋予真、假和不知道三值之一的指派)作为可能世界来研究问题就是更为合理的选择。 本文把D-P系统推广到有缺指派的情形。详细研究了有缺指派的性质并引入补充指派和补充指派间的契合度这两个概念。在此基础上对D-P系统进行了推广,建立了相应的表示定理。(Ⅲ)ES结构的相似性与等价性研究 学术界普遍认为非单调推理与信念修正是同一个硬币的两面,它们之间存在着本质的联系。以色列学者Bochman提出的认知结构(即,ES结构)概念旨在为两者提供统一的语义框架。 在逻辑系统的研究中,利用语义结构的结构性质刻画语义结构之间等价的充要条件是一个重要而且具有基础性的研究内容。Bochman提出了ES结构之间结构相似性概念,并通过ES结构的外在推理行为的一致性(即,产生相同的收缩后承)引入了刻画ES结构之间的语义等价的概念——怀疑等价。但遗憾的是,他并未就两者的内在联系进行进一步研究。本文将对此展开研究。可以验证,两相似的ES结构一定是怀疑等价的,但其逆命题不成立,即,两怀疑等价的ES结构不一定是相似的。为此,本文引入一个与怀疑等价类似的推理行为等价性概念——拟怀疑等价。进而,证明了对任意两个纯的有限ES结构M 1和M 2,它们是拟怀疑等价的当且仅当par( M 1)与par( M 2)相似,其中,par(.)是作用于ES结构的一个算子。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张燕;;描述逻辑研究进展[J];江南大学学报(自然科学版);2010年01期
2 王英伦;李磊民;黄玉清;潘泽友;;基于本体的认知无线电知识表示与推理[J];信息与电子工程;2010年06期
3 严爱军;曾宇;李强;陈建;安晓辉;殷庄子;赵明;;Agent技术及其应用[J];科技信息(科学教研);2008年23期
4 郑鑫;秦建军;陈汉辉;李伟宏;;基于可拓学的自然语言处理与系统建模研究[J];哈尔滨工业大学学报;2006年07期
5 许文艳;刘三阳;;基于可计算性逻辑的知识表示与推理[J];吉林大学学报(理学版);2009年06期
6 吴陈,夏祖勋,解洪成,吴洁;多传感器数据融合系统非单调性推理问题[J];华东船舶工业学院学报;1999年06期
7 唐朝晖;;基于非单调推理的防火墙规则一致性检测与包容[J];福建中学数学;2008年02期
8 姜云飞;;关于非单调逻辑[J];计算机科学;1988年04期
9 周生炳,戴汝为;基于标记逻辑的非单调推理(Ⅰ)[J];计算机学报;1995年09期
10 李英华;;关于模糊非单调推理系统的研究[J];海军工程大学学报;1991年04期
11 朱福喜;周祥和;;一个实用的非单调推理系统[J];计算机应用与软件;1993年02期
12 张虹霞;李英华;;人工智能非单调推理系统的研究[J];军事经济学院学报;1995年03期
13 胡久稔,王克文;诱导推理的一种计算模型[J];小型微型计算机系统;1996年11期
14 牟建华,万百五,邓方林;复杂控制系统面向对象法的诊断系统模型[J];西北纺织工学院学报;1996年04期
15 杨杰,陆正刚,施鹏飞;结合优先级和可信度的非单调真值维护系统[J];上海交通大学学报;1998年04期
16 冯嘉礼;;动态判断与非单调推理的属性重心坐标表示模型[J];计算机工程与科学;2008年10期
17 吴茂念;陈武;张明义;沈复兴;;Makinson一个公开问题的注记[J];计算机科学;2009年06期
18 熊才权;孙贤斌;欧阳勇;;辩论的逻辑模型研究综述[J];模式识别与人工智能;2010年03期
19 杨莉,胡守仁;知识库推理和维护系统(KBIMS)[J];国防科技大学学报;1991年02期
20 李英华;;模糊非单调推理系统的实现方法[J];海军工程大学学报;1992年04期
中国重要会议论文全文数据库 前10条
1 乔林;林杜;王漫;张奠成;;智能用户界面的修正Petri网模型[A];1996年中国智能自动化学术会议论文集(下册)[C];1996年
2 何方琨;;对偶占优推理系统的表示定理的证明[A];第十六届全国青年通信学术会议论文集(上)[C];2011年
3 李世楷;陈莉;李力;汤光华;周华任;;关于平稳集值随机过程的遍历性定理[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年
4 李世楷;周华任;李力;;集值条件期望的表示定理[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
5 刘奋荣;;缺省逻辑如何研究非单调推理?[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年
6 蔡燕霞;师立勤;;基于规则的专家系统在空间环境引发的航天器故障诊断中的应用[A];第十一届全国日地空间物理学术讨论会论文摘要集[C];2005年
7 江玮;张大发;陈登科;;专家系统知识表示及其在舰艇核动力装置故障诊断中的应用[A];第四届北京核学会核应用技术学术交流会论文集[C];2006年
8 王见勇;;共轭锥([L~β(μ,X)]_β~*(0<β<1))的拟表示定理[A];苏州市自然科学优秀学术论文汇编(2008-2009)[C];2010年
9 王智灵;陈宗海;周露萍;;视觉图像理解中的定性方法研究[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年
10 费定舟;;自动推理:它的内容、方法和意义[A];2001年逻辑研究专辑[C];2001年
中国博士学位论文全文数据库 前10条
1 肖文洁;知识表示与推理的若干问题研究[D];南京航空航天大学;2010年
2 顾红芳;常识推理中非单调逻辑的研究[D];南京航空航天大学;2001年
3 刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年
4 周勇;逻辑程序及其在安全协议验证中的应用[D];南京航空航天大学;2006年
5 刘敬学;面向指挥决策的取证支持系统研究[D];华中科技大学;2006年
6 吴梅红;基于动态认知逻辑的多主体系统知识推理研究[D];厦门大学;2009年
7 干红华;基于事件的因果关系可计算化分析研究[D];浙江大学;2003年
8 饶国政;基于语义WIKI的本体知识库研究[D];天津大学;2009年
9 范胜君;一类随机动力系统—倒向随机微分方程—解的存在惟一性及生成元的表示定理[D];中国矿业大学;2011年
10 麻志浩;对量子逻辑若干问题的研究[D];浙江大学;2006年
中国硕士学位论文全文数据库 前10条
1 何方琨;关于对偶占优后承表示定理的研究[D];南京航空航天大学;2011年
2 张兴华;基于(?)_D(·)算子的非单调后承表示定理证明的研究[D];南京航空航天大学;2008年
3 刘飞;非单调推理及其应用[D];河南大学;2011年
4 岳名亮;基于贝叶斯网的多维数据中不确定性知识表示与推理方法[D];云南大学;2011年
5 芦珊;可公理化单射占优模型类的研究[D];南京航空航天大学;2006年
6 黄川;非线性信念变化的研究[D];南京航空航天大学;2004年
7 徐辉;非单调推理基础上的基于模型诊断[D];吉林大学;2005年
8 毛徐新;代数L-domain的表示定理及其相关范畴的等价性[D];扬州大学;2003年
9 苏静;信念变化的多—核收缩算子研究[D];南京航空航天大学;2004年
10 李慧华;自认知逻辑AEL[D];华南师范大学;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978