知识库更新

作品数：10被引量：9H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：栾尚敏陶雪红戴国忠马绍汉叶进更多>>
相关机构：中国科学院软件研究所山东大学吉林大学中国直升机设计研究所更多>>
相关期刊：《软件学报》《科学技术与工程》《计算机工程与应用》《计算机系统应用》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划北京市重点学科建设基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
扩展的动态逻辑程序及其在产品个性化推荐中的应用
《计算机系统应用》2013年第9期149-153,共5页夏杰 王洁 蔡文君 
北京市教委基金(05007011200704)
动态逻辑程序能很好的处理知识库更新问题,但它不能描述和处理具有偏好的知识更新问题.因此,本文在动态逻辑程序的基础上,提出了一种新的扩展的动态逻辑程序,它通过对规则头部使用有序析取的方法使其能够描述和处理具有偏好的知识更新问...
关键词：知识库更新 扩展的动态逻辑程序 用户偏好 最优回答集 个性化推荐 
基于模糊数学的决策树技术在信号知识库更新中的应用
《科技创新与生产力》2011年第4期100-102,105,共4页胡岳鹏 李淑芳 
针对当前铁路信号设备维修中维修信息的模糊性、信息获取的不完备性,使维修决策支持系统知识库的更新变得很困难这个问题,提出了通过对知识的模糊性表示,采用决策树分类技术对设备状态进行分类,形成具有信息确信度的子树,通过子树合成...
关键词：决策树 知识库 模糊产生式规则 信息增益 训练数据集 
命题规则知识库更新的一种代数方法被引量：4
《中国科学（E辑）》2008年第2期177-194,共18页栾尚敏 戴国忠 
国家重点基础研究发展规划计划(批准号:2002CB312103);北京市重点学科建设资助项目
知识库更新的一个重要主题就是寻找高效的实现方法,为此人们做了很多工作,但还没有很好地解决.代数方法具有良好的性质和实现方法,文中给出了基于规则知识库更新的代数方法.首先讨论了如何把知识库更新和协调性检查转化为代数问题.知识...
关键词：知识库更新 PETRI网 命题知识库 扩充逻辑程序 
一种形式化知识库更新方法—修正程序
《武汉科技学院学报》2006年第4期37-40,共4页李新战 王晓刚 曾奕 
本文在逻辑程序的理论基础上引入一种规范知识库更新的形式化方法—修正程序,它允许使用逻辑程序的说明性语义和强制性语义来解释修正规则,但用来解释修正程序将会变得非常困难,本文将引入修正程序的语义模型-P-合理修正,并讨论了修正...
关键词：逻辑程序 修正程序 知识库更新 
对基于FIPA结构的本体知识库更新和查询信息方法的改进
《科学技术与工程》2006年第7期817-821,共5页曹智 李仁发 
由于FIPA结构的本体知识库在信息的更新和查询过程中存在处理时间过长、平台与知识库不兼容、过分依靠外部构件和不支持C-S模式等问题,在基于FIPA结构的知识库中,根据其内部构件支持HTTP协议的特点增加三种机制:(1)将信息以三元组的形...
关键词：本体知识库 Meta本体 rdftp 
知识库更新的一种可编程实现的方法
《中国科学（E辑）》2005年第8期785-797,共13页栾尚敏 戴国忠 李未 
国家重大基础研究计划"九七三"(2002CB312103);国家自然科学基金(批准号:60033020;70371052)资助项目
讨论了知识库是有限子句集时的更新过程,给出了这种情况下知识库更新的一种可编程实现的方法.首先讨论了求极大协调子集的基本思想和方法,然后给出了求极大协调子集的完全过程和非完全过程,证明了它们的正确性;讨论了知识库更新的实现方...
关键词：知识库 知识库更新 子句 规则 更新过程 可编程 全过程 子句集 子集 极大 
修正的逻辑程序知识库更新方法
《计算机工程与应用》2004年第36期58-60,66,共4页曾奕 董红斌 李宁 房丽娜 
国家自然科学重大研究计划项目(编号:90204011);武汉大学软件工程国家重点试验室开放基金
基于逻辑程序的知识库更新方法研究的焦点在于处理知识库的冲突问题,但代价是更新时规则库增大很快,该文提出了“修正的逻辑程序知识库更新方法”,此种方法基于一种规范知识库更新的形式化方法—修正程序,此种更新方法不仅可以最大程度...
关键词：知识库更新 修正程序 逻辑程序 逻辑程序更新 
基于溯因问题求解的知识库更新被引量：2
《吉林大学自然科学学报》1999年第1期25-28,共4页孙吉贵 刘瑞胜 陈荣 
国家自然科学基金;863计划资助课题
在一个广义的溯因问题框架下，讨论以逻辑公式形式表示的知识库的维护问题．使用表推演方法，检查知识库协调性，对知识库进行扩展、约减和修正。
关键词：广义 溯因问题 知识库更新 表推演法 维护 
命题知识库更新的算法及其复杂性被引量：2
《软件学报》1996年第5期300-305,共6页陶雪红 孙伟 马绍汉 
国家自然科学基金
本文介绍了知识库更新的基本概念及命题知识库更新的复杂性研究现状．近年来，学者们提出了许多方法进行命题知识库的更新，一类是基于公式的方法；一类是基于模型的方法，但所有这些方法在通常情况下都是难解的．本文讨论基于公式的Ｇ...
关键词：人工智能 知识加更新 算法 复杂性 知识库 
知识库更新的研究被引量：3
《计算机科学》1995年第3期32-36,31,共6页马绍汉 陶雪红 
国家自然科学基金
<正>一、研究现状 在知识库管理中,当人们获取了新的领域知识时,就需对原有知识库进行更新.对知识库的更新,从理论上讲,主要有以下三种基本操作~[4]
关键词：知识库 Ginsberg方法 WIDTIO方法 知识获取 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部