缺省逻辑

作品数：39被引量：40H指数：3
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：张明义丁德成苏开乐傅丽刘瑞胜更多>>
相关机构：南京大学贵州科学院北京大学吉林大学更多>>
相关期刊：《上海交通大学学报》《智能计算机与应用》《计算机学报》《江西师范大学学报（哲学社会科学版）》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家社会科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于缺省逻辑的本体研究
《计算机工程与应用》2009年第30期42-44,共3页李志平 孙瑜 
云南省自然科学基金No.2004F0017Q;No.2005F0022Q;云南省教育厅重点基金No.07Z10661~~
基于人们对可继承系统的缺省理论的研究,以及本体与可继承系统的相似性,对本体的缺省理论进行研究。本体包括一组概念和性质;概念之间的从属关系以及概念和性质之间的继承和缺省继承关系。在本体的缺省理论中,本体中所有的断言被表示为...
关键词：本体 缺省逻辑 优先序 知识表示 
缺省逻辑的Roos扩充
《计算机工程与应用》2006年第14期30-33,共4页傅丽 
国家自然科学基金资助项目(编号:10331010)
Reiter的缺省逻辑的一个缺陷是不能分情形进行推理,为了克服Reiter扩充的这一缺陷,Roos提出了缺省扩充的一种修正定义来解决这一问题。文中将讨论Roos扩充类似于Reiter扩充的一些性质,发现Reiter扩充的一些性质对Roos扩充不再成立,并指...
关键词：Reiter扩充 Roos-扩充 半单调性 结论 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部