Cover Image
Read Now

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

Full description

Bibliographic Details
Main Authors: Li, Wei, Sui, Yuefei (Author)
Format: eBook
Language:English
Published: Singapore Springer Nature Singapore 2021, 2021
Edition:1st ed. 2021
Series:Perspectives in Formal Induction, Revision and Evolution
Subjects:
Big Data
Mathematical Logic
Logic In Ai.
Formal Languages And Automata Theory
Machine Theory
Mathematical Modeling And Industrial Mathematics
Mathematical Logic And Foundations
Logic Programming
Mathematical Models
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Introduction
  • Preliminaries
  • R-calculi for Propositional Logic
  • R-calculi for Description Logics
  • R-calculi for Modal Logic
  • R-calculi for Logic Programming
  • R-calculi for First-order Logic
  • Nonmonotonicity of R-calculus
  • Approximate R-calculus
  • An application to Default Logic
  • An application to Semantic Networks

Similar Items