Название: R-CALCULUS: A Logic of Belief RevisionАвтор: Wei Li, Yuefei Sui
Издательство: Springer
Год: 2021
Формат: true pdf/epub
Страниц: 210
Размер: 17.1 Mb
Язык: English
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.