Opinie czytelników
Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.
Oryginalny tytuł:
Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Zawartość książki:
Logiki wielowartościowe to logiki, które mają więcej niż dwie klasyczne wartości prawdy, czyli prawdę i fałsz.
W rzeczywistości mogą one mieć od trzech do nieskończenie wielu wartości prawdy. Ta właściwość, wraz z funkcjonalnością prawdy, zapewnia potężny formalizm do rozumowania w środowiskach, w których logika klasyczna - jak również inne nieklasyczne logiki - jest bezskuteczna. Rzeczywiście, logiki te, pierwotnie motywowane względami filozoficznymi, szybko okazały się istotne dla wielu zastosowań, od teorii przełączania po modelowanie kognitywne, a dziś są bardziej poszukiwane niż kiedykolwiek, ze względu na świadomość, że niespójność i niejasność w bazach wiedzy i procesach informacyjnych są nie tylko nieuniknione i akceptowalne, ale być może nawet mile widziane.
Główne współczesne zastosowania (dowolnej) logiki można znaleźć w komputerze cyfrowym, a zatem potrzebujemy praktycznej wiedzy, jak skomputeryzować - co oznacza również zautomatyzować - decyzje (tj. rozumowanie) w logikach wielowartościowych. To z kolei wymaga matematycznych podstaw dla tych logik. Niniejsza książka dostarcza zarówno tej matematycznej podstawy, jak i praktycznej wiedzy w rygorystycznym, ale przystępnym tekście, jednocześnie sytuując te logiki w kontekście problemu(ów) spełnialności i automatycznej dedukcji.
Główny tekst jest uzupełniony dużym wyborem ćwiczeń, co jest zaletą dla czytelnika, który chce nie tylko poznać, ale także zrobić coś z logikami wielowartościowymi.
Obecne drugie wydanie jest ulepszone w stosunku do pierwszego dzięki poprawionym dodatkom i erratom, bardziej jednolitej notacji, dodanym kluczowym pojęciom, takim jak "zbiór rozmyty" i "free for", lepszym rysunkom i całkowicie przeprojektowanemu, bardziej wszechstronnemu indeksowi.
