R-CALCULUS: A Logic of Belief Revision [E-Book] / by Wei Li, Yuefei Sui.
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...
Saved in:
Full text |
|
Personal Name(s): | Li, Wei, author |
Sui, Yuefei, author | |
Edition: |
1st edition 2021. |
Imprint: |
Singapore :
Springer,
2021
|
Physical Description: |
XII, 200 pages 4 illustrations, 1 illustrations in color (online resource) |
Note: |
englisch |
ISBN: |
9789811629440 |
DOI: |
10.1007/978-981-16-2944-0 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Perspectives in Formal Induction, Revision and Evolution
|
Subject (LOC): |
- 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.