Portada de Lógicas no clásicas para la inteligencia artificial

Lógicas no clásicas para la inteligencia artificial

por Agustín Vicente · 2004

Sinopsis

Este libro aborda diversas lógicas no clásicas, como la lógica difusa, la lógica modal o la lógica por defecto, explorando sus fundamentos teóricos y su aplicabilidad en el campo de la inteligencia artificial.

Sé el primero en valorar este libro.

Libros similares

Libros relacionados según distintos criterios de búsqueda

Introducción a las lógicas no clásicas

Lorenzo Peña

1993·filosofia

Aunque el título es similar, este libro se enfoca en la base filosófica y matemática de las lógicas no clásicas desde una perspectiva crítica y fundacional, lo que es 'no obvio' en el contexto de IA que generalmente se centra en la aplicación. La conexión es profunda en los fundamentos teóricos subyacentes que sustentan las aplicaciones de IA.

Gödel, Escher, Bach: Un eterno y grácil bucle

Douglas R. Hofstadter

1979·no ficcion

Mientras el libro de referencia trata sobre lógicas no clásicas para la IA, este libro aborda de forma 'no obvia' temas como la autoconciencia y la inteligencia a través de bucles extraños y la autorreferencia en sistemas formales, que son conceptos fundamentales y problemáticos en el desarrollo de la IA, pero rara vez se abordan directamente en textos sobre lógicas de IA.

El libro de referencia se centra en lógicas no clásicas para la IA. Este libro se conecta a un nivel 'profundo' al abordar una subcategoría crucial de lógicas no clásicas – las multivaluadas – que son esenciales para modelar la incertidumbre y la vaguedad, problemas intrínsecos de la IA, pero desde una perspectiva más matemática y computacional profunda que el texto de referencia.

Ambos libros tienen la 'lógica para IA' como tema central. Sin embargo, 'Logic for Computer Science and Artificial Intelligence' profundiza en las bases computacionales y algorítmicas de diversas lógicas, incluyendo las no clásicas, lo que permite una comprensión más 'profunda' de cómo estas lógicas se implementan y se utilizan en la práctica de la IA, más allá de la mera descripción de sus propiedades abstractas.

Rivales de la lógica clásica

Raymundo Morado

filosofia

El libro de referencia trata sobre lógicas no clásicas aplicadas a la IA. Este recurso de Raymundo Morado ofrece una perspectiva 'oscura' o menos conocida en el ámbito anglosajón, concentrándose en el panorama de las lógicas rivales a la clásica desde una óptica hispanohablante y abarcando una amplitud de temas que no suelen aparecer juntos en la bibliografía estándar, proporcionando un contexto filosófico e histórico adicional.

Lógica Matemática e Inteligencia Artificial

Ángel Garrido

2015·no ficcion

Mientras que el libro de referencia aborda lógicas no clásicas para la IA, este texto de Garrido se considera 'oscuro' en el contexto de las recomendaciones generales de IA, ya que se enfoca en figuras lógicas históricas a menudo pasadas por alto y en las conexiones conceptuales profundas menos transitadas entre la lógica matemática y la IA, ofreciendo una perspectiva cultural y académica menos conocida internacionalmente.

Aunque no se trata directamente de 'lógicas', la estructura de los sistemas de tipos en programación comparte una similitud estructural 'profunda' con la construcción de lógicas formales. Ambos campos se ocupan de la inferencia, la consistencia, la completitud y la capacidad expresiva de los sistemas. La forma en que se definen y se demuestran las propiedades de los tipos es análoga a cómo se construyen y analizan las lógicas no clásicas en IA, buscando flexibilidad y capacidad de modelado para diferentes requisitos computacionales.

Conceptos de Lenguajes de Programación

Robert W. Sebesta

1996·no ficcion

El libro de referencia discute las lógicas no clásicas como herramientas para la IA. De manera 'estructural', este libro explora cómo se construyen formalmente los lenguajes de programación y sus sistemas semánticos. La manera en que los lenguajes abordan conceptos como la evaluación, la concurrencia o la inferencia de tipos se basa en principios lógicos que, al igual que las lógicas no clásicas, buscan extender o modificar el marco clásico para adaptarse a escenarios computacionales más complejos y 'no clásicos'.

Ver sugerencias

Ayúdame a que yoleo sea sostenible