Journal of Computer and Communications
Volume 1, Issue 5 (October 2013)
ISSN Print: 2327-5219 ISSN Online: 2327-5227
Google-based Impact Factor: 1.12 Citations
One Sound and Complete R-Calculus with Pseudo-Subtheory Minimal Change Property ()
Affiliation(s)
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 Δ.
KEYWORDS
Share and Cite:
Cited by
Copyright © 2024 by authors and Scientific Research Publishing Inc.
This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.