Hodnotenie:
Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.
Bridges from Classical to Nonmonotonic Logic
Predstavte si robota, ktorý sa snaží odhadnúť zložitú situáciu a nájsť spôsob, ako na ňu reagovať. Jeho senzory prijímajú prúdy informácií, na základe ktorých sa snaží usudzovať.
Ak sa bude spoliehať len na dedukciu, ďaleko sa nedostane, bez ohľadu na to, aké rýchle sú jeho inferenčné motory; aj tie najmasívnejšie informácie sú totiž zvyčajne neúplné: existujú relevantné otázky, ktoré tak či onak nerieši. Robot, resp. ľudský agent musí ísť za tieto hranice.
Musí ísť nadklasicky", vyvodzovať viac, než povoľuje samotná klasická logika.
Takéto závery sú však vo svojej podstate neisté. Sú tiež nemonotónne v tom zmysle, že získavanie ďalších informácií, aj keď sú v súlade s existujúcou zásobou, nás môže viesť k abonencii, ako aj k pridaniu záverov.
Nemonotónna logika je štúdiom takýchto úvah a je predmetom intenzívneho výskumu už viac ako dve desaťročia. Pre nováčika je to však stále nepríjemná záležitosť, ktorej chýba jednota s mnohými systémami smerujúcimi rôznymi smermi. Cieľom tejto knihy je zbaviť túto tému tajomstva a poskytnúť jasný celkový obraz o tom, o čo ide.
Sprístupňuje základné myšlienky a hlavné prístupy k nemonotónnej logike, a to zmysluplne, každému, kto má niekoľko základných nástrojov diskrétnej matematiky a minimálne základy klasickej výrokovej logiky. Je napísaná ako učebnica s podrobnými vysvetleniami, príkladmi, komentármi, cvičeniami a odpoveďami. Študenti aj vyučujúci v nej nájdu neoceniteľnú príručku.
