您的位置: 专家智库 > >

中国民航大学科研启动基金(09QD04X)

作品数:2 被引量:3H指数:1
相关作者:樊红杰王静王红更多>>
相关机构:中国民航大学更多>>
发文基金:国家自然科学基金中国民航大学科研启动基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 2篇描述逻辑
  • 2篇可拓
  • 2篇可拓集
  • 2篇可拓集合
  • 2篇可拓学
  • 1篇带限
  • 1篇动态知识
  • 1篇逻辑
  • 1篇模糊知识

机构

  • 2篇中国民航大学

作者

  • 2篇王红
  • 2篇王静
  • 2篇樊红杰

传媒

  • 1篇计算机工程
  • 1篇计算机应用

年份

  • 2篇2014
2 条 记 录,以下是 1-2
排序方式:
带限定性数目约束的描述逻辑ALCQ_(DES)
2014年
传统描述逻辑ALCQ以经典集合作为集合论基础,不能描述复杂的、模糊的、动态的知识。为此,引入可拓学中的可拓集合代替经典集合,作为描述逻辑ALCQ的集合论基础,提出一种新的带限定性数目约束的可拓描述逻辑ALCQDES。定义ALCQDES的概念、关系、TBox公理、ABox断言的语法形式,根据可拓集合和传统描述逻辑的语义解释方法,给出描述逻辑ALCQDES中的概念≥kR.C和≤kR.C的语义解释。研究描述逻辑ALCQDES的基本推理问题,给出一致性检测算法TableauDES*的≥kR.C和≤kR.C的断言扩充规则。与传统描述逻辑ALCQ和模糊扩展描述逻辑FALCQ相比,通过可拓集合扩展的描述逻辑ALCQDES具有更强的描述知识的能力。
王静李剪樊红杰王红
关键词:描述逻辑可拓集合可拓学模糊知识动态知识
面向矛盾问题的描述逻辑SHOQ扩展被引量:3
2014年
为了利用描述逻辑的推理规则分析并解决简单矛盾问题,引入了可拓集合作为描述逻辑SHOQ的集合论基础,提出了一种新的描述逻辑D-SHOQES,定义了可拓概念和可拓关系的截集形式作为原子概念和原子关系,引入了动作理论以获取概念和关系的质变域和量变域,并给出了D-SHOQES中概念、关系、动作等的语义解释以及Tableau-算法推理规则,研究了矛盾问题的一般求解方法,从而为矛盾问题的求解提供了策略。
王静王红李剪樊红杰
关键词:描述逻辑可拓集合可拓学
共1页<1>
聚类工具0