Logic Programming: The Approach of J. A. Robinson

Aunque 'Logic Programming' es sobre un campo técnico específico, este libro explora las implicaciones filosóficas y las interconexiones culturales de la lógica formal y la computación. Ofrece una perspectiva no obvia sobre los fundamentos teóricos que subyacen a los sistemas de programación lógica, en lugar de un tratado directamente técnico.

Mientras que 'Logic Programming' se enfoca en cómo las máquinas razonan, 'Cybernetics' es un predecesor conceptual que examina cómo las máquinas (y los animales) se autorregulan y comunican. Conecta el acto de 'programar lógica' con un marco más amplio de sistemas inteligentes y control, abriendo una ventana a los orígenes del pensamiento computacional más allá de la lógica pura.

Este libro se conecta profundamente con el espíritu de 'Logic Programming' al explorar la génesis filosófica y pragmática de la computación tal como la conocemos. Analiza las grandes preguntas sobre la naturaleza del pensamiento y el razonamiento automatizado que impulsaron a pioneros como J.A. Robinson, mostrando cómo la 'programación lógica' es una manifestación de esas ambiciones fundacionales.

Mientras 'Logic Programming' se enfoca en el razonamiento deductivo determinista, este libro explora un paradigma de programación que aborda el razonamiento inductivo y probabilístico. La conexión 'deep' radica en cómo ambos abordan el problema fundamental del 'razonamiento' en la computación, pero desde arquitecturas de pensamiento distintas (certeza vs. incertidumbre), revelando la amplitud de la formalización del pensamiento.

Aunque no trata directamente de computación, este ensayo del psicoterapeuta austríaco-estadounidense Watzlawick se conecta con la idea de sistemas y la estructuración del conocimiento que subyace a la programación lógica. Explora la 'lógica' inherente a cómo los humanos (y por extensión, los sistemas que diseñan) interpretan y modelan el mundo, ofreciendo una perspectiva lateral y menos conocida en el contexto de la lógica formal.

Este libro, del matemático Martin Davis, uno de los capítulos del 'Handbook of Automated Reasoning' editado por Robinson y Voronkov [sigmod.org], se enfoca en la vida y la obra del hombre que estableció las bases teóricas de la computación. Mientras que 'Logic Programming' se centra en una aplicación específica, este libro ofrece una visión esencial de la figura que hizo posible imaginar la computación, lo cual es fundamental para entender todo el campo. Es menos conocido en el ámbito generalista hispanohablante que otras biografías de Turing.

Al igual que el libro de referencia de Lusk sirve como un enfoque monográfico sobre la labor de J.A. Robinson en la programación lógica, este 'Handbook' es una colección exhaustiva y estructurada de los principios del razonamiento automatizado. Ambos comparten una estructura de tratado o compendio, con capítulos dedicados a aspectos fundamentales y técnicos de sus respectivos campos, proporcionando una cobertura profunda y sistemática [openlibrary.org].

Este libro, coeditado por el propio Ewing Lusk, comparte la estructura de una compilación centrada en un área específica de la computación. Al igual que el libro de referencia se centra en un enfoque particular de la programación lógica (el de J.A. Robinson), esta obra recopila múltiples perspectivas y contribuciones en el campo, utilizando una estructura de artículos de conferencia para profundizar en diferentes facetas del tema [openlibrary.org].