R-Calculus: A Logic of Belief Revision
In diesem Buch werden neue Modelle auf der Grundlage des R-Kalküls und Theorien der Glaubensrevision für den Umgang mit großen und sich ändernden Daten vorgestellt.
Es erweitert den R-Kalkül von der Logik erster Ordnung auf die Aussagenlogik, die Beschreibungslogik, die Modallogik und die logische Programmierung sowie von der Semantik der minimalen Änderung auf die minimale Änderung von Teilmengen, die minimale Änderung von Pseudo-Teilformeln und die deduktionsbasierte minimale Änderung (die letzten beiden minimalen Änderungen sind neu definiert). Und es werden Theoreme der Solidität und Vollständigkeit in Bezug auf die minimalen Änderungen in diesen Logiken bewiesen.
Um den R-Kalkül berechenbar zu machen, wird ein approximativer R-Kalkül angegeben, der die Methode der endlichen Verletzungspriorität in der Rekursionstheorie verwendet. Außerdem werden zwei Anwendungen des R-Kalküls für die Standardtheorie und semantische Vererbungsnetzwerke vorgestellt. Dieses Buch bietet eine reichhaltige Mischung aus Theorie und Praxis.
Es eignet sich für Studenten, Forscher und Praktiker auf dem Gebiet der Logik. Es ist auch sehr nützlich für alle, die sich für Daten, Digitalisierung, Korrektheit und Konsistenz von Informationen, Modallogiken, nicht monotone Logiken, entscheidbare/unentscheidbare Logiken, logische Programmierung, Beschreibungslogiken, Standardlogiken und semantische Vererbungsnetzwerke interessieren.
| ISBN: | 9789811629433 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Hardcover |
Derzeit verfügbar, auf Lager.
