您的位置： 专家智库 > >

国家重点实验室开放基金(SKLSE20080718)

作品数：1 被引量：1H指数：1
相关作者：许家伟张彪文坤梅更多>>
相关机构：华中科技大学湖北省水利厅武汉纺织大学更多>>
发文基金：国家重点实验室开放基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇缺省规则
  • 1篇描述逻辑

机构

  • 1篇华中科技大学
  • 1篇湖北省水利厅
  • 1篇武汉纺织大学

作者

  • 1篇文坤梅
  • 1篇张彪
  • 1篇许家伟

传媒

  • 1篇微电子学与计...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种基于缺省规则的推理算法被引量：1
2011年
提出了一种将特定缺省规则转换成描述逻辑Abox实例的推理算法,该算法针对特定缺省规则的改变通常不影响Tbox的情况,将缺省规则映射成为Abox中实例的变化,简化了推理过程,同时保持描述逻辑推理的可判定性,具有较好的可行性,并通过推理实例验证了该算法的有效性.
张彪文坤梅许家伟
关键词：描述逻辑缺省规则
全选 清除 导出
共1页<1>
聚类工具0