Litgu.ru - Литературный Гуру

Название: 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.








Нашел ошибку? Есть жалоба? Жми!
Пожаловаться администрации