柔性区间逻辑及推理研究

发布时间：2021-12-27 19:57

　　本文的研究工作源于国家自然科学基金项目（60273087）“经验知识推理理论研究”与北京市自然科学基金项目（4032009）“不精确推理理论研究”。 已经发展十分完善的经典数理逻辑是刚性逻辑，只能解决确定性问题。研究具有矛盾和不确定性问题的各种非经典逻辑和现代逻辑是人工智能的主要发展方向之一。何华灿教授所提出的泛逻辑学旨在研究逻辑的一般规律，重点在研究具有矛盾和不确定性的各种柔性推理过程和演化过程。 本文将泛逻辑学的思想引入到区间逻辑中，实现了区间逻辑的值域和运算模型的柔性化，并对柔性区间推理进行了研究，主要创新点如下： 1．根据泛逻辑学原理，把广义相关性引入到区间逻辑中，定义了区间逻辑的补、与、或、平均、等价和组合运算模型簇。重点论证了柔性区间与、柔性区间或和柔性区间平均运算簇的性质。 2．提出了四种柔性区间蕴涵运算模型簇，重点证明了第一种柔性区间蕴涵的边界条件、单调性和伴随性，证明了柔性区间与、柔性区间或和柔性区间蕴涵可构成剩余格，且其具有良好的代数性质。 3．提出了柔性区间推理模型，证明了该运算模型满足推理规则的基本要求。 4．将柔性区间逻辑应... 

【文章来源】：西北工业大学陕西省 211工程院校 985工程院校

【文章页数】：141 页

【学位级别】：博士

【部分图文】：

2最冒险估计和最保守估计的示意图

‘1.柔性区间与在最大相吸情况的运算模型

2.柔性区间或在最大相吸情况的运算模型

【参考文献】：
期刊论文
[1]区间值逻辑柔性化的研究[J]. 薛占熬,何华灿.  计算机科学. 2005(07)
[2]基于泛逻辑学的逻辑关系柔性化研究[J]. 王万森,何华灿.  软件学报. 2005(05)
[3]泛逻辑学的蕴涵性质[J]. 薛占熬,何华灿.  计算机科学. 2005(05)
[4]哥德尔思想概说[J]. 王浩,邢滔滔.  科学文化评论. 2004(06)
[5]论广义相关性在柔性逻辑中的重要性[J]. 薛占熬,张小红,何华灿.  计算机科学. 2004(02)
[6]粗糙蕴涵[J]. 薛占熬,何华灿.  计算机科学. 2003(11)
[7]区间值模糊命题逻辑的最大子代数及其广义重言式[J]. 陈图云,张宇卓,廖士中.  模糊系统与数学. 2003(02)
[8]带Rough相等关系词的Rough逻辑系统及其推理[J]. 刘清,郑非,江娟,刘斓.  计算机学报. 2003(01)
[9]基于有限格蕴涵代数的格值命题逻辑语义系统[J]. 马骏,秦克云,徐扬.  西南交通大学学报. 2002(05)
[10]MV-代数、BL-代数、R0-代数与多值逻辑[J]. 王国俊.  模糊系统与数学. 2002(02)

博士论文
[1]广义智能系统柔性超拓扑空间模型研究与应用[D]. 鲁斌.西北工业大学 2003
[2]三值光计算机原理和结构[D]. 金翊.西北工业大学 2002



本文编号：3552633