知识库更新相关论文
知识库更新的一个重要主题就是寻找高效的实现方法,为此人们做了很多工作,但还没有很好地解决.代数方法具有良好的性质和实现方法,......
该文的主要内容是关于知识表示和知识库更新的研究.该文致力于对FCM的分析和改进,得到以下两方面的结果:1、该文提出了一套系统的F......
[研究团队核心成员]rn沈玉利、刘双印、邱德全、张世龙、刘磊安、王蕙、徐龙琴rn该研究团队基于人工智能和知识工程的思想,针对现......
讨论了知识库是有限子句集时的更新过程, 给出了这种情况下知识库更新的一种可编程实现的方法.首先讨论了求极大协调子集的基本思......
在一个广义的溯因问题框架下，讨论以逻辑公式形式表示的知识库的维护问题．使用表推演方法，检查知识库协调性，对知识库进行扩展、约减和......
动态逻辑程序能很好的处理知识库更新问题，但它不能描述和处理具有偏好的知识更新问题．因此，本文在动态逻辑程序的基础上，提出了一种新......
基于逻辑程序的知识库更新方法研究的焦点在于处理知识库的冲突问题。但代价是更新时规则库增大很快，该文提出了“修正的逻辑程序知......
在一个广义的溯因问题框架下，讨论以逻辑公式形式表示的知识库的维护问题。使用表推演方法，检查知识库协调性，对知识库进行扩展，约减和......
本文在逻辑程序的理论基础上引入一种规范知识库更新的形式化方法-修正程序，它允许使用逻辑程序的说明性语义和强制性语义来解释修......
