描述逻辑FL0概念及术语公理集的表达能力刻画 |
| |
引用本文: | 申宇铭,文习明,王驹.描述逻辑FL0概念及术语公理集的表达能力刻画[J].计算机科学,2014,41(12):206-210,215. |
| |
作者姓名: | 申宇铭 文习明 王驹 |
| |
作者单位: | 1. 广东外语外贸大学思科信息学院 广州510420 2. 广东省委党校信息技术教研部 广州510053 3. 广西师范大学计算机科学与信息工程学院 桂林541004;高可信软件技术教育部重点实验室 北京100871 |
| |
基金项目: | 本文受国家自然科学基金(61103169),高可信软件技术教育部重点实验室开放课题(HCST201302)资助 |
| |
摘 要: | 表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系。解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-van Benthem刻画定理。文中给出了描述逻辑FL0(含构造子:原子概念、顶概念、概念交、全称量词约束)的模拟关系,建立了FL0中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与FL0概念和术语公理集等价的充分必要条件。上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持。
|
关 键 词: | 描述逻辑 概念描述 术语公理集 表达能力 |
收稿时间: | 2013/6/25 0:00:00 |
修稿时间: | 2013/8/16 0:00:00 |
本文献已被 CNKI 万方数据 等数据库收录! |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|