TITLE:
One Sound and Complete R-Calculus with Pseudo-Subtheory Minimal Change Property
AUTHORS:
Wei Li, Yuefei Sui
KEYWORDS:
Belief Revision; R-Calculus; Soundness and Completeness of a Calculus; Pseudo-Subtheory
JOURNAL NAME:
Journal of Computer and Communications,
Vol.1 No.5,
November
8,
2013
ABSTRACT:
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Δ.