Aunque no es un libro de programación, 'Gödel, Escher, Bach' profundiza en las ideas subyacentes a la lógica formal y la recursión, fundamentales en Prolog, de una manera filosófica y lúdica. La programación lógica se basa en la manera en que un sistema puede deducir verdades, lo cual resuena con los bucles autoreferenciales y los sistemas autorreferenciales que Hofstadter explora para explicar la inteligencia y la conciencia.
Paradigma de la Programación Lógica y su Aplicación en Prolog
por Ivan Bratko · 2001
Sinopsis
Un texto fundamental que explora los fundamentos teóricos y prácticos de la programación lógica, con un enfoque en Prolog como lenguaje para construir sistemas inteligentes y de inteligencia artificial.
Sé el primero en valorar este libro.
Más de Ivan Bratko
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
El libro de Bratko se centra en la aplicación de un paradigma de programación específico (lógico) para la IA. Wing, en cambio, aborda un concepto más amplio: cómo pensar para resolver problemas de manera algorítmica, independiente del lenguaje. La programación lógica en Prolog es una manifestación directa de este pensamiento computacional, al requerir la descomposición de problemas en reglas lógicas.
El paradigma de la programación lógica, especialmente en Prolog, se basa en la demostración de la verdad de proposiciones a partir de un conjunto de hechos y reglas. Esta aproximación resuena con la preocupación de Popper por la lógica de la argumentación y la validación del conocimiento. Aunque en dominios diferentes (filosofía de la ciencia vs. programación), ambos exploran cómo se establecen y manipulan las verdades dentro de un sistema formal.
El libro de Bratko se sumerge en un paradigma específico: la programación lógica con Prolog. Sebesta, en cambio, ofrece una perspectiva más amplia de los diferentes paradigmas de programación, situando el paradigma lógico en el contexto de otros enfoques. La conexión reside en entender la filosofía de diseño y las decisiones teóricas que dieron origen a lenguajes como Prolog, en contraposición a los lenguajes imperativos o funcionales.
Mientras Bratko se enfoca en la práctica de la programación lógica, Kuich explora los fundamentos matemáticos que subyacen a toda la computación. Comprender las máquinas de Turing y la computabilidad da un contexto profundo sobre los límites y las capacidades de cualquier lenguaje de programación, incluido Prolog, y cómo se relaciona con la resolución de problemas de manera algorítmica.
El libro de Bratko es una aplicación práctica de Prolog en IA, mientras que Reimann ofrece una base teórica sólida de la lógica subyacente. Esta obra, menos conocida en el ámbito anglófono que otros textos de IA, presenta la lógica como el andamiaje fundamental sobre el que se construye Prolog y muchos de los algoritmos de IA.
Similar a 'Paradigma de la Programación Lógica', este libro se centra en los conceptos y la aplicación de un paradigma de programación declarativo específico (funcional, con Haskell), en contraste con el imperativo predominante. Ambos libros enseñan a 'pensar' en la resolución de problemas de una manera estructurada y no secuencial, basada en la definición de qué es un problema en lugar de cómo resolverlo paso a paso.
Mientras que Bratko se enfoca en Prolog y IA, Knuth presenta una estructuración profunda de los componentes básicos de la programación desde una perspectiva algorítmica. Ambos libros, aunque abordan lenguajes y temas diferentes, comparten una dedicación meticulosa a desglosar los problemas y las soluciones en sus elementos fundamentales, enfatizando la lógica y la eficiencia subyacentes.