Perspectivas teóricas en A.I. Un creciente sentimiento de desánimo Enrique Alonso (enrique.alonso@uam.es) U.A.M.

Un teatro de operaciones con dos frentes Los argumentos lógico-matemáticos Los grandes experimentos mentales

Los argumentos lógico-matemáticos Distintas variantes del argumento mirabilis Consideraciones acerca de la interpretación de la Tesis de Church En torno al teorema de incompletitud de Gödel: Lucas, Penrose En torno al problema de parada: Kalmar, Penrose

Los grandes experimentos mentales El Test de Turing (A. Turing, 1950) El experimento de la Habitación China (J. Searle,1980)

El Test de Turing Criterio de Identidad privilegiado: la función Forma de determinar la función: la conducta

El experimento de la Habitación china El concepto de imitación es primitivo: imitar no supone encarnar la entidad que produce la conducta imitada El modelo computacional clásico sólo imita La I.A. es posible si se reproducen las capacidades causales del cerebro

Los grandes experimentos mentales Esta es la última

El estado de la cuestión Los argumentos lógico-matemáticos Las distintas modalidades de argumento mirabilis han resultado no ser concluyentes Se malinterpreta el significado de las proposiciones afectadas por el Teorema de Incompletitud de Gödel Hay términos afectados por cierta vaguedad (Kalmar-Penrose)

El estado de la cuestión El enfoque lógico-matemático Interpretaciones de la Tesis de Church Hay una creciente tendencia a desmitificar su contenido: Es un enunciado autorrealizativo Es un enunciado tautológico Es un enunciado vago: confunde procesamiento mecánico con computable

El estado de la cuestión El enfoque lógico-matemático Interpretaciones de la Tesis de Church Su análisis incentiva la investigación de interpretaciones más amplias de la calculabilidad efectiva: Computación analógica Supertareas Computación cuántica

El estado de la cuestión Los grandes experimentos mentales El test de Turing (Löbner): no parece cercano el momento de superar el test de forma genuina pese a la existencia de ciertas victorias menores CRA: parece resistir ampliamente las críticas propuestas El CRE no reproduce las condiciones de contorno de una máquina de Turing (robot reply) ii. En la habitación china emergen actos mentales genuinos aunque ninguna de sus partes los posea (system reply)

El estado de la cuestión El CRE no reproduce las condiciones de contorno de una máquina de Turing (robot reply)

El estado de la cuestión ii. En la habitación china emergen actos mentales genuinos aunque ninguna de sus partes los posea (system reply) Soy consciente He aquí la Gran Asamblea China generando un acto mental

Puntos críticos del debate Conclusiones derivadas del éxito relativo del C.R.A. Moralejas obtenidas a partir del análisis de la CT

Puntos críticos del debate Conclusiones derivadas del éxito relativo del C.R.A. La reproducción artificial de un algoritmo no implica la presencia de propiedades básicas como: Intencionalidad Finalidad Comprensión Conciencia

Puntos críticos del debate Conclusiones derivadas del éxito relativo del C.R.A. El modo en que un ser humano ejecuta un algoritmo es esencialmente distinto al modo en que lo hace una máquina

Puntos críticos del debate Conclusiones derivadas del éxito relativo del C.R.A. La entidad a imitar es: - cerebro + programa, y no más bien -programa

Puntos críticos del debate Moralejas obtenidas a partir del análisis de la CT Nuestras reconstrucciones objetivas (efectivas) de un procedimiento son computacionales

Puntos críticos del debate Moralejas obtenidas a partir del análisis de la CT La forma en que se ejecuta un algoritmo puede ser relevante (el hardware cuenta): - Supertareas - Computación cuántica, etc

Puntos críticos del debate Conclusión El funcionalismo clásico de corte conductista se sostiene difícilmente, pero El mentalismo no consigue definir sin problemas sus posiciones

Desarrollando ideas nuevas Algunas preguntas impertinentes ¿Cómo se puede determinar entonces la ejecución natural de una rutina?

Desarrollando ideas nuevas Algunas preguntas impertinentes - Solo el cerebro humano es capaz de generar inteligencia genuina

Desarrollando ideas nuevas Algunos dogmas poco evidentes Monismo: La inteligencia sólo se da de una forma: Asociada al resto de las capacidades de la mente humana Sólo hay una forma de inteligencia

Desarrollando ideas nuevas Algunos dogmas poco evidentes Emergentismo: Neurofisiológico: La conciencia sólo emerge a partir de las estructuras físicas del cerebro - Computación analógica - Computación cuántica Formal: La conciencia sólo emerge a partir de las estructuras formales del cerebro - Redes neuronales - Procesamiento paralelo distribuido

Desarrollando ideas nuevas Algunos dogmas poco evidentes Principio de complejidad: La conciencia es una propiedad compleja

Desarrollando ideas nuevas Algunos dogmas poco evidentes Dispensabilidad del soporte: Las consideraciones acerca del modo de ejecutar un algoritmo no tienen consecuencias formales: todo se debate en el lenguaje (software)

Procesamiento consciente Algoritmos y consciencia Rechazando el principio de complejidad: La conciencia puede ser una propiedad simple Procesamiento consciente Consciencia (YO)

Algoritmos y consciencia Rechazando el emergentismo: El procesamiento consciente de un algoritmo puede ser descrito simbólicamente

Algoritmos y consciencia Rechazando la dispensabilidad del soporte: El procesamiento consciente de un algoritmo puede ser descrito simbólicamente incluso en términos de máquinas de Turing, siempre que se introduzca alguna variante relevante en el modo de proceder.

Algoritmos y consciencia ¿En qué consiste la ejecución consciente de un algoritmo? Cadena de montaje rápida Fábrica extraterrestre Actividades automáticas

Algoritmos y consciencia Propiedades básicas que pueden ser descritas Propiedades Nosotros Ellos Situación Siempre No Reflexión Generalmente Finalidad Falibilidad Frecuentemente Nunca Concentración Máxima

Algoritmos y consciencia Cosas en marcha Algoritmos genéticos Microevolución Metarrecursión

Algoritmos y consciencia Situándonos fuera del alcance de la CT Test de la traducción: La clase de procedimientos debe poseer un componente que impida su reducción vía traducción.

¿Qué tiene Max Headroom que lo hace tan simpático?