Aunque no es un tratado técnico sobre razonamiento automatizado, este libro aborda en profundidad la naturaleza de la lógica, la computación y la recursión, principios subyacentes cruciales en el razonamiento automatizado, de una manera filosófica y lúdica que expande el contexto más allá de una guía técnica.
Handbook of Automated Reasoning
por Alan Robinson, Andrei Voronkov · 2001
Sinopsis
Una obra enciclopédica en varios volúmenes que cubre la teoría, la implementación y las aplicaciones del razonamiento automatizado, con contribuciones de expertos clave en el campo.
Sé el primero en valorar este libro.
Más de Alan Robinson
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
La cuarta revolución: Cómo la ola de inteligencia artificial transformará la Tierra
Nick Bostrom
2014·divulgacion
El 'Handbook of Automated Reasoning' sienta las bases lógicas y computacionales para sistemas inteligentes. Este libro va más allá al explorar las implicaciones éticas y filosóficas de llevar el razonamiento automatizado a su máxima expresión, la superinteligencia, ofreciendo una perspectiva crítica y futurista que rara vez se asocia directamente con manuales técnicos.
El 'Handbook of Automated Reasoning' trata sobre la mecanización del razonamiento. 'Principia Mathematica' es el intento canónico de formalizar el razonamiento matemático que precedió y en parte inspiró la búsqueda de la automatización, compartiendo la misma ambición de rigor formal y la creencia en la reductibilidad de la verdad a reglas lógicas.
Mientras el 'Handbook' se centra en cómo las máquinas pueden razonar, 'Mentes, máquinas y Gödel' profundiza en las limitaciones fundamentales de los sistemas formales, y por extensión de cualquier sistema de razonamiento automatizado, al contrastar la capacidad humana con la computación, explorando la esencia misma de lo que significa razonar.
Aunque no se centra explícitamente en el razonamiento automatizado, este libro de un influyente filósofo de la ciencia checo-estadounidense explora los principios subyacentes de la inferencia y la justificación lógica tal como se usan en la ciencia, proporcionando un marco conceptual que se alinea con los objetivos del razonamiento automatizado de establecer verdades y derivar explicaciones, pero desde un contexto filosófico menos conocido en el ámbito anglosajón comparado con otros autores.
Este libro profundiza en los fundamentos teóricos que son esenciales para el razonamiento automatizado, especialmente en la validación y verificación de sistemas lógicos. Aunque es una obra fundamental en su campo, para una audiencia más general o no especializada en informática teórica, puede ser considerada 'oscura', proviniendo de un autor británico altamente respetado en el campo pero que no tiene la misma visibilidad mediática que otros autores de divulgación científica.
Este libro comparte una estructura fundamental con el 'Handbook of Automated Reasoning' al ser un manual exhaustivo que desglosa los diferentes componentes y técnicas del razonamiento lógico-computacional. Ambos libros están diseñados como obras de referencia que guían al lector a través de los métodos formales y algorítmicos necesarios para comprender y construir sistemas de razonamiento.
Similar al libro de referencia, esta obra tiene una estructura enciclopédica y sistemática, abordando el razonamiento automatizado desde sus bases teóricas hasta sus aplicaciones en diferentes capítulos temáticos. La forma de presentar la información, dividida por métodos y dominios de aplicación, es comparable a la organización de un 'handbook' al proporcionar una visión comprensiva del campo.