The sound and complete R-calculus for revising propositional theories

doi:10.1007/s11432-014-5188-3

	The sound and complete R-calculus for revising propositional theories
	Li Wei 1; Sui YueFei 3; Sun MeiYing 2,3
	2015-09-01
发表期刊	SCIENCE CHINA-INFORMATION SCIENCES
ISSN	1674-733X
卷号	58 期号:9 页码:12
摘要	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 Delta vertical bar Gamma, where Delta is a set of atomic formulas or the negations of atomic formulas, and Gamma 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 Delta\|Gamma double right arrow Gamma' is provable then Gamma' superset of Delta is consistent and Gamma' - Delta is a maximal subset of Gamma such that (Gamma' - Delta)boolean OR Delta is consistent; and for any finite theories. and G, there is a finite theory Gamma' such that Gamma' - Delta is a maximal subset of G such that (Gamma' - Delta) boolean OR Delta is consistent, and Delta\|Gamma double right arrow Gamma' is provable. Moreover, if Delta vertical bar Gamma double right arrow Gamma' is provable then Gamma' satisfies the AGM and the DP postulates.
关键词	belief revision R-calculus minimal change the AGM postulates the DP postulates
DOI	10.1007/s11432-014-5188-3
收录类别	SCI
语种	英语
资助项目	Open Fund of the State Key Laboratory of Software Development Environment, Beihang University[SKLSDE-2010KF-06] ; National Basic Research Program of China (973 Program)[2005CB321901]
WOS研究方向	Computer Science
WOS类目	Computer Science, Information Systems
WOS记录号	WOS:000359801900014
出版者	SCIENCE PRESS
引用统计	被引频次：4[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/9403
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Sun MeiYing
作者单位	1.Beihang Univ, State Key Lab Software Dev Environm, Beijing 100191, Peoples R China 2.Univ Chinese Acad Sci, Beijing 100049, Peoples R China 3.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing 100190, Peoples R China
推荐引用方式 GB/T 7714	Li Wei,Sui YueFei,Sun MeiYing. The sound and complete R-calculus for revising propositional theories[J]. SCIENCE CHINA-INFORMATION SCIENCES,2015,58(9):12.
APA	Li Wei,Sui YueFei,&Sun MeiYing.(2015).The sound and complete R-calculus for revising propositional theories.SCIENCE CHINA-INFORMATION SCIENCES,58(9),12.
MLA	Li Wei,et al."The sound and complete R-calculus for revising propositional theories".SCIENCE CHINA-INFORMATION SCIENCES 58.9(2015):12.