|
|
A sound and complete R-calculi with respect to contraction and minimal change |
Wei LI1,*( ),Yuefei SUI2,*( ) |
1. State Key Laboratory of Software Development Environment, Beihang University, Beijing 100191, China 2. Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China |
|
|
Abstract AGM postulates are for belief revision (revision by a single belief), and DP postulates are for iterated revision (revision by a finite sequence of beliefs). R-calculus is given for R-configurations Δ|┌, where Δ is a set of atomic formulas or the negations of atomic formulas, and ┌ is a finite set of formulas. We shall give two R-calculi C and M (sets of deduction rules) such that for any finite consistent sets ┌, Δ of formulas in the propositional logic, there is a consistent set Θ?┌ of formulas such that Δ|┌⇒Δ, Θ is provable and Θ is a contraction of ┌ by Δ or a minimal change of ┌ by Δ; and prove that C and M are sound and complete with respect tothe contraction and the minimal change, respectively.
|
Keywords
belief revision
R-calculus
minimal change
contraction
|
Corresponding Author(s):
Wei LI
|
Issue Date: 24 June 2014
|
|
1 |
HanssonS O. Theory contraction and base contraction unified. Journal of Symbolic Logic, 1993, 602-625 doi: 10.2307/2275221
|
2 |
LiW. R-calculus: an inference system for belief revision. The Computer Journal, 2007, 50(4): 378-390 doi: 10.1093/comjnl/bxl069
|
3 |
AlchourrónC E, GärdenforsP, MakinsonD. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, 1985, 510-530 doi: 10.2307/2274239
|
4 |
HerzigA, RifiO. Propositional belief base update and minimal change. Artificial Intelligence, 1999, 115(1): 107-138 doi: 10.1016/S0004-3702(99)00072-7
|
5 |
SatohK. Nonmonotonic reasoning by minimal belief revision. In: Proceedings of the 5th the International Conference on Generation Computer Systems. 1988, 455-462
|
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
|
Shared |
|
|
|
|
|
Discussed |
|
|
|
|