-
题名描述逻辑εLU概念及术语公理集的表达能力刻画
被引量:4
- 1
-
-
作者
申宇铭
王驹
唐素勤
-
机构
广东外语外贸大学思科信息学院
广西师范大学计算机科学与信息工程学院
高可信软件技术教育部重点实验室(北京大学)
-
出处
《软件学报》
EI
CSCD
北大核心
2014年第8期1794-1805,共12页
-
基金
国家自然科学基金(60573010
61103169)
+1 种基金
高可信软件技术教育部重点实验室开放课题(HCST201302)
广西自然科学基金(2011GXNSFA018159)
-
文摘
表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系.解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理——van Benthem刻画定理.给出了描述逻辑εLU(含构造子:原子概念、顶概念、概念交、概念并、完全存在约束)的模拟关系,建立了εLU中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与εLU中概念和术语公理集等价的充分必要条件.上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持.
-
关键词
描述逻辑
概念描述
术语公理集
表达能力
-
Keywords
description logic
concept description
terminological axioms box
expressive power
d
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名描述逻辑FL_0概念及术语公理集的表达能力刻画
被引量:2
- 2
-
-
作者
申宇铭
文习明
王驹
-
机构
广东外语外贸大学思科信息学院
广东省委党校信息技术教研部
广西师范大学计算机科学与信息工程学院
高可信软件技术教育部重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2014年第12期206-210,215,共6页
-
基金
国家自然科学基金(61103169)
高可信软件技术教育部重点实验室开放课题(HCST201302)资助
-
文摘
表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系。解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-van Benthem刻画定理。文中给出了描述逻辑FL0(含构造子:原子概念、顶概念、概念交、全称量词约束)的模拟关系,建立了FL0中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与FL0概念和术语公理集等价的充分必要条件。上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持。
-
关键词
描述逻辑
概念描述
术语公理集
表达能力
-
Keywords
Description logic
Concept description
Tterminological axioms box
eExpressive power
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名描述逻辑εL~■和εLU~■表达力的刻画与比较
被引量:1
- 3
-
-
作者
申宇铭
郝天永
张倩生
-
机构
广东外语外贸大学思科信息学院
广东外语外贸大学语言工程与计算重点实验室
广东外语外贸大学金融学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2018年第4期898-914,共17页
-
基金
本课题得到国家自然科学基金(61103169,61403088)、国家社会科学基金(13CGL130)、广东省自然科学基金(S2013010013050)和广东省高等学校学科与专业建设专项资金科技创新项目(2013KJCX0069)基金资助.
-
文摘
逻辑的表达力及其推理问题的计算复杂性一直是逻辑研究的两个重点.描述逻辑是一族重要的知识表示语言,目前,国内外对其计算复杂性的研究成果比较丰富.而对其表达力的研究相对较少.从逻辑语义的角度看,解释之间的互模拟关系是刻画表达力的一个有效途径,其较具代表性的结论是刻画命题模态逻辑表达力的van Benthem定理.文中主要研究了包含顶概念、原子概念、原子概念否定、概念交和完全存在约束等5个概念构造子的描述逻辑εL~■,给出了εL~■模拟关系,建立了刻画εL~■表达力的van Benthem定理.在εL~■基础之上,再增加概念并构造子,还给出了刻画εLU~■表达力的van Benthem定理.在这些工作的基础上,给出了εL、εL~■、εLU和εLU~■等4个系统表达力之间的比较结果.再依据若干概念包含关系问题的计算复杂性结果,明确了如下结论:在表达力要求不高的情形下,可以优先选择εL作为知识的表示语言.而对表达力要求较高的情形下,应该优先选择ALC作为知识的表示语言.同时,在没有特殊要求的情况下,应尽量避免使用εL~■、εLU和εLU~■作为知识的表示语言.
-
关键词
描述逻辑
概念描述
术语公理集
表达力
-
Keywords
description logic
concept description
terminological axioms box
expressive power
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-