R-Calculus: A logika a hit revíziója

Eredeti címe:

R-Calculus: A Logic of Belief Revision

Könyv tartalma:

Ez a könyv új, R-kalkuluson és a nagy és változó adatok kezelésére szolgáló, a meggyőződések felülvizsgálatára vonatkozó elméleteken alapuló modelleket mutat be.

Az R-kalkulust az elsőrendű logikából kiterjeszti a kijelentéslogikára, a leíró logikára, a modális logikára és a logikai programozásra, a minimális változás szemantikából pedig a részhalmaz-minimális változásra, az ál-alkuláris minimális változásra és a dedukció-alapú minimális változásra (az utóbbi két minimális változás újonnan definiált). És bizonyítja a hangossági és teljességi tételeket e logikák minimális változásaira vonatkozóan.

Az R-kalkulus kiszámíthatóvá tételéhez egy közelítő R-kalkulust ad, amely a rekurzióelméletben a véges sérülésprioritás módszerét használja. Továbbá az R-kalkulus két alkalmazását adjuk meg az alapértelmezés-elméletre és a szemantikus öröklési hálózatokra. Ez a könyv az elmélet és a gyakorlat gazdag keverékét kínálja.

Alkalmas a logika területén dolgozó hallgatók, kutatók és gyakorlati szakemberek számára. Emellett nagyon hasznos mindazok számára, akiket érdekelnek az adatok, a digitalizálás és az információ helyessége és konzisztenciája, a modális logikák, a nem monoton logikák, a dekidálható/nem dekidálható logikák, a logikai programozás, a leírási logikák, az alapértelmezett logikák és a szemantikus öröklési hálózatok.