Lógica multivaluada: introducción matemática y computacional. Segunda edición

Opiniones de los lectores

Actualmente no hay opiniones de lectores. La calificación se basa en 2 votos.

Título original:

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

Contenido del libro:

Las lógicas multivaluadas son aquellas que tienen más de los dos valores de verdad clásicos, es decir, verdadero y falso.

De hecho, pueden tener de tres a infinitos valores de verdad. Esta propiedad, junto con la funcionalidad de verdad, proporciona un poderoso formalismo para razonar en entornos en los que la lógica clásica -así como otras lógicas no clásicas- no sirve de nada. De hecho, motivadas originalmente por preocupaciones filosóficas, estas lógicas pronto demostraron ser relevantes para una plétora de aplicaciones que van desde la teoría de la conmutación al modelado cognitivo, y hoy en día están más solicitadas que nunca, debido a la constatación de que la inconsistencia y la vaguedad en las bases de conocimiento y los procesos de información no sólo son inevitables y aceptables, sino también quizá bienvenidas.

Las principales aplicaciones modernas de (cualquier) lógica se encuentran en el ordenador digital, por lo que necesitamos conocimientos prácticos sobre cómo informatizar -lo que también significa automatizar- las decisiones (es decir, el razonamiento) en lógicas multivaluadas. Esto, a su vez, requiere una base matemática para estas lógicas. Este libro proporciona tanto esta base matemática como este conocimiento práctico en un texto riguroso, pero accesible, al tiempo que sitúa estas lógicas en el contexto de los problemas de satisfacibilidad y deducción automatizada.

El texto principal se complementa con una amplia selección de ejercicios, una ventaja para el lector que desee no sólo aprender, sino también hacer algo con las lógicas multivaluadas.

La presente segunda edición mejora la primera con adiciones y erratas corregidas, una notación más uniforme, conceptos clave añadidos, como "conjunto difuso" y "libre para", mejores figuras y un Índice completamente rediseñado y más completo.