Perspectivas teóricas en A.I.

Presentación del tema: "Perspectivas teóricas en A.I."— Transcripción de la presentación:

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 frentes
Los argumentos lógico-matemáticos Los grandes experimentos mentales

3 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

4 Los grandes experimentos mentales
El 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ón
Forma de determinar la función: la conducta

6 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

7 Los grandes experimentos mentales
Esta es la última

8 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)

9 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

10 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

11 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)

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

13 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

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

15 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

16 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

17 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

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

19 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

20 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

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

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

23 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

24 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

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

26 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)

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

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

29 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.

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 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

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

33 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.

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