粗糙逻辑中理论相容性的拓扑刻画

计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (2): 64-68.

粗糙逻辑中理论相容性的拓扑刻画

贺晓丽，折延宏

西安石油大学理学院，西安 716005

出版日期:2015-01-15 发布日期:2015-01-12

On topological characterization of consistency of logic theories in rough logic

HE Xiaoli, SHE Yanhong

College of Science, Xi’an Shiyou University, Xi’an 716005, China

Online:2015-01-15 Published:2015-01-12

摘要/Abstract

摘要： 有关文献将计量化方法应用于粗糙逻辑之中，建立起了用以处理近似推理问题的粗糙逻辑度量空间理论。拟借助于粗糙逻辑度量空间理论，从拓扑学的角度给出粗糙逻辑理论相容性的等价刻画。

关键词: 粗糙逻辑度量空间, 相容性, 拓扑刻画

Abstract: In relevant literature a quantitative approach to the study of rough logic has been presented, resulting in a kind of rough logic metric space for the approximate reasoning in rough logic. In this paper, by employing the rough logic metric space theory, the consistency of logic theories is characterized from the viewpoint of topology.

Key words: rough logic metric space, consistency, topological characterization

贺晓丽，折延宏. 粗糙逻辑中理论相容性的拓扑刻画[J]. 计算机工程与应用, 2015, 51(2): 64-68.

HE Xiaoli, SHE Yanhong. On topological characterization of consistency of logic theories in rough logic[J]. Computer Engineering and Applications, 2015, 51(2): 64-68.

[1]	肖鹏1，刘娜1，季长清2，李媛媛3，路莹1，唐晓君1. 基于相容性分析的医疗诊断专家系统[J]. 计算机工程与应用, 2018, 54(23): 264-270.
[2]	蔡久顺，张执国，师鹏，张小刚. 二元语义互补判断矩阵的相容性及排序研究[J]. 计算机工程与应用, 2015, 51(24): 137-140.
[3]	杜久升，陈宜金. 移动数据传输安全性研究[J]. 计算机工程与应用, 2011, 47(34): 11-14.
[4]	李立峰. n值命题逻辑系统L_n^*中有限命题集的相容性与约简[J]. 计算机工程与应用, 2009, 45(13): 59-61.
[5]	刘荣胜黄邵高春鸣. 基于类型化Pi-演算的Web服务组合相容性检测[J]. 计算机工程与应用, 2007, 43(7期): 120-124.
[6]	辜希武,卢正鼎. Web服务相容性的形式化描述与分析[J]. 计算机工程与应用, 2007, 43(27): 28-33.