@inproceedings{7cae79fb72204db8a06f9094c64451f9,
title = "An R-Calculus for the logic programming",
abstract = "The AGM postulates are for the belief revision (revision by a single belief), and the DP postulates are for the iterated revision (revision by a finite sequence of beliefs). Li (The Computer Journal 50:378–390, 2007) gave an Rcalculus for R-configurations D|C, where D is a set of atomic formulas or the negations of atomic formulas, and C is a finite set of formulas in the first-order logic. This paper will give a set of axioms and deduction rules for the revision of logic programmings, based on the structure of formulas, so that the deduction system is sound and complete with respect to the maximal consistent subsets of the revised sets by the revising sets of formulas. Moreover, it will be showed that the deduction system satisfies the AGM postulates and the DP postulates.",
keywords = "AGM postulates, Belief revision, Maximal consistent subset, R-calculus",
author = "Wei Li and Yuefei Sui",
note = "Publisher Copyright: {\textcopyright} Springer India 2014.; International Conference on Computer Science and Information Technology, CSAIT 2013 ; Conference date: 21-09-2013 Through 23-09-2013",
year = "2014",
doi = "10.1007/978-81-322-1759-6\_98",
language = "英语",
series = "Advances in Intelligent Systems and Computing",
publisher = "Springer Verlag",
pages = "863--870",
editor = "Srikanta Patnaik and Xiaolong Li",
booktitle = "International Conference on Computer Science and Information Technology, CSAIT 2013, Proceedings",
address = "德国",
}