R-Calculus: A Logic of Belief Revision

Zawartość książki:

Książka ta wprowadza nowe modele oparte na R-kalkulusie i teoriach rewizji przekonań do radzenia sobie z dużymi i zmieniającymi się danymi.

Rozszerza R-kalkulus z logiki pierwszego rzędu na logikę propozycjonalną, logikę opisu, logikę modalną i programowanie logiczne oraz z semantyki minimalnej zmiany na minimalną zmianę podzbioru, minimalną zmianę pseudo-podformuły i minimalną zmianę opartą na dedukcji (dwie ostatnie minimalne zmiany są nowo zdefiniowane). Udowodniono również poprawność i kompletność twierdzeń w odniesieniu do minimalnych zmian w tych logikach.

Aby uczynić R-kalkulator obliczalnym, podano przybliżony R-kalkulator, który wykorzystuje metodę priorytetu skończonych obrażeń w teorii rekurencji. Ponadto podano dwa zastosowania R-kalkulusa do teorii domyślnej i semantycznych sieci dziedziczenia. Książka ta oferuje bogate połączenie teorii i praktyki.

Jest odpowiednia dla studentów, badaczy i praktyków w dziedzinie logiki. Jest również bardzo przydatna dla wszystkich tych, którzy interesują się danymi, cyfryzacją oraz poprawnością i spójnością informacji, logikami modalnymi, logikami niemonotonicznymi, logikami rozstrzygalnymi/nierozstrzygalnymi, programowaniem logicznym, logikami opisu, logikami domyślnymi i semantycznymi sieciami dziedziczenia.