描述逻辑（￡∮0）概念及术语公理集的表达能力刻画

来源 :计算机科学 | 被引量 : 0次 | 上传用户：lnclnc

【摘要】

：

表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系.解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻

【作者】

：

申宇铭文习明王驹

【机构】

：

广东外语外贸大学思科信息学院,广东省委党校信息技术教研部,广西师范大学计算机科学与信息工程学院,高可信软件技术教育部重点实验室

【出处】

：

计算机科学

【发表日期】

：

2014年12期

【关键词】

：

描述逻辑概念描述术语公理集表达能力 Description logic Concept description Tterminological axiom

【基金项目】

：

本文受国家自然科学基金（61103169）,高可信软件技术教育部重点实验室开放课题（HCST201302）资助.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系.解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-van Benthem刻画定理.文中给出了描述逻辑（￡∮0）（含构造子：原子概念、顶概念、概念交、全称量词约束）的模拟关系,建立了（￡∮0）中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与（￡∮0）概念和术语公理集等价的充分必要条件.上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持.

其他文献

浅谈WRC-871软胶辊在我厂的应用

WRC-871软胶辊在企业普及使用效果来看，是比较成熟和理想的细纱胶辊，从文中使用WRC-871软胶辊效果实例及质量指标统计数值中可以看出，成纱质量指标匀达到2000乌斯特统计公报25％水

期刊

WRC-871软胶辊质量双层胶辊套制涂料

对称性在产品设计中的应用

纺织产吕的设计随着市场对品种花色的要求而不断更新，对称设计被大量的应用。那么如何将对称性应用到不同风格的产品，已成为纺织行业产品设计的基础技术。本文主要介绍了通过经

期刊

产品设计经纬纱色排列大组织矩阵纺织品对称设计

牵伸工艺及牵伸器材对成纱质量的影响

本文通过生产实践，对牵伸工艺进行调整及牵伸器材的合理选用，加强了对短纤维的控制，保证了成纱质量稳定在一定的水平之内。

期刊

牵伸工艺器材成纱质量

基于三维采样点集的人脸识别

采用基于整体轮廓的提取方法来对三维人脸点集进行重采样表征人脸。首先将三维人脸区域的点集校正到统一的姿态坐标系,并将其转换为深度图,之后计算深度图的一阶和二阶梯度,并设定阈值提取出边界曲线,再找出二维梯度图的边界曲线所对应的三维空间中的曲线点集用来表征人脸,最后用D-ICP算法进行配准并进行相似度测量。在欧洲人脸数据库GAVAB3D中进行了测试,实验结果表明该方法简便有效。

期刊

三维人脸点集重采样边界曲线D-ICP算法配准3D face points cloudsResampleBoundary curvesDelaun

结合市场需求，关注毛羽指标

结合市场需求，关注毛羽指标，是企业继续提高棉纺织产品质量的又一挑战，本文从理论和实践的角度阐述毛羽指标的有关内容，供企业参考。

期刊

棉纺织产品质量毛羽指标毛羽测试毛羽判定

条染产品缩道纺纱的生产体会

本文提出应根据单纱截面纤维根数满足纺纱性能的程度来判断能否缩道纺纱，并用理论联系实际的方法说明条染、纺纱车间应该把哪些工作做到精益求精。

期刊

条染复精梳工艺道数

提高细纱质量的综合措施

围绕细纱产品质量这个主题，就影响细纱质量的各个环节，并通过大量的对比试验数据论证，系统地阐述了提高细纱质量的各种措施。