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

关于格值逻辑及自动推理的研究

李海明  
【摘要】: 逻辑学是人工智能研究的重要手段。格是一类重要的代数结构,现实世界中的许多现象都可以用格来刻画,尤其是不可比较性。格值逻辑是一种重要的非经典逻辑,它是经典逻辑和模糊逻辑的推广。格值逻辑把多值逻辑的链型真值域拓广到较一般的格上,既能处理全序信息,又能处理不可比的信息,从而可以更有效地刻画人类的推理、判断和决策的不确定性,尤其是对真值不完全可比较性的研究,能够更真实地刻画人类的思维活动。从逻辑的角度来看,对知识的利用就是推理,就是逻辑演绎。因此,推理不仅是逻辑系统的重要组成部分,也是人工智能领域的核心课题之一。格蕴涵代数是将格与蕴涵代数结合起来的一种代数结构,是研究格值逻辑系统及其性质的一个重要途径。本文的工作是在徐扬教授、秦克云教授等研究成果的基础上,对格蕴涵代数的性质、结构、格值命题逻辑系统中的重言式、自动推理方法、格值命题逻辑系统等进行了一些研究。主要有以下四部分内容组成。 一、代数结构和性质的研究 1、对格蕴涵代数的结构进行了研究,证明了非链的五元格不能构成格蕴涵代数,非链的中界格不能构成格蕴涵代数。 2、讨论了L型广义扩展原理在L型模糊集范畴中的应用。本文给出基于L型模糊关系的L型广义扩张原理,在此基础上通过L型广义扩张原理构造三个模糊集范畴,并讨论了它们之间的相互关系。 二、一类格值逻辑系统中的重言式和逻辑公式的神经网络计算 1、重言式在逻辑系统的应用中起着重要的作用。本文分析讨论了基于格蕴涵代数直积的格值逻辑系统中的α-重言式和F-重言式,作为两个实例,详细讨论了两个格值逻辑系统L_4P(X)和L_6P(X)中的重言式和F-重言式的结构。 2、提出一种利用神经逻辑单元动态地构造神经网络的算法来对一些逻辑系统中的逻辑公式的真值进行计算。这种方法可以对逻辑公式的原始形态直接进行计算,无需化简。如果进行了化简,则本方法将更有效。本方法可以方便地制作成硬件来实现。 第n页.西南交通大学研究生博士学位论文 三、自动推理方法的研究 提出了基于路径搜索的自动推理方法,它不同于归结原理,采用直观的路 径搜索的方法,建立了相应的自动推理算法,将其应用于二值逻辑、中界格逻 辑和六元格蕴涵代数逻辑系统中,证明了这种算法的可靠性和完备性,并分析 了这种算法的有效性。 四、格值逻辑系统的研究 建立了基于格蕴涵代数的格值命题逻辑系统l试X),并讨论了它的语法和语 义问题,证明了可靠性定理。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 许道云;;基于一种树型方法的自动推理[J];贵州大学学报(自然科学版);1989年04期
2 张东摩;宫宁生;;中介自动推理的理论与实现(V)——中介模态逻辑MK的表推演系统[J];模式识别与人工智能;1995年02期
3 刘群;刘杰;陈述;刘大昕;刘健民;;一个工程应用型专家系统——ADPGE[J];哈尔滨工程大学学报;1996年01期
4 李涛;张波;章潜才;鹿海涛;巫莉莉;;复杂表达式推理在计算机自动推理系统中的研究[J];计算机工程与科学;2010年07期
5 陈振庆;刘长青;;UML状态图的逻辑语义及自动推理[J];贺州学院学报;2010年04期
6 李涛;;添加辅助线辅助点在计算机自动推理中的研究[J];武汉工程大学学报;2009年03期
7 夏洁,陈云录,刘群;一种基于场合、方法的推理方法[J];哈尔滨理工大学学报;2001年02期
8 陈计;量词对7种联结词的分配律——计算机自动推理的1个实例[J];宁波大学学报(理工版);2001年03期
9 曹忠;李传中;赵文静;;平面解析几何交互推理系统的设计与实现[J];广州大学学报(自然科学版);2008年01期
10 王军;王继军;甘丹;蒋运承;;基于描述逻辑的概念图推理[J];计算机科学;2008年08期
11 张家锋;徐扬;何星星;;四值非链格值命题逻辑系统L_4P(X)的语义归结方法[J];计算机应用研究;2011年09期
12 朱福喜;龚昌盛;余振坤;;基于XML的次协调推理[J];武汉大学学报(理学版);2006年01期
13 薛利;侯晓荣;;基于数值计算的几何定理自动搜索方法[J];华东师范大学学报(自然科学版);2006年01期
14 郑黎辉;左万利;;一次性求解多个SAT问题[J];吉林大学学报(信息科学版);2010年02期
15 李涛;张波;李传中;;基于前向推理的平面解析几何自动推理系统研究与实现[J];计算机应用;2006年07期
16 饶红萍;;基于复杂递归类问题的可重用程序模板研究[J];计算机时代;2007年07期
17 陈振宇;袁毓林;张秀松;周强;;亲属关系的逻辑意义及其自动推理[J];计算机工程与应用;2009年16期
18 齐勇;刘杰;李伟华;;基于SOLe的自动推理算法[J];计算机仿真;2010年11期
19 张家锋;徐扬;何星星;;格值语义归结推理方法[J];计算机科学;2011年09期
20 刘全;伏玉琛;孙吉贵;崔志明;龚声蓉;凌兴宏;;一种基于集合符号的自动推理扩展方法[J];计算机研究与发展;2007年08期
中国重要会议论文全文数据库 前10条
1 张景中;;自动推理与智能教育软件[A];面向21世纪的科技进步与社会经济发展(上册)[C];1999年
2 费定舟;;自动推理:它的内容、方法和意义[A];2001年逻辑研究专辑[C];2001年
3 朱福喜;余振坤;;用XML进行次协调推理[A];逻辑与认知学术研讨会会议论文集[C];2004年
4 张雷;;一种计算机取证的时间Petri网推理方法[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
5 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年
6 杨炳儒;李龙星;李卫东;;专家系统中一类不确定因果归纳自动推理机制研究[A];2005中国控制与决策学术年会论文集(下)[C];2005年
7 ;关于举办第六届全国计算机应用联合学术会议的征文通知[A];第二届全国流体传动及控制工程学术会议论文集(第四卷)[C];2002年
8 潘炼;袁琦;唐磊;刘斌;;基于智能模糊系统的高炉炉况故障诊断[A];2007年中国智能自动化会议论文集[C];2007年
9 王虹;孙继和;;静态轨道衡远程控制无人值守称量系统的研究与应用[A];第四届中国金属学会青年学术年会论文集[C];2008年
10 万武南;王晓京;刘旸;;基于复合离散混沌动力系统的伪随机数发生器[A];科技、工程与经济社会协调发展——中国科协第五届青年学术年会论文集[C];2004年
中国博士学位论文全文数据库 前10条
1 吕帅;基于自动推理技术的智能规划方法研究[D];吉林大学;2010年
2 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年
3 周俊萍;自动推理与规划问题最小上界和相变规律研究[D];吉林大学;2011年
4 吴瑕;基于扩展规则的定理证明的研究[D];吉林大学;2006年
5 郭远华;若干逻辑自动推理方法研究[D];华东师范大学;2010年
6 曹晰;开放型嵌入式旋转机械自动平衡控制系统的研究[D];北京化工大学;2009年
7 陈军;可信平台模块安全性分析与应用[D];中国科学院研究生院(计算技术研究所);2006年
8 殷明浩;自动推理和智能规划中若干问题研究[D];吉林大学;2008年
9 刘全;基于tableau的自动推理研究[D];吉林大学;2004年
10 许有军;基于扩展规则的若干SAT问题研究[D];吉林大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘颖奇;基于网络数据共享的平面几何自动推理系统的研究[D];广州大学;2010年
2 高山;基于初中物理智能教育平台的自动推理子系统的研究[D];四川师范大学;2014年
3 童海峰;基于DFL的多Agent自动推理平台设计[D];苏州大学;2005年
4 刘晓瑢;基于范例、规则推理的新型程序设计ICAI系统研究与实现[D];江西师范大学;2004年
5 孙媛媛;基于语义网的几何自动推理研究及其应用[D];电子科技大学;2013年
6 王杰生;基于描述逻辑的语义Web服务组合[D];国防科学技术大学;2006年
7 邓柏希;超级画板中自动推理在数学教学中的应用[D];广州大学;2012年
8 逯焱;一种新的基于扩展规则的知识编译方法[D];东北师范大学;2009年
9 章衡;中间逻辑中的范式研究[D];贵州大学;2007年
10 梁亮;风机旋转机械设备故障诊断专家系统的设计与实现[D];北京化工大学;2008年
中国重要报纸全文数据库 前9条
1 王惠临;意义计算研究的兴起与发展[N];中国社会科学院报;2009年
2 历山;张景中:半个世纪的数学情缘[N];大众科技报;2006年
3 记者:游雪晴 周清春 首席:高小山;数学机械化:用电脑解放人脑[N];科技日报;2004年
4 本报记者 许琦敏;吴文俊 三十年开拓数学“中国路”[N];文汇报;2006年
5 记者 刘肖勇;“超级画板”软件扬威国际[N];广东科技报;2008年
6 杨保国;中国科大研制的机器人会说话能干活[N];科技日报;2009年
7 记者 刘垠;吴文俊荣获2006年邵逸夫数学科学奖[N];大众科技报;2006年
8 郭韦钰 丁连红;语义Web和语义网格[N];中国计算机报;2004年
9 张寅生 中国科学技术信息研究所;认知科学的方法及发展趋势[N];中国社会科学报;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978