支持空间推理的模糊描述逻辑Fuzzy-ALCRP(D)

来源 :桂林电子科技大学学报 | 被引量 : 0次 | 上传用户:qqliveqq
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
描述逻辑ALCRP(D)在经典描述逻辑ALC的基础上添加具体域和角色构成谓词算子,用于确定性空间的推理,但不能用于模糊空间的推理。通过以描述逻辑ALCRP(D)的模糊扩展为例,构建出模糊描述逻辑Fuzzy-ALCRP(D),给出Fuzzy-ALCRP(D)的Tableau判定算法,并给出一个Fuzzy-ALCRP(D)在模糊RCC8空间中的推理实例。
其他文献
材料界面在疲劳断裂过程中作用的基础性研究(1994—1996年工作总结)国家自然科学基金重大项目“材料损伤、断裂机理和宏微观力学理论”子课题1疲劳损伤与裂纹萌生的晶体学关系①用熔体生
国家自然科学基金委员会在每个“五年计划”中,根据国家经济、社会、科学发展的需要,重点选择具有战略意义的重大科学问题,组织实施国家自然科学基金重大项目.“九五”期间数理科
一、前言发展高浓度复合肥料,首先需要生产出磷酸,然后再进一步加工成各种高浓度复合肥料。本文仅就磷酸生产技术及装置规模问题作一些探讨并提出一些看法供商榷。
期刊
概述了生物传热学在现代生物医学工程领域和相关领域内的研究现状及其自身的研究特点,指出了其中尚待解决的问题及应用前景,并对现有生物传热学模型的建立方法和生物热物性测试
针对网络环境中物体三维几何数字化模型快速展示存在的问题,提出一种改进的二次误差测度简化算法。在计算边折叠误差代价中引入顶点曲率和局部区域面积,控制简化网格模型边折叠顺序,提高具有明显特征区域顶点的误差度量,从而更好地保留原始网格模型中的细节特征。实验结果表明,本算法简化后的三维数字化模型不仅保留了原始网格模型的细节特征,而且计算速度快,提高了网络环境下三维模型的展示效果。
《管约论导论》(Introduction to Government and Binding Theory)是由著名语言学家Lilian Haegeman编写。此书对管辖和约束理论(简称管约论)作了详细全面的介绍,是生成语法理论
《橘颂》借橘写人,颂扬了诗人独立不迁的精神品格,横而不流、坚定不屈的人格,坚守信念、乐观开朗、昂扬奋发的精神。
基于频率选择性衰落信道,改进了以一般多径信道为模型的传统MLSE算法,提出了将分集接收方法与MLSE算法联合的改进MLSE算法;通过建立与分析新算法模型,推导得到新的误码率性能
以计算机技术和网络技术为代表的信息技术,在教育领域已被广泛应用,它与学科的融合是教育发展的必然趋势,也是新世纪学科教育的一大特色。而美术教学是视觉艺术和造型艺术的