郝天永
- 作品数：3 被引量：1H指数：1
- 供职机构：广东外语外贸大学更多>>
- 发文基金：广东省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 标准起草规则 第1部分:术语
- 本文件规定了标准化文件中术语条目起草要求，确立了术语条目编制流程、术语条目及数据类目的组织和结构、术语条日内容及起草要求、索引要求。本文件适用于标准化文件中术语条日的编制、起草和管理，其他文件起草、术语工作参照使用。
- 王海涛曹馨宇刘亮亮张晖代晓明陈炎明徐术坤郝天永扎桑拉姆扎西央宗魏洁刘晓东蒋盛益曹东宋萍龚鸣吕学强刘耀谢琪周洪伟贾仰理聂大昕刘嘎琼周长青严可贺莉丽
- 描述逻辑εL~■和εLU~■表达力的刻画与比较被引量：1
- 2018年
- 逻辑的表达力及其推理问题的计算复杂性一直是逻辑研究的两个重点.描述逻辑是一族重要的知识表示语言,目前,国内外对其计算复杂性的研究成果比较丰富.而对其表达力的研究相对较少.从逻辑语义的角度看,解释之间的互模拟关系是刻画表达力的一个有效途径,其较具代表性的结论是刻画命题模态逻辑表达力的van Benthem定理.文中主要研究了包含顶概念、原子概念、原子概念否定、概念交和完全存在约束等5个概念构造子的描述逻辑εL~■,给出了εL~■模拟关系,建立了刻画εL~■表达力的van Benthem定理.在εL~■基础之上,再增加概念并构造子,还给出了刻画εLU~■表达力的van Benthem定理.在这些工作的基础上,给出了εL、εL~■、εLU和εLU~■等4个系统表达力之间的比较结果.再依据若干概念包含关系问题的计算复杂性结果,明确了如下结论:在表达力要求不高的情形下,可以优先选择εL作为知识的表示语言.而对表达力要求较高的情形下,应该优先选择ALC作为知识的表示语言.同时,在没有特殊要求的情况下,应尽量避免使用εL~■、εLU和εLU~■作为知识的表示语言.
- 申宇铭郝天永郝天永
- 关键词：描述逻辑表达力
- 术语工作 原则与方法
- 本标准规定了制定和编纂各专业领域术语集的基本原则和方法，描述了客体和概念间的各种联系，确立了术语构成和定义表述的一般原则。
本标准适用于各专业领域的术语标准化工作，其他术语工作也可参照使用。
本标准不包括在ISO 1...
- 王海涛曹馨宇陈玉忠贾仰理荀恩东刘耀赵建国刘晓东郝天永周长青刘亮亮谢琪丁若尧
