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:433-460 Pueden las máquinas pensar? El juego de la adivinación El juego de la adivinación 1
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
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
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
Antítesis El Sistema de Copérnico 5
Yu Tang <tang@servidor.unam.mx> adaptables de lógica difusa Agentes inteligentes Algoritmos genéticos. Felipe Lara <lararf@servidor.unam.mx> Redes Neurodifusas Alberto Herrera <albertoh@aleph.cinstrum.unam.mx> Cómputo adaptativo Algorítmos genéticos Teoría de lógica borrosa José Luis Pérez Silva <pepito@aleph.cinstrum.unam.mx> Control inteligente Lógica borrosa Fernando Arámbula <arambula@aleph.cinstrum.unam.mx> Análisis automático de imágenes, utilizando métodos adaptables y redes neuronales. Humberto Carrillo <carr@servidor.unam.mx> 6
Ángel Kuri <akuri@itam.mx> Christopher Stephens <stephens@nuclecu.unam.mx> 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
Fernando Gamboa <gfer@aleph.cinstrum.unam.mx> Nicolas Kemper <kemper@servidor.unam.mx> 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