Computational Logic and Hunan Thinking3

Computational Logic and Hunan Thinking: How to be artificially intelligent



Robert A. Kowalski
Department of Computing Imperial Collage




















La Lógica Computacional ha sido desarrollada en el campo de la Inteligencia Artificial en los últimos 50 años, en un intento por programar computadores que muestren niveles humanos de inteligencia. Está basada en la Lógica Simbólica, lenguajecuyas oraciones están representadas por símbolos y cuyo razonamiento se realiza a través de la manipulación de símbolos, tal como en la resolución de ecuaciones en el álgebra. Sin embargo, los intentos de usar la Lógica Simbólica para resolver problemas prácticos por medio de computadores la han conducido a muchas simplificaciones y extensiones. La Lógica Computacional resultante no solamente esmás poderosa en cuanto a su aplicacion computacional, sino que también y más útil para los el propósito original de la lógica: mejorar el pensar humano.
La Lógica Tradicional, la Lógica Simbólica y la Lógica Computacional tienen todas que ver con la forma abstracta de las oraciones y con el cómo esa forma afecta la correctitud de los argumentos. Aún cuando la lógica tradicional se remonta a la épocade Aristóteles, en el siglo IV A.C., la Lógica Simbólica se desarrolla por vez primera en el siglo XIX, con las formas matemáticas de la lógica desarrolladas por George Boole y Gottlob Frege. Se le extiende considerablemente en el siglo XX con el trabajo de Bertrand Russell, Alfred North Whitehead, Kurt Gödel y muchos otros, con su aplicación a los fundamentos de las Matemáticas.

La relaciónentre la lógica y el pensamiento

La Lógica Computacional emerge en la segunda mitad del siglo XX, a partir de intentos por mecanizar la generación de pruebas en matemáticas, y fué luego extendida tanto para representar formas más generales de conocimiento, como para realizar estrategias más generales para resolver problemas. La variedad de Lógica Computacional que se presenta en este libro debemucho a las contribuciones de John McCarthy y John Alan Robinson. Los logros de la Lógica Simbólica en el siglo pasado han sido considerables. Pero han conducido a que la Lógica originaria se convierta en una rama la Matemática y haya perdido contacto con sus raíces en el razonamiento humano. La Lógica Computacional también emplea notación matemática, lo cual facilita su implementación computacionalpero oscurece su relevancia para el pensar humano.


La Lógica, en todas sus variedades, tiene que ver con formalizar las leyes del pensamiento. Junto a disciplinas asociadas, como los estudios de Leyes y Derecho y las Ciencias Gerenciales, la Lógica se concentra en la formulación de teorías normativas, que prescriben como debería razonar la gente. La Psicología Cognitiva también está interesada enel pensamiento, pero se concentra casi exclusivamente en teorías descriptivas, que estudian cómo, de hecho, piensa la gente la práctica, sea correcto o no. En general, esos dos tipos de teorías se han desarrollado por separado y mantienen muy poca relación entre ellos.
No obstante ese divorcio, en los últimos años, los psicólogos cognitivistas han desarrollado teorías del Proceso Dual (DualProcess Theories), que pueden ser entendidas como la combinación de teorías normativas y descriptivas. Vistas desde la perspectiva de las teorías de Proceso Dual, las teorías descriptivas tradicionales se enfocan en el pensamiento intuitivo, que es asociativo, automático, paralelo y subconsciente. Las teorías normativas tradicionales, por otro lado, se enfocan en el pensamiento deliberativo (N.T. sedebería decir racional, deliberativo en Español no tiene esa acepción), que está basado en reglas, requiere un esfuerzo, es serial y consiente.
Pero la Lógica está interesada, no solamente con el pensar en abstracto, sino también con pensamientos representados en forma de oraciones y con pensar visto como la manipulación de oraciones para generar nuevos pensamientos. En la Lógica Computacional,...