Article citationsMore>>

P. Gärdenfors and H. Rott, “Belief Revision,” In: D. M. Gabbay, C. J. Hogger and J. A. Robinson, Eds., Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 4, Epistemic and Temporal Reasoning, Oxford Science Pub., 1995, pp. 35-132.

has been cited by the following article:

• 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Δ.