教育部“新世纪优秀人才支持计划”(20060532)
- 作品数：2 被引量：14H指数：2
- 相关作者：欧阳丹彤赵剑白岩张立明赵相福更多>>
- 相关机构：吉林大学吉林大学第一医院爱尔兰国立大学更多>>
- 发文基金：教育部“新世纪优秀人才支持计划”吉林省科技发展计划基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 本体与规则整合的推理方法研究及设计被引量：5
- 2009年
- 在给出混合知识表示的基础上,提出基于Tableau演算的变种算法Model-Tableau,将其与以SLD原理为基础的Top-down算法混合,给出知识查询的推理方法设计。最后,给出了算法相关证明和系统原型。结果表明:该方案丰富了语义Web的知识表示能力,有效解决了由本体层和规则层结合所产生的查询推理问题。
- 叶育鑫欧阳丹彤领吉张永刚
- 关键词：人工智能知识工程语义WEB本体
- 基于因果关系的模型诊断被引量：9
- 2009年
- 提出一种基于因果关系的思想求解所有极小诊断的新方法。此方法与Reiter的模型诊断方法有着本质的不同,不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用ATMS时的组合爆炸引起的NP-完全问题。并根据因果关系的思想提出了极小诊断组成原理和极小诊断元件个数原理,可直接求出所有的极小诊断,避免了非极小诊断的产生,提高了诊断效率,并且不会丢失正确的解。该算法程序容易编制,且效率较好,可以满足复杂被诊断对象的实时性要求。
- 张立明赵剑赵相福欧阳丹彤白岩
- 关键词：人工智能因果关系
