###
DOI:
Journal of Software:2010.21(1):47-54

有缺指派下的信念修正逻辑
肖文洁,朱朝晖
(南京航空航天大学 信息科学与技术学院,江苏 南京 210016)
Belief Revision Based on Incomplete Valuations
XIAO Wen-Jie,ZHU Zhao-Hui
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 4944   Download 3518
Received:March 25, 2008    Revised:August 11, 2008
> 中文摘要: 经典的AGM信念修正理论和以D-P假设为代表的迭代信念修正理论都是以完全指派为可能世界而进行的理论研究.把这些研究推广到有缺指派的领域中与完全指派为每个原子命题符号都指派真假值不同,有缺指派是一个三值指派,它可以为每个原子命题符号指派真、假和不确定三值之一.以有缺指派为可能世界,对D-P系统进行了推广,证明了相应的表示定理.
中文关键词: 有缺指派  信念修正  表示定理
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.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60573070, 60496327 (国家自然科学基金); the Jiangsu Provincial Natural Science Foundation of China under Grant No.BK2007191 (江苏省自然科学基金); the Fok Ying-Tung Education Foundation of China under Grant No.101070 (霍英东教育基金) Supported by the National Natural Science Foundation of China under Grant Nos.60573070, 60496327 (国家自然科学基金); the Jiangsu Provincial Natural Science Foundation of China under Grant No.BK2007191 (江苏省自然科学基金); the Fok Ying-Tung Education Foundation of China under Grant No.101070 (霍英东教育基金)
Foundation items:
Reference text:

肖文洁,朱朝晖.有缺指派下的信念修正逻辑.软件学报,2010,21(1):47-54

XIAO Wen-Jie,ZHU Zhao-Hui.Belief Revision Based on Incomplete Valuations.Journal of Software,2010,21(1):47-54