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

• 作者: 朱朝晖 肖文洁
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 有缺指派 信念修正 表示定理
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 47-54
• 页数: 8页
• 分类号: TP18
• 字数: 8309字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2010.03463

摘要

经典的AGM信念修正理论和以D-P假设为代表的迭代信念修正理论都是以完全指派为可能世界而进行的理论研究.把这些研究推广到有缺指派的领域中与完全指派为每个原子命题符号都指派真假值不同,有缺指派是一个三值指派,它可以为每个原子命题符号指派真、假和不确定三值之一.以有缺指派为可能世界,对D-P系统进行了推广,证明了相应的表示定理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱朝晖	南京航空航天大学信息科学与技术学院	11	19	3.0	4.0
2	肖文洁	南京航空航天大学信息科学与技术学院	3	14	2.0	3.0