排序方式: 共有12条查询结果,搜索用时 0 毫秒
1.
2.
3.
4.
5.
6.
扩充逻辑程序设计的R—演算—知识库维护的操作方法 总被引:1,自引:0,他引:1
本文首先介绍了知识库维护过程中诸如知识库序列、新规则、用户反驳以及重构等概念;然后给出了一个扩充逻辑程序设计的框架,在这一框架下,每个逻辑程序等价于一个知识库;进一步定义了一个转换系统,称为扩充逻辑程序设计的R-演算,对一个给定的知识库和用户反驱,此演算可以导出知识库的最佳修正;同时证明了该演算的可靠性和完备性;另外,对本文的工作与其他相关工作进行了比较;最后,给出了本文的结论。 相似文献
7.
8.
9.
10.
本文首先介绍了知识库维护过程中诸如知识库序列、新规则、用户反驳以及重构等概念;然后给出了一个扩充逻辑程序设计的框架,在这一框架下,每个逻辑程序等价于一个知识库;进一步定义了一个转换系统,称为扩充逻辑程序设计的R-演算,对一个给定的知识库和用户反驳,此演算可以导出知识库的最佳修正;同时证明了该演算的可靠性和完备性;另外,对本文的工作与其他相关工作进行了比较;最后,给出了本文的结论. 相似文献