Logiche a molte valenze: introduzione matematica e computazionale. Seconda edizione

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition

Contenuto del libro:

Le logiche a molti valori sono quelle logiche che hanno più dei due valori di verità classici, cioè vero e falso.

Infatti, possono avere da tre a infiniti valori di verità. Questa proprietà, insieme alla funzionalità di verità, fornisce un potente formalismo per ragionare in contesti in cui la logica classica - così come altre logiche non classiche - non ha alcun valore. Infatti, originariamente motivate da preoccupazioni filosofiche, queste logiche si sono presto rivelate rilevanti per una pletora di applicazioni che vanno dalla teoria della commutazione alla modellazione cognitiva, e oggi sono più richieste che mai, grazie alla consapevolezza che l'incoerenza e la vaghezza nelle basi di conoscenza e nei processi informativi non sono solo inevitabili e accettabili, ma forse anche benvenute.

Le principali applicazioni moderne di (qualsiasi) logica si trovano nel computer digitale, e quindi abbiamo bisogno di sapere come computerizzare - il che significa anche automatizzare - le decisioni (cioè i ragionamenti) nelle logiche a molti valori. Questo, a sua volta, richiede una base matematica per queste logiche. Questo libro fornisce sia le basi matematiche che le conoscenze pratiche in un testo rigoroso ma accessibile, collocando allo stesso tempo queste logiche nel contesto del problema della soddisfabilità e della deduzione automatica.

Il testo principale è completato da un'ampia selezione di esercizi, un vantaggio per il lettore che desidera non solo imparare a conoscere, ma anche fare qualcosa con le logiche a molti valori.

La presente seconda edizione migliora la prima grazie alla correzione di addenda ed errata, a una notazione più uniforme, all'aggiunta di concetti chiave come "insieme fuzzy" e "libero per", a figure migliori e a un indice completamente ridisegnato e più completo.