Abstract
The AGM postulates are for the belief revision (revision by a single belief), and the DP postulates for the iterated revision (revision by a finite sequence of beliefs). Li 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 this paper, two deduction systems for the revision of a theory by another theory are given such that the systems are sound and complete, that is, if Δ|Γ ⇒ Γ′ is provable then Γ′ ⊇ Δ is consistent and Γ′ - Δ is a maximal subset of Γ such that (Γ′ - Δ) ∪ Δ is consistent; and for any finite theories Δ and Γ, there is a finite theory Γ ′ such that Γ′ - Δ is a maximal subset of G such that (Γ′ - Δ) ∪ Δ is consistent, and Δ|Γ ⇒ Γ′ is provable. Moreover, if Δ|Γ ⇒ Γ′ is provable then Γ satisfies the AGM and the DP postulates.
| Original language | English |
|---|---|
| Pages (from-to) | 1-12 |
| Number of pages | 12 |
| Journal | Science China Information Sciences |
| Volume | 58 |
| Issue number | 9 |
| DOIs | |
| State | Published - 17 Sep 2015 |
Keywords
- R-calculus
- belief revision
- minimal change
- the AGM postulates
- the DP postulates
Fingerprint
Dive into the research topics of 'The sound and complete R-calculus for revising propositional theories'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver