1 Perspectivas teóricas en A.I.Un creciente sentimiento de desánimo Enrique Alonso U.A.M.

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

3 Los argumentos lógico-matemáticosDistintas 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

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

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

6 El experimento de la Habitación chinaEl 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

7 Los grandes experimentos mentalesEsta es la última

8 El estado de la cuestiónLos 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)

9 El estado de la cuestiónEl 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

10 El estado de la cuestiónEl 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

11 El estado de la cuestiónLos 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)

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

13 El estado de la cuestiónii. 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

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

15 Puntos críticos del debateConclusiones 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

16 Puntos críticos del debateConclusiones 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

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

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

19 Puntos críticos del debateMoralejas 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

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

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

22 Desarrollando ideas nuevasAlgunas preguntas impertinentes - Solo el cerebro humano es capaz de generar inteligencia genuina

23 Desarrollando ideas nuevasAlgunos 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

24 Desarrollando ideas nuevasAlgunos 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

25 Desarrollando ideas nuevasAlgunos dogmas poco evidentes Principio de complejidad: La conciencia es una propiedad compleja

26 Desarrollando ideas nuevasAlgunos 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)

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

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

29 Algoritmos y conscienciaRechazando 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.

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

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

32 Algoritmos y conscienciaCosas en marcha Algoritmos genéticos Microevolución Metarrecursión

33 Algoritmos y conscienciaSituá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.

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