-
Views
-
Cite
Cite
Wei Li, R-Calculus: An Inference System for Belief Revision, The Computer Journal, Volume 50, Issue 4, July 2007, Pages 378–390, https://doi.org/10.1093/comjnl/bxl069
- Share Icon Share
Abstract
First-order languages have been introduced to describe beliefs formally and the concept of revision is defined for model as well as proof. A logical inference system named R-calculus is defined to derive all maximal contractions of a base of belief set for its given refutations. The R-calculus consists of the structural rules, an axiom, a cut rule and the rules for logical connectives and quantifiers. Some examples are given to demonstrate how to use the R-calculus. Furthermore, the properties reachability, soundness and completeness of the R-calculus are formally defined and proved.