Contenido. Contenido. Inteligencia Artificial y. La prueba de Turing. Pueden las máquinas pensar? El juego de la adivinación

Transcripción

1 Inteligencia Artificial y La Reinversión Copernicana Dr. Luis Alberto Pineda Cortés Enero, 2004 de representación e inferencia en la IA de representación e inferencia en la IA La prueba de Turing Alan Turing, Computing machinery and Intelligence, Mind, Octubre, 1950, 59: Pueden las máquinas pensar? El juego de la adivinación El juego de la adivinación 1

2 de representación e inferencia en la IA El desarrollo mental El recien nacido: Conductas instintivas Costumbres perceptuales y motoras La inteligencia práctica La infancia de los dos a los siete años: La intuición El lenguaje egocéntrico y el juego simbólico El desarrollo mental La infancia de los siete a los doce años: Las operaciones y el pensamiento concreto La adolecencia: La generalización y la creación de los sistemas El pensamiento abstracto El desarrollo mental Instintos Esquemas perc. y motores Inteligencia práctica Intuición global Intuición estructurada Operaciones concretas Pensamiento formal de representación e inferencia en la IA Los esquemas de representación Instintos Esquemas perc. y motores Inteligencia práctica Intuición global Intuición estructurada Operaciones concretas Pensamiento formal 2

3 de control no lineales (adaptables) (conexionismo) Redes neurodifusas Inferencia estadístisca (n-gramas) Modelos ocultos de Markov Árboles de decisión (aprendizaje) Redes causales bayesianas Técnicas de optimización Progamación dinámica Algoritmos genéticos Redes semánticas de producción (SOAR & ACT) Lógicas de descriptores (KL-ONE) Razonamiento por analogía (aprendizaje) Lógica y sistemas formales (Prolog) Cálculo lambda Semántica Conceptual (Jackendoff) Frames (marcos de Minsky) y las representaciones procedurales (Lisp, Scheme y la escuela del MIT) Primitivas conceptuales (Shank) diagramáticas de representación e inferencia en la IA El pensamiento creativo Razonamiento formal Intuición estructurada Cambio de persectiva conceptual: La Reinterpretación 3

4 Teorema de Pitágoras a 2 = b 2 +c 2 de representación e inferencia en la IA Las aplicaciones de la IA Uso de herramientas computacionales en el contexto de la IA Aplicaciones inteligentes propiamente: Subsimbólicas Esquemáticas Las aplicaciones inteligentes Modelos Reactivos Visión Aprendizaje Extracción de Información Lenguaje Natural Modelos Mentales Expertos Resolvedores de problemas Probadores de Teoremas Tesis El juego de Turing de representación e inferencia en la IA 4

5 Antítesis El Sistema de Copérnico 5

6 Yu Tang adaptables de lógica difusa Agentes inteligentes Algoritmos genéticos. Felipe Lara Redes Neurodifusas Alberto Herrera Cómputo adaptativo Algorítmos genéticos Teoría de lógica borrosa José Luis Pérez Silva Control inteligente Lógica borrosa Fernando Arámbula Análisis automático de imágenes, utilizando métodos adaptables y redes neuronales. Humberto Carrillo <carr@servidor.unam.mx> 6

7 Ángel Kuri Christopher Stephens Redes Neuronales Algoritmos genéticos Computación evolutiva Finanzas computacionales Mercados financieros basados en agentes Minería de datos Predicción y prognosticación (Prediction and forecasting) Katya Rodríguez Vázquez <katya@uxdea4.iimas.unam.mx> Ana Lilia Laureano <clc@correo.azc.uam.mx> Computación Evolutiva: Algoritmos Genéticos Programación Genética Algoritmos evolutivos multi-objetivos Agentes Tutores inteligentes Gerardo Sierra <gsm@pumas.iingen.unam.mx> Jesús Savage <savage@servidor.unam.mx> Ingenieria lingüística: Lexicografia computacional, Terminótica, recuperación y extracción de información, Representación del conocimiento. Proc. de señales para navegación Reconocimiento de voz Reconocimiento de acciones Robótica móvil 7

8 Fernando Gamboa Nicolas Kemper Lógica difusa Algorítmos genéticos Interacción humano computadora expertos Manefactura inteligente Rafael Pérez y Pérez <rpyp@servidor.unam.mx> Atocha Alisea LLera <atocha@minerva.filosoficas.unam.mx> Modelos por computadora del proceso creativo y de emociones. Lógicas No clásicas Lógica Abductiva Luis Alberto Pineda Cortés <luis@leibniz.iimas.unam.mx> Visión Aprendizaje Proc. del habla Robótica movil Proc. del lenguaje conversacioanles Razonamiento diagramático Creatividad Sintaxis del español Semántica formal FIN 8