分层格值命题逻辑系统中几类推理规则的讨论

发布时间：2019-02-28 20:46

【摘要】：在基于格值逻辑的不确定性推理的研究中,推理规则的选取是其重要研究内容之一。基于分层格值命题逻辑系统,提出了几类既包含有语义又含有语法的推理规则,且这些推理规则具备协调水平的特性;同时也证明了这几类推理规则在一定程度上有闭性。
[Abstract]:In the research of uncertainty reasoning based on lattice-valued logic, the selection of reasoning rules is one of the important research contents. Based on the hierarchical lattice-valued propositional logic system, several kinds of reasoning rules which contain both semantics and grammar are proposed, and these reasoning rules have the characteristics of coordination level, and they are proved to be closed to a certain extent.
【作者单位】： 五邑大学计算机学院;内江师范学院数据恢复四川省重点实验室;内江师范学院数学与信息科学学院;西南交通大学数学学院;
【基金】：国家自然科学基金(No.61673320) 广东省自然科学基金(No.2016A030310003) 四川省应用基础研究计划项目(No.2015JY0120) 四川省教育厅项目(No.15TD0027,No.15ZB0270) 五邑大学青年基金(No.2013zk17)
【分类号】：TP18

【相似文献】

相关期刊论文 前10条

1 王海林;;SWRL推理规则在平面几何证明中的应用[J];计算机技术与发展;2010年09期

2 韩毅;谷文祥;殷明浩;张靖波;陈建;;一种引入推理规则的快速规划识别算法[J];东北师大学报(自然科学版);2007年01期

3 赖家俊;徐扬;;基于语言真值格值命题逻辑系统l_(νpl)的推理规则[J];计算机科学;2008年09期

4 杨丽;徐扬;;基于格值逻辑的模糊概念格[J];模糊系统与数学;2009年05期

5 吴茂康;Horn集上RUE-NRF推理规则下的输入半锁反驳[J];科学通报;1988年11期

6 张家锋;徐扬;何星星;;格值语义归结推理方法[J];计算机科学;2011年09期

7 许伟涛;徐扬;;语言真值格值命题逻辑系统中广义文字的归结判定[J];计算机科学;2013年02期

8 童雪;一阶格值逻辑上的Mostowski定理[J];华北电力大学学报;2003年02期

9 何星星;徐扬;李莹芳;张家锋;;格值命题逻辑系统中广义文字的正规性[J];计算机工程与应用;2012年10期

10 刘全,孙吉贵,崔志明;基于布尔剪枝的多值广义量词Tableau推理规则简化方法[J];计算机学报;2005年09期

相关博士学位论文 前1条

1 周平;基于格蕴涵代数的格值逻辑中的近似推理研究[D];西南交通大学;2007年

相关硕士学位论文 前1条

1 杨状;命题逻辑假说扩充生成算法及其应用研究[D];大连海事大学;2014年

，

本文编号：2432156