Overview
- Broadens your understanding on belief revision, and introduces the new models and theories based on R-calculus
- Equips readers with theories to handle large and changing data
- Inspires theoretic computer scientists by showing how R-calculus is developed into a series of complicated theories
Part of the book series: Perspectives in Formal Induction, Revision and Evolution (PFIRE)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctnessand consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.Similar content being viewed by others
Keywords
Table of contents (11 chapters)
-
Front Matter
-
Back Matter
Authors and Affiliations
About the authors
Wei Li, is a Professor in the School of Computer Science and Engineering, Beihang University, Beijing, China and is a member of the Chinese Academy of Sciences. Prof. Li is mostly engaged in the applied research of Computer Software and Theory, and the Internet, including programming languages, software development, artificial intelligence, and integrated circuit design.
Yuefei Sui, is a Professor in the Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China. His main interests include knowledge representation, applied logic and the theory of computability.
Bibliographic Information
Book Title: R-CALCULUS: A Logic of Belief Revision
Authors: Wei Li, Yuefei Sui
Series Title: Perspectives in Formal Induction, Revision and Evolution
DOI: https://doi.org/10.1007/978-981-16-2944-0
Publisher: Springer Singapore
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Science Press 2021
Hardcover ISBN: 978-981-16-2943-3Published: 02 November 2021
Softcover ISBN: 978-981-16-2946-4Published: 03 November 2022
eBook ISBN: 978-981-16-2944-0Published: 01 November 2021
Series ISSN: 2731-3689
Series E-ISSN: 2731-3697
Edition Number: 1
Number of Pages: XII, 200
Number of Illustrations: 3 b/w illustrations, 1 illustrations in colour
Topics: Logic in AI, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Mathematical Modeling and Industrial Mathematics, Big Data