One Sound and Complete <i>R</i>-Calculus with Pseudo-Subtheory Minimal Change Property

• 作者: Wei Li Yuefei Sui
• 来源期刊: 电脑和通信(英文)
• 学科: 数学
• 关键词: Belief Revision R-Calculus SOUNDNESS and COMPLETENESS of a Calculus Pseudo-Subtheory
• 年，卷（期）: dnhtxyw_2013,（5）
• 页码范围: 20-25
• 页数: 6页
• 分类号: O1

摘要

The AGM axiom system is for the belief revision (revision by a single belief), and the DP axiom system is for the iterated revision (revision by a finite sequence of beliefs). Li [1] gave an R-calculus for R-configurations Δ|Γ,?where?Δ?is a set of atomic formulas or the negations of atomic formulas, and?Γ?is a finite set of formulas. In propositional logic programs, one R-calculus N will be given in this paper, such that N is sound and complete with respect to operator s(Δ,t), where s(Δ,t)is a pseudo-theory minimal change of t by?Δ.