摘要: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 Δ.
关键词:Belief Revision; R-Calculus; Soundness and Completeness of a Calculus; Pseudo-Subtheory