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

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

肖文洁  
【摘要】:计算机要对知识和信息有效地进行处理是离不开知识表示与推理(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 刘弘,孙文星,刘希玉;一个多Agent设计概念学习系统[J];西南师范大学学报(自然科学版);2001年04期
2 潘昊,江朝华,钟珞;砼耐久性专家系统总体结构设计[J];武汉理工大学学报;2004年11期
3 李晶;数字电路虚拟实验室的设计[J];哈尔滨师范大学自然科学学报;2004年06期
4 张文学,朱乃立;知识表示在牡丹栽培技术专家系统中的应用[J];计算机工程;2005年17期
5 冯若富;王儒敬;魏圆圆;;基于Agent和XML的智能农业信息平台设计实现[J];计算机应用;2005年S1期
6 史春秀;;基于本体的知识形式化表示[J];山西师范大学学报(自然科学版);2007年02期
7 贾海涛;潘正华;;基于中介逻辑的带有三种否定的RDF扩展[J];计算机应用与软件;2011年03期
8 姜跃;;基于可拓理论的不相容问题的求解初探[J];云南民族大学学报(自然科学版);2011年02期
9 李桂青,钟珞,盛苏华;知识表示的标志图法[J];微机发展;1993年06期
10 齐润东,王励,毛权,舒宜强,周济;基于框架的面向对象的雷达系统方案设计知识表示[J];系统工程与电子技术;1993年06期
11 白素怀,张焱;基于知识的智能型决策系统[J];现代电子技术;1994年04期
12 艾丽蓉,刘西洋,何华灿;设计模式中知识表示的引入[J];西北工业大学学报;2000年02期
13 钟佩思,熊光楞,高国安;基于Visual Prolog的面向对象知识表示[J];计算机工程与设计;2000年02期
14 李晓强,崔德光;基于关系数据库的知识库结构设计[J];计算机工程与应用;2001年24期
15 康雪峰,周洪玉,李振加;基于数据库技术的面向对象知识表示[J];哈尔滨理工大学学报;2001年03期
16 陈淑燕,瞿高峰;一种基于平面的知识表示及组织方法[J];延安大学学报(自然科学版);2002年01期
17 周涛,夏天;基于XML的面向对象的知识表示[J];黔南民族师范学院学报;2003年06期
18 陈品德;乔春芳;;智能化远程学习支持系统——领域建模方法的分析与比较[J];中国电化教育;2004年01期
19 胡水星;基于XML的知识表示构建网络协作学习论坛[J];湖州师范学院学报;2005年02期
20 付炜,邢广忠,侯蓝田;基于不精确推理的GES辅助决策系统研究[J];测绘科学;2005年06期
中国重要会议论文全文数据库 前10条
1 杜震嵘;;基于XML的知识表示[A];第一届全国Web信息系统及其应用会议(WISA2004)论文集[C];2004年
2 杨莹春;诸静;;基于多值逻辑的不确定知识表示及推理[A];面向21世纪的科技进步与社会经济发展(下册)[C];1999年
3 吴胜;胡元发;;基于OWL的知识表示[A];第二届全国学生计算语言学研讨会论文集[C];2004年
4 张龙祥;汤庸;;面向对象的知识表示和知识库组织[A];第九届全国数据库学术会议论文集(上)[C];1990年
5 史江萍;佟伟光;王大玲;;变压器故障诊断专家系统的设计[A];科学发展与社会责任(A卷)——第五届沈阳科学学术年会文集[C];2008年
6 张强;;以校园网为平台充分发挥计算机作为知识载体的作用[A];教育技术:信息化阶段新发展的研究[C];2007年
7 李爱平;郭重庆;;基于知识的支持设计制品建模信息框架的研究[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
8 柯旭贵;李震;张佑生;;基于实例推理的冲压模结构设计的面向对象的知识表示[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
9 郭豫嘉;郑天祯;;一个面向图形/图像的机器思维与理解模型[A];首届信息获取与处理学术会议论文集[C];2003年
10 王耀南;;通用规则型专家系统开发环境(GRESE)及应用[A];1993中国控制与决策学术年会论文集[C];1993年
中国博士学位论文全文数据库 前10条
1 佘莉;基于语义的几何学科知识平台[D];中国科学院研究生院(成都计算机应用研究所);2006年
2 李伟;基于约束的产品配置方法和产品优化配置研究[D];合肥工业大学;2005年
3 杨宁学;作业系统中计算类主观题处理技术研究[D];西南交通大学;2006年
4 俞时;异构资源中基于本体的信息互操作性研究[D];东华大学;2003年
5 倪益华;基于本体的制造企业知识集成技术的研究[D];浙江大学;2005年
6 杨鹏;面向事件感知的应急临机决策引擎研究[D];天津大学;2010年
7 曹菡;空间关系推理的知识表示与推理机制研究[D];武汉大学;2002年
8 林春梅;模糊认知图模型方法及其应用研究[D];东华大学;2007年
9 黄河;语义Web中知识服务的研究[D];中国科学院研究生院(计算技术研究所);2006年
10 许焕敏;基于数理逻辑的工艺推理与决策逻辑方法研究[D];南京理工大学;2008年
中国硕士学位论文全文数据库 前10条
1 陈勇;导弹总体设计多专家系统协作的研究[D];南京理工大学;2004年
2 唐志杰;基于混合知识的多属性知识库知识表示和知识推理研究[D];东华大学;2005年
3 胡迎九;棉纺工艺专家系统知识建模及实现[D];武汉理工大学;2005年
4 李志宏;软件工程项目质量决策支持系统[D];西安电子科技大学;2005年
5 汪嫣;卷绕真空镀膜设备智能CAD系统的研究[D];四川大学;2005年
6 朱剑峰;8K电力机车中央柜故障诊断系统的研究与应用[D];中南大学;2005年
7 张福男;打印机领域本体的构建及应用研究[D];大连理工大学;2009年
8 刘素姣;一阶谓词逻辑在人工智能中的应用[D];河南大学;2004年
9 郭鹏;基于网络的构件化专家系统的研究[D];重庆大学;2004年
10 马晓峰;基于语义网络的病理诊断案例表示及不确定性研究[D];合肥工业大学;2006年
中国重要报纸全文数据库 前10条
1 中国科学院计算技术研究所 常亮史忠植;语义Web的逻辑基础[N];计算机世界;2007年
2 中科院计算所 张子云曹鹏;主体与协同:专家系统的发展方向[N];计算机世界;2007年
3 中国科学院计算技术研究所 黄瑞史忠植;加强知识的共享与重用[N];计算机世界;2007年
4 刘洁 李艳燕 郭韦钰 丁连红 时鹏;中国知识网格[N];中国计算机报;2004年
5 中国科学院计算技术研究所 刘毅勇 何雄 李金山 廖浩均 孟亮 邓柱中;空间数据挖掘:变数据为知识[N];计算机世界;2005年
6 记者 叶琦 通讯员 齐霞林 叶茂;许其亮副总参谋长视察蚌埠坦克学院[N];蚌埠日报;2006年
7 李磊 陈健;让决策更科学[N];计算机世界;2001年
8 黄放;创新只因我们期待更好的明天[N];科技日报;2007年
9 华通;通过语义Web构建智能网络[N];中国计算机报;2007年
10 本报记者 刘淼;文化交流吹来“新”风[N];青岛日报;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978