知识库更新的一种可编程实现的方法
摘要
讨论了知识库是有限子句集时的更新过程,给出了这种情况下知识库更新的一种可编程实现的方法.首先讨论了求极大协调子集的基本思想和方法,然后给出了求极大协调子集的完全过程和非完全过程,证明了它们的正确性;讨论了知识库更新的实现方法;最后和相关工作进行了比较.
出处
《中国科学（E辑）》
CSCD
北大核心
2005年第8期785-797,共13页
Science in China(Series E)
基金
国家重大基础研究计划"九七三"(2002CB312103)
国家自然科学基金(批准号:60033020
70371052)资助项目
参考文献28
-
1Doyle J. A truth maintenance system. Artificial Intelligence, 1979, 12:231～272.
-
2Kleer J D. An assumption-based TMS. Artificial Intelligence, 1986, 28:127～162Visintine V. An Introduction to Information Risk Assessment. SANS institute, 2003.8.
-
3Fagin R, Ullman J D, Vardi M Y. On the semantics of updates in databases. In: Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principle of Database Systems, Atlanta, Georgia, U.S.A., 1983. 352～365.
-
4Ginsberg M L, Smith D E. Reasoning about action I: A possible worlds approach. Artificial Intelligence, 1988, 35: 165～195.
-
5Alchourron C E, Gardenfors P, Markinson D. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 1985, 50(2): 510～530.
-
6Gardenfors P. Knowledge in Flux:Modeling the Dynamics of Epistemic States. Cambridge:The MIT Press, 1988.
-
7Gardenfors P, Makinson D. Revisions of knowledge systems using epistemic entrenchment. In:Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, Asilomar,California, U.S.A., 1988. 83-95.
-
8Friedman N, Halpern J Y. Modeling belief in dynamic systems part Ⅱ: revision and update. Journal of Artificial Intelligence Research, 1999, 10:117～167.
-
9Katsuno H, Mendelzon A O. Propositional knowledge base revision and minimal change. Artificial Intelligence, 1991, 52: 263～294.
-
10Nebel B. A knowledge level analysis of belief revision. In: Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, Mrogan Kaufman, 1989. 301～311.
-
1毕立财.基于知识推理的舰炮雷达智能诊断技术应用研究[J].现代导航,2017,8(1):65-69.
-
2薛冰冰,普杰信.基于数据挖掘的网络入侵检测系统模型[J].广东自动化与信息工程,2003,24(3):11-13.
-
3李娟,明德廷.江西省农业专家系统的构建及数据库模式层的改进[J].安徽农业科学,2010,38(7):3718-3720. 被引量：3
-
4夏杰,王洁,蔡文君.扩展的动态逻辑程序及其在产品个性化推荐中的应用[J].计算机系统应用,2013,22(9):149-153.
-
5胡岳鹏,李淑芳.基于模糊数学的决策树技术在信号知识库更新中的应用[J].科技创新与生产力,2011(4):100-102.
-
6孙吉贵,刘瑞胜,陈荣.基于溯因问题求解的知识库更新[J].吉林大学自然科学学报,1999(1):25-28. 被引量：2
-
7栾尚敏,戴国忠.命题规则知识库更新的一种代数方法[J].中国科学（E辑）,2008,38(2):177-194. 被引量：4
-
8陶雪红,孙伟,马绍汉.命题知识库更新的算法及其复杂性[J].软件学报,1996,7(5):300-305. 被引量：2
-
9曾奕,董红斌,李宁,房丽娜.修正的逻辑程序知识库更新方法[J].计算机工程与应用,2004,40(36):58-60.
-
10马绍汉,陶雪红,孙伟.一类命题知识库的更新算法[J].计算机研究与发展,1996,33(2):127-131. 被引量：3
