R-Calculus: A Logic of Belief Revision

Conținutul cărții:

Această carte prezintă noi modele bazate pe R-calculus și teorii de revizuire a credințelor pentru a face față datelor mari și schimbătoare.

Ea extinde R-calculul de la logica de ordinul întâi la logica propozițională, logica descrierii, logica modală și programarea logică, iar de la semantica schimbării minime la schimbarea minimă a subsetului, schimbarea minimă a pseudo-subformulei și schimbarea minimă bazată pe deducție (ultimele două schimbări minime sunt nou definite). Și demonstrează teoreme de soliditate și completitudine cu privire la modificările minime în aceste logici.

Pentru a face R-calculul calculabil, se oferă un R-calcul aproximativ care utilizează metoda priorității prejudiciului finit în teoria recursivității. În plus, sunt prezentate două aplicații ale R-calculus la teoria implicită și la rețelele de moștenire semantică. Această carte oferă un amestec bogat de teorie și practică.

Este potrivită pentru studenți, cercetători și practicieni în domeniul logicii. De asemenea, este foarte utilă pentru toți cei care sunt interesați de date, digitizare și corectitudinea și coerența informațiilor, de logica modală, logica non monotonă, logica decidabilă/undecidabilă, programarea logică, logica descrierii, logica implicită și rețelele de moștenire semantică.