不精确推理与归结原理

孙德山陈图云郑宏亮

【摘要】：陈永义在1990年提出了一种适用于不精确推理的软归结方法,但在这个系统中,排中律和矛盾律已经失去。本文把布尔代数引入该系统,从而使排中律和矛盾律仍然存在。

下载App查看全文

下载全文更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前20条

1	李锡钱;;故障树分折在污水汽提装置防止中毒窒息的应用[J];科技资讯;2011年22期
2	周敏娜;;关于置换因子循环布尔矩阵半群(英文)[J];宁波大学学报(理工版);2011年03期
3	张家锋;徐扬;;格值命题逻辑系统L_(n×2)P(X)中广义文字的α-归结性[J];四川师范大学学报(自然科学版);2011年05期
4	杨楠;曹发生;邓培民;;基于矩阵模型表示的(线性)有限自动机的同步序列判定[J];数学的实践与认识;2011年10期
5	;[J];;年期
6	;[J];;年期
7	;[J];;年期
8	;[J];;年期
9	;[J];;年期
10	;[J];;年期
11	;[J];;年期
12	;[J];;年期
13	;[J];;年期
14	;[J];;年期
15	;[J];;年期
16	;[J];;年期
17	;[J];;年期
18	;[J];;年期
19	;[J];;年期
20	;[J];;年期

中国重要会议论文全文数据库

前10条

1	孙德山;陈图云;郑宏亮;;不精确推理与归结原理[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
2	钟业勋;;地图图像系统为布尔代数系的证明[A];面向21世纪的科技进步与社会经济发展（上册）[C];1999年
3	刘新;;10FL中(μ,ν)-归结原理的完备性[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
4	陆秋君;吴望名;;Post代数的Fuzzy滤子和Fuzzy同余[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
5	钟业勋;魏文展;;地图符号系统为布尔代数系的证明及其对机助地图制图的意义[A];西部大开发科教先行与可持续发展——中国科协2000年学术年会文集[C];2000年
6	陈国勋;陈斌;;F-时态命题逻辑中的归结原理[A];模糊数学和系统成果会论文集[C];1991年
7	卢建宁;赵光宙;;布尔离散事件系统的监控理论[A];第二十四届中国控制会议论文集（下册）[C];2005年
8	赖家俊;潘小东;徐开俊;徐扬;;基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究[A];第六届中国不确定系统年会论文集[C];2008年
9	毛翊;;邻域语义学[A];1994年逻辑研究专辑[C];1994年
10	田园;冯珊;;一种面向对象与人工智能相结合的问题求解方法[A];1994中国控制与决策学术年会论文集[C];1994年

中国博士学位论文全文数据库

前10条

1	斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年
2	石军;基于XML的智能信息处理研究[D];西安电子科技大学;2003年
3	孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年
4	陈益智;半环上矩阵的若干研究[D];西北大学;2012年
5	马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
6	李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年
7	俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年
8	王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
9	虞志坚;量子逻辑的代数结构与运算连续性[D];浙江大学;2006年
10	雷强;量子逻辑的内蕴拓扑[D];哈尔滨工业大学;2008年

中国硕士学位论文全文数据库

前10条

1	高平安;布尔代数和布尔代数上的自动机[D];湘潭大学;2003年
2	宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年
3	杜辉;基于归结原理的程序综合设计与实现[D];大连理工大学;2006年
4	李艳春;多值逻辑函数组的置换[D];湘潭大学;2006年
5	孙中品;布尔代数的广义Fuzzy子代数及其在Mizar系统中的实现[D];青岛科技大学;2007年
6	邹伟松;从归结证明树抽取程序[D];大连理工大学;2002年
7	陈钉均;覆盖粗糙集研究[D];西南交通大学;2007年
8	逯焱;一种新的基于扩展规则的知识编译方法[D];东北师范大学;2009年
9	梁洪力;基于两种新算子的粗糙集理论研究及其应用[D];东北大学;2005年
10	华巍;无线网格网的网关选址问题研究[D];复旦大学;2009年

中国重要报纸全文数据库

前6条

1	魏少军;超深亚微米集成电路设计[N];中国电子报;2002年
2	张景中;《数学悖论与三次数学危机》序[N];中华读书报;2007年
3	广东省广州市西秀区市委会办公室吕永华;要实现管理和技术“双轮驱动”[N];中国安全生产报;2007年
4	蒋熠奇;地图理论有创新[N];中国测绘报;2006年
5	本报记者武汉;把人才蛋糕做大[N];网络世界;2001年
6	本报记者李大庆;“华罗庚,他是真正的数学大师”[N];科技日报;2010年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南