知识表示与推理的若干问题研究
【摘要】:计算机要对知识和信息有效地进行处理是离不开知识表示与推理(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结构的一个算子。
|
|
|
|
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期 |
|