有缺指派下的信念修正逻辑.PDFVIP

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software , Vol.21, No.1, January 2010, pp.47−54 doi: 10.3724/SP.J.1001.2010.03463 Tel/Fax: +86-10 © by Institute of Software , the Chinese Academy of Sciences . All rights reserved. ∗ 有缺指派下的信念修正逻辑 + 肖文洁, 朱朝晖 (南京航空航天大学 信息科学与技术学院,江苏 南京 210016) Belief Revision Based on Incomplete Valuations + XIAO Wen-Jie , ZHU Zhao-Hui (College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China) + Corresponding author: E-mail: xiaowj_1981@ Xiao WJ, Zhu ZH. Belief revision based on incomplete valuations. Journal of Software, 2010,21(1):47−54. /1000-9825/3463.htm Abstract : Classical belief revision theory and iterated belief revision theory are both developed in the framework of complete valuations. This paper extends the research to the incomplete valuation. Different from complete valuation, incomplete valuation may assign the unknown state to some atomic propositions. Adopting incomplete valuation as possible world, this paper establishes a model-based representation theorem which characterizes the proposed postulates and constrains. Key words: incomplete valuation; belief revision; representation theorem 摘 要: 经典的AGM 信念修正理论和以 D-P 假设为代表的迭代信念修正理论都是以完全指派为可能世界而进 行的理论研究.把这些研究推广到有缺指派的领域中与完全指派为每个原子命题符号都指派真假值不同,有缺指派 是一个三值指派,它可以为每个原子命题符号指派真、假和不确定三值之一.以有缺指派为可能世界,对D-P 系统进 行了推广,证明了相应的表示定理. 关键词: 有缺指派;信念修正;表示定理 中图法分类号: TP18 文献标识码: A 自20 世纪 80 年代起,信念修正(belief revision)就是人工智能研究领域的热点之一.信念修正主要研究的是 Agent 在接受新知识时,信念集是如何变化的.Alchourrón,Gardenfors 和 Makinson 等人共同创立了信念修正理 论[1,2],简写为AGM,是形成较