Lógicas no clásicas para la inteligencia artificial

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.

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.

Luis M. Augusto·2017·no ficcion

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.

Ricardo Caferra·2011·no ficcion

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.

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.

Á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.

Kim B. Bruce·2002·no ficcion

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.

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'.