Olvasói vélemények
Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.
Eredeti címe:
Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Könyv tartalma:
A sokértékű logikák azok a logikák, amelyeknek a két klasszikus igazságértéknél több igazságértéke van, azaz igaz és hamis.
Valójában háromtól végtelen sok igazságértékkel rendelkezhetnek. Ez a tulajdonság, az igazság-funkcionalitással együtt, egy erőteljes formalizmust biztosít a gondolkodáshoz olyan környezetben, ahol a klasszikus logika - és más nem-klasszikus logikák - nem érnek semmit. E logikák, amelyeket eredetileg filozófiai megfontolások motiváltak, hamarosan relevánsnak bizonyultak a kapcsoláselmélettől a kognitív modellezésig terjedő alkalmazások sokaságában, és ma minden korábbinál nagyobb igény mutatkozik rájuk annak felismerése miatt, hogy a tudásbázisok és információs folyamatok ellentmondásossága és homályossága nemcsak elkerülhetetlen és elfogadható, hanem talán még üdvözlendő is.
A (bármilyen) logika fő modern alkalmazásai a digitális számítógépben találhatók, és ezért szükségünk van arra a gyakorlati tudásra, hogy hogyan lehet számítógépesíteni - ami egyben automatizálást is jelent - a sokértékű logikákban történő döntéseket (azaz érvelést). Ehhez viszont szükség van e logikák matematikai megalapozására. Ez a könyv mind ezt a matematikai alapot, mind ezt a gyakorlati tudást egy szigorú, mégis közérthető szövegben nyújtja, miközben ezeket a logikákat a kielégíthetőségi probléma(k) és az automatizált dedukció kontextusába helyezi.
A főszöveget a gyakorlatok nagy választéka egészíti ki, ami pluszpontot jelent a sokértékű logikákról nem csak tanulni, hanem tenni is akaró olvasó számára.
A jelen második kiadás javítja az elsőt a javított kiegészítésekkel és hibajegyzékekkel, egységesebb jelöléssel, hozzáadott kulcsfogalmakkal, mint például a "fuzzy set" és a "free for", jobb ábrákkal és egy teljesen újratervezett, átfogóbb Indexszel.
