N. Friedman and J. Y. Halpern, “Belief Revision: A Critique, to Appear in J. of Logic, Language and Information,” In: L. C. Aiello, J. Doyle and S. C. Shapiro, Eds., Proceedings of the 5th Conference of Principles of Knowledge Representation and Reasoning, 1996, pp. 421-431.

has been cited by the following article:

• TITLE: The Sound and Complete R-Calculi with Respect to Pseudo-Revision and Pre-Revision

  AUTHORS: Wei Li, Yuefei Sui

  KEYWORDS: Belief Revision; R-Calculus; Maximal Consistent Set; Pseudo-Revision; Pre-Revision

  JOURNAL NAME: International Journal of Intelligence Science, Vol.3 No.2, April 30, 2013

  ABSTRACT: 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 of literals, and Γ is a finite set of formulas. We shall give two R-calculi such that for any consistent set Γ and finite consistent set △ of formulas in the propositional logic, in one calculus, there is a pseudo-revision Θ of Γ by Δ such that is provable and and in another calculus, there is a pre-revision Ξ of Γ by Δ such that is provable, and for some pseudo-revision Θ; and prove that the deduction systems for both the R-calculi are sound and complete with the pseudo-revision and the pre-revision, respectively.