收藏本站
《第六届中国不确定系统年会论文集》2008年
收藏 | 手机打开
二维码
手机客户端打开本文

基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究

赖家俊  潘小东  徐开俊  徐扬  
【摘要】:本文考虑十八元非链的格值命题逻辑系统 L_(18)P(X)下的归结方法。首先提出了基于超滤的归结原理,得到归结删除原理,讨论了格值逻辑公式的可满足性;其次研究了它的可靠性。

手机知网App
【共引文献】
中国期刊全文数据库 前10条
1 吴洪博,文秋梅;Gainse-Rescher逻辑系统中的一种降级算法及其性质[J];数学研究;2002年01期
2 吴洪博;Gdel系统中一种降级算法及性质[J];四川大学学报(自然科学版);2003年06期
3 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑;2002年02期
4 任芳;R_0-代数上的同余关系[J];工程数学学报;2001年01期
5 吴洪博,阎满富;Gdel逻辑系统中广义语义HS规划和广义语义MP规则[J];工程数学学报;2003年03期
6 胡舜耕;;基于O型模糊关系的模糊聚类分析[J];重庆邮电学院学报(自然科学版);1993年02期
7 朱怡权;关于格蕴涵代数与BCK-代数[J];纯粹数学与应用数学;1999年03期
8 陈国祯;对偶Heything代数与对偶直觉非[J];重庆交通学院学报;1990年01期
9 邓安生,关伟洲;布尔算子模糊逻辑中的广义半锁归结原理[J];东北师大学报(自然科学版);2000年03期
10 邓安生;布尔算子模糊逻辑中的删除策略[J];东北师大学报(自然科学版);1998年01期
中国重要会议论文全文数据库 前9条
1 Li Zou~(1,2) Xin Liu~3 Yang Xu~2 ~1School of Computer and Information Technology,Liaoning Normal University,Dalian,116029,P.R.China ~2 Intelligent Control Development Center,Southwest Jiaotong University,Chengdu,Sichuan,610031,P.R.China ~3 Mathematics College,Liaoning Normal University,Dalian,116029,P.R.China;A Method of Linguistic Truth-valued Reasoning in Risk Assessment[A];Proceedings of the First International Conference on Risk Analysis and Crisis Response[C];2007年
2 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年
3 宋振明;;蕴涵滤子空间的积拓扑和商拓扑[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
4 徐扬;;基于格值命题逻辑L_(vpl)的近似推理[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
5 刘军;马骏;;格值逻辑系统LP(X)的推理性质讨论[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
6 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
7 Tai-He Fan (Institute of Mathematics, Shaanxi Normal University, Xi'an 710062, China) (E-mail: gjwangsnuc@ihw.com.cn);Compactness of Fuzzy Semantics[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
8 王国俊;;Fuzzy逻辑与有序代数[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年
9 于津;刘叙华;;基于不确定、不精确知识的推理系统-UKRS[A];1996年中国智能自动化学术会议论文集(上册)[C];1996年
中国博士学位论文全文数据库 前10条
1 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年
2 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
3 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年
4 汤永川;关于不确定性推理理论与知识发现的研究[D];西南交通大学;2002年
5 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
6 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年
7 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年
8 刘全;基于tableau的自动推理研究[D];吉林大学;2004年
9 翟东海;加乘型模糊神经网络理论和应用的研究[D];西南交通大学;2003年
10 刘晓红;关于企业人力资源评价信息处理系统的研究[D];西南交通大学;2004年
中国硕士学位论文全文数据库 前10条
1 王三民;模糊逻辑形式系统的若干完备性定理[D];陕西师范大学;2001年
2 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年
3 吴瑕;布尔算子模糊逻辑中的调解法[D];东北师范大学;2002年
4 邹伟松;从归结证明树抽取程序[D];大连理工大学;2002年
5 高燕;基于数据挖掘技术的海关执法评估系统的研究与开发[D];武汉理工大学;2002年
6 王宏川;因果图推理及其应用研究[D];重庆大学;2002年
7 李佳;基于C/S计算模式的多媒体专家系统开发框架研究及应用[D];重庆大学;2002年
8 张柳园;基于混合型专家系统的企业信用评估研究[D];厦门大学;2002年
9 张宝华;关于格蕴涵代数性质的研究[D];西南交通大学;2003年
10 常瑶芝;L~*谓词逻辑与R_0代数性质新探[D];陕西师范大学;2003年
【二级参考文献】
中国期刊全文数据库 前3条
1 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期
2 何颖俞,王国俊;L~*中的典型赋值中介与公理系统的简化[J];科学通报;1998年06期
3 乔全喜,徐扬;蕴涵算子[J];西南交通大学学报;1995年02期
【相似文献】
中国期刊全文数据库 前10条
1 孟丹,宋振明,秦克云;化LF(X)中任一公式为可归约形式的算法[J];西南交通大学学报;2003年04期
2 李晓冰;邱小平;徐扬;;格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法[J];模糊系统与数学;2009年04期
3 李振美;浅谈归结原理的应用[J];中国科技信息;2005年13期
4 李凡;归结原理在不精确推理中的应用[J];华中科技大学学报(自然科学版);1992年01期
5 孟丹,郑逢斌,徐扬,秦克云;四值非链格值命题逻辑系统LP_4(X)的归结原理[J];河南大学学报(自然科学版);2003年03期
6 王斌;项立群;;一致极限在含参量瑕积分中的应用[J];池州学院学报;2009年03期
7 孙新升;康彩霞;周谆;王玉珏;金勤献;;基于产生式规则和归结原理的环境污染事故应急处理处置专家系统[J];中国科技信息;2010年16期
8 刘叙华;3型IDI-归结原理[J];吉林大学学报(理学版);1979年01期
9 刘叙华;使用引理的锁语义归结原理——LI-归结原理[J];吉林大学学报(理学版);1979年04期
10 李晓冰;邱小平;徐扬;;格值命题逻辑系统L_9P(X)中的自动推理算法[J];计算机工程与应用;2008年10期
中国重要会议论文全文数据库 前9条
1 赖家俊;潘小东;徐开俊;徐扬;;基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究[A];第六届中国不确定系统年会论文集[C];2008年
2 孙德山;陈图云;郑宏亮;;不精确推理与归结原理[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
3 刘新;;10FL中(μ,ν)-归结原理的完备性[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
4 陈国勋;陈斌;;F-时态命题逻辑中的归结原理[A];模糊数学和系统成果会论文集[C];1991年
5 田园;冯珊;;一种面向对象与人工智能相结合的问题求解方法[A];1994中国控制与决策学术年会论文集[C];1994年
6 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年
7 裴峥;黄天民;吴建乐;;一种基于模糊-神经网络的Horn集上的归结[A];2001中国控制与决策学术年会论文集[C];2001年
8 费定舟;;自动推理:它的内容、方法和意义[A];2001年逻辑研究专辑[C];2001年
9 张景中;;自动推理与智能教育软件[A];面向21世纪的科技进步与社会经济发展(上册)[C];1999年
中国博士学位论文全文数据库 前10条
1 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年
2 石军;基于XML的智能信息处理研究[D];西安电子科技大学;2003年
3 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年
4 周平;基于格蕴涵代数的格值逻辑中的近似推理研究[D];西南交通大学;2007年
5 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
6 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年
7 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年
8 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
9 夏世芬;基于Petri网模型的归结自动推理研究[D];西南交通大学;2006年
10 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年
中国硕士学位论文全文数据库 前9条
1 杜辉;基于归结原理的程序综合设计与实现[D];大连理工大学;2006年
2 邹伟松;从归结证明树抽取程序[D];大连理工大学;2002年
3 逯焱;一种新的基于扩展规则的知识编译方法[D];东北师范大学;2009年
4 褚国嫘;归结反演中的可视化技术研究[D];北京交通大学;2008年
5 冯陆;子句型信念集静态非修正处理方法的优化研究[D];大连海事大学;2012年
6 黄晋;动态模糊逻辑(DFL)的推理模型及应用研究[D];苏州大学;2006年
7 卢延鑫;逻辑学在计算机科学中的应用[D];上海社会科学院;2008年
8 秦晓燕;关于PI证明的若干注记以及逻辑公式的真度理论[D];陕西师范大学;2005年
9 刘文赫;Horn子句型信念的静态非修正处理方法研究[D];大连海事大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026