Las bases matemáticas de la inteligencia artificial

Mientras Boole estableció las bases lógicas simbólicas para el razonamiento y, tangencialmente, la IA, Hofstadter explora, de una manera mucho más interdisciplinaria y menos formalmente matemática, cómo estas ideas subyacen a la conciencia y la inteligencia. La conexión es sobre la naturaleza profunda de la inteligencia desde una perspectiva que no se centra únicamente en la formulación lógica formal.

Aunque Turing es reconocido por su papel fundacional en la informática y la IA, este ensayo particular se adentra en las implicaciones filosóficas de la computación y la inteligencia, haciendo un puente con el trabajo fundacional de Boole sobre la simbolización del pensamiento. La conexión es 'no obvia' porque, si bien ambos son figuras clave, el argumento de Turing sobre la conciencia y las limitaciones de la lógica (inspirado en Gödel) expande las bases formales de Boole hacia el debate existencial de la IA.

Boole sentó las bases para el análisis matemático de la lógica. Los 'Principia Mathematica' representan la cúspide de este programa logicista, buscando formalizar la lógica y las matemáticas de una manera que profundiza en la creencia de Boole de que la lógica podía ser tratada como un cálculo. Ambos libros comparten la arquitectura de pensamiento de que la lógica es el fundamento universal del razonamiento y puede ser simbolizada y operada.

Aunque de un estilo y filosofía muy diferentes a Boole, la 'arquitectura de pensamiento' subyacente es similar: la lógica es fundamental para comprender cómo estructuramos el conocimiento y el mundo. Boole proporcionó el 'cómo' instrumental con su cálculo, mientras que Wittgenstein reflexionó sobre el 'por qué' y los límites inherentes a esa estructura lógica en relación con el lenguaje y el significado.

Aunque Boole es a menudo citado como el pionero de la lógica matemática, Frege desarrolló, de forma independiente y con una notación bidimensional, un sistema mucho más potente para la lógica de predicados que superó las limitaciones de la lógica silogística y la lógica de clases de Boole. Es un precursor menos reconocido en el mundo anglosajón en comparación con Boole, pero su impacto en la lógica formal es inmenso y más directo en el desarrollo de los lenguajes de programación y la IA.

La obra de Boole, 'El análisis matemático de la lógica', utiliza la notación y las operaciones del álgebra para formalizar la lógica. 'A Course of Modern Analysis' no trata sobre lógica, pero comparte la 'estructura' de aplicar formalismos matemáticos rigurosos (en este caso, del análisis) para establecer un sistema coherente y deductivo. La similitud estructural reside en la conceptualización de un dominio (lógica para Boole, análisis para Whittaker y Watson) a través de un marco matemático formal y simbólico.

Publicado el mismo año que el trabajo seminal de Boole, el libro de De Morgan comparte una estructura fundamental similar: el intento de formalizar y matematizar la lógica, incluyendo elementos de probabilidad, mediante un 'cálculo de inferencia'. Ambos autores, de forma independiente, trabajaron en la aplicación de un armazón matemático para la deducción, estableciendo las bases para la lógica moderna, aunque con enfoques ligeramente distintos en la notación y algunos principios.