R-Calculus: A Logic of Belief Revision

by Wei Li

Book Overview

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...

• Format: Paperback
• Language: English
• ISBN: 9811629463
• ISBN13: 9789811629464
• Release Date: November 2022
• Publisher: Springer
• Length: 200 Pages
• Weight: 0.67 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"