The Sound and Complete <i>R</i>-Calculi with Respect to Pseudo-Revision

• 作 者: Wei Li Yuefei Sui
• 机 构: KeyLaboratoryofIntelligentInformationProcessing,StateKeyLaboratoryofSoftwareDevelopmentEnvironment
• 出 处: 智能科学国际期刊(英文)
• 发表日期: 2013年2期
• 关键词: Belief REVISION R-Calculus Maximal Consistent Set Pseudo-Revision Pre-Revision B

The AGM postulates ([1]) are for the belief revision (revision by a single belief), and the DP postulates ([2]) are for the iterated revision (revision by a finite sequence of beliefs). Li [3] gave an R-calculus for R-configurations △|Γ, where Δ is a set