The sound and complete R-calculus for revising propositional theories
文献类型：期刊论文
| 作者 | Li Wei3; Sui YueFei2; Sun MeiYing1,2 |
| 刊名 | SCIENCE CHINA-INFORMATION SCIENCES
 |
| 出版日期 | 2015-09-01 |
| 卷号 | 58期号:9页码:12 |
| 关键词 | belief revision R-calculus minimal change the AGM postulates the DP postulates |
| ISSN号 | 1674-733X |
| DOI | 10.1007/s11432-014-5188-3 |
| 英文摘要 | 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. |
| 资助项目 | 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记录号 | WOS:000359801900014 |
| 出版者 | SCIENCE PRESS |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/9402]  |
| 专题 | 中国科学院计算技术研究所期刊论文_英文 |
| 通讯作者 | Sun MeiYing |
| 作者单位 | 1.Univ Chinese Acad Sci, Beijing 100049, Peoples R China 2.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing 100190, Peoples R China 3.Beihang Univ, State Key Lab Software Dev Environm, Beijing 100191, 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. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。