R-Calculus: A Logic of Belief Revision
Táto kniha predstavuje nové modely založené na R-kalkuluse a teóriách revízie presvedčení na prácu s veľkými a meniacimi sa údajmi.
Rozširuje R-kalkulus z logiky prvého rádu na výrokovú logiku, logiku popisu, modálnu logiku a logické programovanie a zo sémantiky minimálnych zmien na podmnožinu minimálnych zmien, pseudopodformulu minimálnych zmien a minimálnu zmenu založenú na dedukcii (posledné dve minimálne zmeny sú novo definované). A dokazuje vety o správnosti a úplnosti vzhľadom na minimálne zmeny v týchto logikách.
Aby bol R-kalkul vypočítateľný, uvádza sa približný R-kalkul, ktorý využíva metódu priority konečného poškodenia v teórii rekurzie. Okrem toho sa uvádzajú dve aplikácie R-kalkulu na teóriu predvolieb a sémantické siete dedičnosti. Táto kniha ponúka bohatú zmes teórie a praxe.
Je vhodná pre študentov, výskumníkov a praktikov v oblasti logiky. Taktiež je veľmi užitočná pre všetkých, ktorí sa zaujímajú o dáta, digitalizáciu a korektnosť a konzistenciu informácií, o modálne logiky, nemonotónne logiky, rozhodnuteľné/nerozhodnuteľné logiky, logické programovanie, logiku popisu, defaultné logiky a sémantické dedičné siete.
