Wei Li,Yuefei Sui
R-CALCULUS: A Logic of Belief Revision
R-CALCULUS: A Logic of Belief Revision
YOU SAVE £15.03
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £2.39. Subject to product weight & dimension
Bulk ordering. Want 15 or more copies? Get a personalised quote and bigger discounts. Learn more about bulk orders.
Couldn't load pickup availability
- More about R-CALCULUS: A Logic of Belief Revision
This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data,extending it to propositional logic,description logics,modal logic,and logic programming. It also provides an approximate R-calculus and applications to default theory and semantic inheritance networks. It is suitable for students, researchers, and practitioners in logic, data, digitization, correctness, and consistency of information.
Format: Paperback / softback
Length: 200 pages
Publication date: 03 November 2022
Publisher: Springer Verlag, Singapore
This comprehensive book presents groundbreaking models and theories for dealing with large and dynamic data. By extending the R-calculus from first-order logic to propositional logic, description logics, modal logic, and logic programming, it encompasses a wide range of formalisms. Moreover, it introduces novel minimal change semantics, including subset minimal change, pseudo-subformula minimal change, and deduction-based minimal change, which are newly defined. The book provides soundness and completeness theorems for these logics, ensuring their computational feasibility.
To facilitate practical applications, an approximate R-calculus is introduced, employing the finite injury priority method in recursion theory. Furthermore, two practical applications of R-calculus are demonstrated: default theory and semantic inheritance networks.
This book serves as a valuable resource for students, researchers, and practitioners in the field of logic. Its interdisciplinary nature makes it particularly useful for individuals interested in data, digitization, correctness, and consistency of information, modal logics, non-monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics, and semantic inheritance networks. The rich blend of theory and practice presented in this book ensures its appeal to a broad audience.
Weight: 332g
Dimension: 235 x 155 (mm)
ISBN-13: 9789811629464
Edition number: 1st ed. 2021
This item can be found in:
UK and International shipping information
UK and International shipping information
UK Delivery and returns information:
- Delivery within 2 - 3 days when ordering in the UK.
- Shipping fee for UK customers from £2.39. Fully tracked shipping service available.
- Returns policy: Return within 30 days of receipt for full refund.
International deliveries:
Shulph Ink now ships to Australia, Belgium, Canada, France, Germany, Ireland, Italy, India, Luxembourg Saudi Arabia, Singapore, Spain, Netherlands, New Zealand, United Arab Emirates, United States of America.
- Delivery times: within 5 - 10 days for international orders.
- Shipping fee: charges vary for overseas orders. Only tracked services are available for most international orders. Some countries have untracked shipping options.
- Customs charges: If ordering to addresses outside the United Kingdom, you may or may not incur additional customs and duties fees during local delivery.
