R CALCULUS A Logic of Belief Revision Perspectives in Formal Induction Revision and Evolution by Wei Li; Yuefei Sui 9811629439 9789811629433

R CALCULUS A Logic of Belief Revision Perspectives in Formal Induction Revision and Evolution Wei Li – Ebook Instant Download/Delivery ISBN(s): 9789811629433,9811629439

Product details:

• ISBN 10: 9811629439
• ISBN 13:9789811629433
• Author:Wei Li, Yuefei Sui

This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined). And it proves soundness and completeness theorems with respect to the minimal changes in these logics. To make R-calculus computable, an approximate R-calculus is given which uses finite injury priority method in recursion theory. Moreover, two applications of R-calculus are given to default theory and semantic inheritance networks.

Table contents:

1. Introduction
2. Preliminaries
3. R-Calculi for Propositional Logic
4. R-Calculi for Description Logics
5. R-Calculi for Modal Logic
6. R-Calculi for Logic Programming
7. R-Calculi for First-Order Logic
8. Nonmonotonicity of R-Calculus
9. Approximate R-Calculus
10. An Application to Default Logic
11. An Application to Semantic Networks

People also search:

rigorous multivariable calculus book

rigorous calculus

review calculus

belief revision theory

belief revision

a logical calculus immanent in nervous activity