您的位置： 专家智库 > >

黄聪

作品数：1 被引量：0H指数：0
供职机构：桂林电子科技大学计算机科学与工程学院更多>>
发文基金：广西研究生教育创新计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇描述逻辑
  • 1篇可满足性
  • 1篇函数
  • 1篇OBDD
  • 1篇ALC
  • 1篇布尔函数

机构

  • 1篇桂林电子科技...

作者

  • 1篇古天龙
  • 1篇常亮
  • 1篇黄聪

传媒

  • 1篇桂林电子科技...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于OBDD的描述逻辑ALC判定算法
2012年
针对描述逻辑ALC的经典判定算法在处理大规模问题上的不足,而OBDD对于处理大规模问题有高效性,给出了一种基于OBDD的ALC判定算法并证明正确性。该算法根据ALC的概念的形式,计算所有子概念和每个子概念的否定形式的集合,然后根据该集合里的每个概念的形式构造出其相应的布尔函数,将布尔函数转化为OBDD的表示形式来进行概念的可满足性判定。
黄聪古天龙常亮
关键词：描述逻辑ALC布尔函数OBDD可满足性
全选 清除 导出
共1页<1>
聚类工具0