知识表示和推理

作品数：18被引量：75H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：常亮王小军周昌盛吕汉兴余晓东更多>>
相关机构：桂林电子科技大学中国科学院西安交通大学清华大学更多>>
相关期刊：《计算机工程与应用》《电子学报》《海军工程大学学报》《中国中医药科技》更多>>
相关基金：国家自然科学基金云南省自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可判定的时序动态描述逻辑被引量：6
《软件学报》2011年第7期1524-1537,共14页常亮 史忠植 古天龙 王晓峰 
国家自然科学基金(60903079;60775035;60963010;60803033);国家高技术研究发展计划(863)(2007AA01Z132);国家重点基础研究发展计划(973)(2007CB311004);广西自然科学基金(0832006Z)
动态描述逻辑DDL(dynamic description logic)提供了一种基于描述逻辑的动作理论,适用于语义Web环境下对动态领域知识的刻画和推理.为了将分支时序逻辑的刻画能力引入到动态描述逻辑中,将时间的进展体现为原子动作的执行,从而将时序维...
关键词：动态描述逻辑 分支时序逻辑 知识表示和推理 动作理论 Tableau判定算法 
通用型CAPP专家系统中知识表示和推理机制的研究被引量：1
《软件学报》1994年第8期21-29,共9页杨莉 何志均 
国家自然科学基金;浙江省自然科学基金;浙江大学CAIJ&CG国家重点买验室开放基金
ＣＡＰＰ作为ＣＡＤ与ＣＡＭ的中间桥梁，是ＣＩＭＳ必不可少的重要环节．本文针对开发通用性ＣＡＰＰ专家系统过程中，产品零件表示和工艺规程设计这两个关键问题，根据事物之间的相似性原理，提出了面向对象的产品零件和工艺规程的知...
关键词：CAPP 专家系统 知识表示 推理机制 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部