Recenzii ale cititorilor
În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.
Titlul original:
Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Conținutul cărții:
Logicile cu multe valori sunt acele logici care au mai mult decât cele două valori de adevăr clasice, și anume, adevărat și fals.
De fapt, ele pot avea de la trei la infinit de multe valori de adevăr. Această proprietate, împreună cu funcționalitatea adevărului, oferă un formalism puternic pentru a raționa în medii în care logica clasică - precum și alte logici non-clasice - nu este de folos. Într-adevăr, motivate inițial de preocupări filosofice, aceste logici s-au dovedit curând relevante pentru o multitudine de aplicații, de la teoria comutării la modelarea cognitivă, iar în prezent sunt mai solicitate ca niciodată, datorită conștientizării faptului că inconsecvența și neclaritatea în bazele de cunoștințe și în procesele informaționale nu sunt doar inevitabile și acceptabile, ci poate chiar binevenite.
Principalele aplicații moderne ale (oricărei) logici se regăsesc în computerul digital și, prin urmare, avem nevoie de cunoștințe practice despre cum să computerizăm - ceea ce înseamnă, de asemenea, să automatizăm - deciziile (adică raționamentul) în logici cu multe valori. Acest lucru, la rândul său, necesită o bază matematică pentru aceste logici. Această carte oferă atât această bază matematică, cât și aceste cunoștințe practice într-un text riguros, dar accesibil, situând în același timp aceste logici în contextul problemei (problemelor) de satisfiabilitate și al deducției automate.
Textul principal este completat cu o selecție largă de exerciții, un plus pentru cititorul care dorește nu numai să învețe despre, ci și să facă ceva cu, logicele cu multe valori.
Prezenta a doua ediție îmbunătățește prima prin addenda și errata corectate, o notație mai uniformă, noțiuni cheie adăugate, cum ar fi "setul fuzzy" și "liber pentru", figuri mai bune și un Index complet reproiectat și mai cuprinzător.
