基于圆壳区域伸缩的空间知识表示     

聂登国  王勇红  康旺强 《毕节学院学报》2011,29(8):5-11

区域连接演算RCC(region connection calculs)是定性空间推理的重要理论之一,但由于缺乏必要的定量工具,RCC只能描述空间拓扑关系,而不能描述距离、方向等其他空间关系。在RCC理论的基础上,引入区域圆壳概念对区域伸缩加以度量,得出一种以区域为单位的形式化度量方法,来描述区域间的距离关系、方向关系,从而增强RCC的空间关系表示能力,拓展了RCC理论的适用范围。  相似文献   

描述逻辑VL的保守扩充     

聂登国  曹发生 《毕节学院学报》2013,31(8):15-20

保守扩充是数理逻辑中一个重要的性质。本体的保守扩充在本体设计和本体集成中扮演重要的角色,它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化。在本体的进化和本体的合并中,保守扩充最基本的任务是判定合并后的本体是否是原始本体的保守扩充,如果不是,那么进化后的本体与原始本体将不能保持一致的逻辑结论。分析了现有的描述逻辑的保守扩充及其相应的判定算法,提出描述逻辑VL的保守扩充,并构建了VL的典范模型,证明了VL的保守扩充的判定算法是指数时间复杂的。  相似文献   

决策逻辑的图论模型     

曹发生  张家锋  黄飞丹  聂登国 《毕节学院学报》2014,(8)

通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。  相似文献   

描述逻辑ALC的公理化方法研究     

聂登国  张维 《毕节学院学报》2014,(4)

描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识。描述逻辑的各语言背后的逻辑是什么,能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究。本文首先通过描述逻辑ALC与一阶逻辑的一个可判定片段之间的关系试图揭示描述逻辑的本质。最后给出了描述逻辑ALC的公理化方法及其演绎定理的证明。  相似文献   

描述逻辑EVL模拟关系及其性质     

王勇红  ;段高华  ;聂登国 《毕节师范高等专科学校学报》2014,(4):23-27

模拟和互模拟是分析模态逻辑的表达能力的一个强有力的工具.巴德尔（Baader）率先提出,可以运用描述图之间的模拟关系来分析描述逻辑的包含推理,并证明了在概念定义式循环术语集限制下,描述逻辑EL的包含推理是多项式时间复杂的.本文分析了描述逻辑模拟关系的研究现状和存在的问题,给出一般情形描述逻辑EVL下的模拟关系及其性质.  相似文献   

描述逻辑VL的保守扩充     

聂登国  曹发生 《毕节师范高等专科学校学报》2013,(8):15-20

保守扩充是数理逻辑中一个重要的性质。本体的保守扩充在本体设计和本体集成中扮演重要的角色。它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化。在本体的进化和本体的合并中,保守扩充最基本的任务是判定合并后的本体是否是原始本体的保守扩充,如果不是,那么进化后的本体与原始本体将不能保持一致的逻辑结论。分析了现有的描述逻辑的保守扩充及其相应的判定算法,提出描述逻辑VL的保守扩充,并构建了VL的典范模型,证明了VL的保守扩充的判定算法是指数时间复杂的。  相似文献   

格值模糊描述逻辑L-ALCN的Duquenne-Guigues基     

张维  ;李佳  ;聂登国 《毕节师范高等专科学校学报》2014,(4):13-22

描述逻辑和形式概念分析都是以概念为基础的形式系统,在处理信息方面它们各有优缺点,近年来,研究者们将两者结合在一起,取长补短.本文将形式概念分析的方法引入描述逻辑,研究了格值模糊描述逻辑系统L-ALCN模型的Duquenne-Guigues基问题.首先介绍了L-ALCN的语法、语义和形式概念分析的基本知识,根据L-ALCN的特点,重新定义了描述背景下内涵、伪内涵及有穷基底的理论框架,证明了L-ALCN系统中Duquenne-Guigues基底的存在性,给出了相应的算法并指出了L-ALCN中Duquenne-Guigues基底是可靠的、完备的和非冗余的.  相似文献   

决策逻辑的图论模型     

曹发生  张家锋  黄飞丹  聂登国 《毕节师范高等专科学校学报》2014,(8):8-12

通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。  相似文献