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

化LF(X)中任一公式为可归约形式的算法

孟丹  宋振明  秦克云  
【摘要】:针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究 .简述了LF(X)及其中公式的相关概念 ,证明了对LF(X)中公式进行转化的若干理论结果 ,并由此给出化LF(X)中任一公式为可归约形式的理论基础和基本算法

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 王湘浩,刘叙华;关于归结原理中的取因子问题[J];中国科学A辑;1982年11期
2 孟丹,郑逢斌,徐扬,秦克云;四值非链格值命题逻辑系统LP_4(X)的归结原理[J];河南大学学报(自然科学版);2003年03期
3 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[J];辽宁工程技术大学学报(自然科学版);2010年05期
4 张家锋;徐扬;;格值命题逻辑系统L_(n×2)P(X)中广义文字的α-归结性[J];四川师范大学学报(自然科学版);2011年05期
5 朝鲁,谭福贵;变量间依赖关系的计算机自动推理机器证明方法及其应用[J];内蒙古大学学报(自然科学版);1999年02期
6 李凡;归结原理在不精确推理中的应用[J];华中科技大学学报(自然科学版);1992年01期
7 ;数学机械化与自动推理平台[J];中国科学院院刊;2002年02期
8 路美秀;;自动推理技术在数学教学中的应用[J];福建电脑;2010年08期
9 高小山,石赫;数学机械化与自动推理平台[J];中国基础科学;2002年03期
10 段敏;;创新平面几何试题并能自动推理的《数学实验室——平面几何》[J];合肥教育学院学报;2002年02期
11 宋振明;;基于格值逻辑的不确定性推理的研究[J];学术动态;2002年02期
12 王斌;项立群;;一致极限在含参量瑕积分中的应用[J];池州学院学报;2009年03期
13 李海明,刘鹏仙,徐扬;基于路径搜索的格值命题逻辑自动推理方法[J];西南交通大学学报;2003年03期
14 杨泽民,陈国权;模糊自动推理软件FAIC的设计与实现[J];模糊系统与数学;1988年01期
15 邹丽,陈图云,郑宏亮;直觉模糊逻辑中的归结原理[J];辽宁师范大学学报(自然科学版);1997年02期
16 刘叙华;3型IDI-归结原理[J];吉林大学学报(理学版);1979年01期
17 刘叙华;使用引理的锁语义归结原理——LI-归结原理[J];吉林大学学报(理学版);1979年04期
18 高小山;数学机械化进展综述[J];数学进展;2001年05期
19 徐品方;数学定理的机械化证明[J];高等数学研究;2004年02期
20 孙辉;带等式广义子句集上的归结原理[J];吉林师范大学学报(自然科学版);1981年00期
中国重要会议论文全文数据库 前6条
1 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年
2 陈国勋;陈斌;;F-时态命题逻辑中的归结原理[A];模糊数学和系统成果会论文集[C];1991年
3 赖家俊;潘小东;徐开俊;徐扬;;基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究[A];第六届中国不确定系统年会论文集[C];2008年
4 孙德山;陈图云;郑宏亮;;不精确推理与归结原理[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
5 刘新;;10FL中(μ,ν)-归结原理的完备性[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
6 杨路;;不等式机器证明的降维算法与通用程序[A];面向21世纪的科技进步与社会经济发展(上册)[C];1999年
中国博士学位论文全文数据库 前5条
1 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年
2 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年
3 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
4 邹丽;基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究[D];西南交通大学;2010年
5 王金艳;软集理论及其在决策中的应用研究[D];东北师范大学;2011年
中国硕士学位论文全文数据库 前5条
1 王楠;微分几何曲面上曲线定理的机器证明[D];大连理工大学;2007年
2 张燕;函数微分、差分差商及连分数的Mizar实现研究[D];青岛科技大学;2007年
3 贺玲琳;基于数值计算的几何不等式自动生成和证明系统[D];华东师范大学;2005年
4 秦晓燕;关于PI证明的若干注记以及逻辑公式的真度理论[D];陕西师范大学;2005年
5 潘小东;关于格蕴涵代数方程的研究[D];西南交通大学;2005年
中国重要报纸全文数据库 前1条
1 记者:游雪晴 周清春 首席:高小山;数学机械化:用电脑解放人脑[N];科技日报;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978