Excodra XXXVI: La tecnología

Con la electricidad no me meto… fui ingeniero electrónico muchos
años atrás, pero lo que no hay ninguna duda es que el computador programado
moderno es un hijo de la electrónica. Es decir, si bien la idea
de poder automatizar el razonamiento de alguna manera es un tema
que tiene una larga historia, incluso digamos, la lógica es una manera
de abstraer y poder formalizar y obtener razonamiento, personas como
Leibniz y Babbage y demás que trataron de automatizar y mecanizar
procesos de pensamiento, es algo que viene a ser posible facilitado por
el desarrollo de la electrónica y de los primeros computadores modernos
a mediados del S. XX, no es sólo resultado de la electrónica, sino
también resultado del trabajo de Turing, que de alguna manera el
hardware básicamente sigue el patrón que estableció Turing de manera
eminentemente teórica en los años 30. Sin electrónica no habría el
computador moderno, y sin Turing las cosas hubieran sido también
bastante diferentes, y sin eso tampoco habría habido inteligencia artificial.
Al hilo de esto, sobre la lógica, en los estudios de IA, ¿se apoyan
más en la lógica o en la neurociencia?
La lógica tuvo mucho que ver con el origen del computador programable
moderno y con el trabajo de Turing, que básicamente era un lógico,
y también tiene que ver con temas de IA. Ahora, lo que es el razonamiento
deductivo no es algo cien por ciento racional cuando se quiere
hacer en un ordenador, porque razonar desde el punto de vista lógico
es computacionalmente difícil. Uno de los problemas es demostrar
teoremas en la lógica de predicados, no hay algoritmo que pueda resolver
ese problema en tiempo finito. No todo lo que se pueda describir se
puede computar, y menos computar de manera efectiva. Si uno quiere
hacer un programa que razone de manera deductiva, ese programa no
puede ser al cien por cien racional, va a tener que utilizar algún tipo de
heurísticas para saber cómo establecer un hilo de prueba y otras tantas
cosas. Osea que la racionalidad cien por cien no existe y las razones por
la que no existe son del punto de vista computacional porque no se
Excodra XXXVI 132 La tecnología