Inteligencia Artificial Simbólica: De la Lógica al Razonamiento Automatizado Paperback – November 28, 2025

Este libro ofrece una base completa sobre la inteligencia artificial simbólica, tendiendo un puente entre la lógica clásica y las técnicas de razonamiento automatizado avanzadas. El libro va más allá del razonamiento deductivo para abarcar la programación lógica inductiva (ILP), que permite a los sistemas aprender reglas y probabilidades a partir de la evidencia, y el razonamiento abductivo, que permite a los sistemas explicar, verificar e incluso exhibir inteligencia creativa. También incluye ejemplos de IA neurosimbólica. Su utilidad práctica se demuestra a través de una amplia colección de ejemplos académicos, científicos y de ingeniería, en disciplinas tan variadas como la ciberseguridad, sistemas de defensa, gestión de proyectos, robótica, ingeniería de software, líneas de productos, psicología y epistemología. Los casos son tan variados como las disciplinas puesto que van desde un simple programa de gestión de reuniones en SAT y de proyectos en Prolog, pasando por sistemas verificación de modelos de software usando SMT y Prolog, sistemas de control de robots usando programación lógica por restricciones y programación lógica inductiva, sistemas de defensa antiaérea explicables usando solvers neurosimbólicos tales como ∂ILP, sistemas inteligentes de ensamblado y producción usando la programación lógica probabilística, sistemas de diagnóstico de enfermedades y de problemas de ciberseguridad usando la programación abductiva, y hasta agentes de ML que pueden aprender de sus propios errores gracias a sistemas de meta-aprendizaje implementados en el solver Clingo; entre muchos otros casos.Entonces, ¿para quién es este libro?Este libro es para estudiantes de pregrado y posgrado en ingeniería, informática y disciplinas afines; profesores e investigadores que deseen profundizar en los aspectos prácticos del razonamiento automatizado; así como para profesionales de TI, gestores de conocimiento y tomadores de decisiones interesados en comprender a fondo las bases lógicas de la inteligencia artificial simbólica y sus aplicaciones para resolver problemas complejos del mundo real. Read more