Hodnotenie:
Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.
Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Mnohohodnotové logiky sú logiky, ktoré majú viac ako dve klasické pravdivostné hodnoty, teda true a false.
V skutočnosti môžu mať tri až nekonečne veľa pravdivostných hodnôt. Táto vlastnosť spolu s pravdivostnou funkčnosťou poskytuje silný formalizmus na uvažovanie v podmienkach, kde klasická logika - ako aj iné neklasické logiky - nie sú užitočné. Tieto logiky, pôvodne motivované filozofickými záujmami, sa skutočne čoskoro ukázali ako relevantné pre množstvo aplikácií od teórie prepínania až po kognitívne modelovanie a dnes sú žiadanejšie ako kedykoľvek predtým vďaka poznaniu, že nekonzistentnosť a nejasnosť v bázach znalostí a informačných procesoch sú nielen nevyhnutné a prijateľné, ale možno aj vítané.
Hlavné moderné aplikácie (akejkoľvek) logiky sa nachádzajú v digitálnom počítači, a preto potrebujeme praktické znalosti, ako informatizovať - čo znamená aj automatizovať - rozhodovanie (t. j. uvažovanie) v mnohohodnotových logikách. To si zasa vyžaduje matematický základ týchto logík. Táto kniha poskytuje tento matematický základ aj tieto praktické znalosti v prísnom, ale prístupnom texte, pričom tieto logiky zároveň situuje do kontextu problému(ov) splniteľnosti a automatizovanej dedukcie.
Hlavný text je doplnený veľkým výberom cvičení, čo je výhodou pre čitateľa, ktorý sa chce o mnohohodnotových logikách nielen dozvedieť, ale s nimi aj niečo urobiť.
Predkladané druhé vydanie vylepšuje prvé vydanie opravenými dodatkami a erratami, jednotnejším zápisom, pridanými kľúčovými pojmami, ako sú "fuzzy množina" a "free for", lepšími obrázkami a úplne prepracovaným, obsiahlejším indexom.
