Al igual que Reimann, Miranda profundiza en la lógica proposicional y de primer orden, enfocándose en su aplicación en inteligencia artificial y programación lógica.
Lógica para la Inteligencia Artificial
por Raymond Reimann · 1993
Ver sugerenciasSinopsis
Un manual que introduce los conceptos esenciales de la lógica formal (proposicional y de predicados de primer orden) aplicados directamente a problemas y técnicas de inteligencia artificial.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Smullyan combina lógica matemática con inteligencia artificial, proporcionando un enfoque accesible que evoca el estilo didáctico del manual de Reimann.
Caferra cubre la lógica y sus aplicaciones en inteligencia artificial, similar a Reimann, centrando su texto en métodos de resolución y razonamiento automático.
Garrido explora las contribuciones de lógicos al desarrollo de la IA, un tema que se complementa con el enfoque práctico de Reimann sobre lógica aplicada.
Furbach introduce fundamentos lógicos y métodos de razonamiento automático, conectándose con la intención de Reimann de aplicar la lógica a la inteligencia artificial.
Cohen presenta la programación lógica y paradigmas de inteligencia artificial, siguiendo un enfoque práctico que se alinea con la estructura del manual de Reimann.