10/1/2014

1

INTELIGENCIA ARTIFICIALUnidad I

Fundamentos El propsito de la IA y su evolucin histrica. Las habilidades cognoscitivas segn la psicologa.

Teoras de la inteligencia (conductismo, Gardner).

El proceso de razonamiento segn la lgica. (Axiomas, Teoremas, demostracin).

El modelo de adquisicin del conocimiento segn la filosofa.

El modelo cognoscitivo. El modelo del agente inteligente. El papel de la heurstica.

10/1/2014

2

Inteligencia Artificial (IA) Qu es la Inteligencia Artificial?

Aplicaciones de la vida real

Inteligencia Artificial (IA)

Inteligencia Capacidad de aprendizaje, el razonamiento, la

comprensin, y formas similares de de la actividadmental; aptitud para captar verdades, relaciones,hechos, significados, etc.

En particular, podramos decir: Capacidad para actuar como seres humanos Resolver problemas Pensar racionalmente

10/1/2014

3

Inteligencia Artificial (IA) Capacidad de interactuar con el mundo real

Percibir, comprender y actuar El reconocimiento y la comprensin del habla

Buscar la mejor solucin Razonamiento y Planificacin

Modelar el mundo externo, entrada dada Resolver nuevos problemas, la planificacin y la toma de

decisiones Capacidad para hacer frente a problemas inesperados,

incertidumbres

Aprendizaje y Adaptacin Aprendizaje y adaptacin continua Actualizacin continua de modelos internos

Un beb aprendiendo a clasificar y reconocer los animales

Inteligencia Artificial (IA) Filosofa Matemticas Estadstica Economa Neurologa Fisiologa Sistemas computacionales Teora de control Lingstica

10/1/2014

4

Inteligencia Artificial (IA)

Tres ingredientes Computadora y programa La prueba de Turing La Conferencia Dartmouth

Inteligencia Artificial (IA)

Computadora y programa ENIAC - Electronic Numerical Integrator And Computer

(1945). EDVAC - Electronic Discrete Variable Automatic

Computer (1949).

10/1/2014

5

Inteligencia Artificial (IA)

La prueba de Turing

Inteligencia Artificial (IA)

John McCarthy Introdujo el termino de Inteligencia Artificial Dartmouth conference Agosto 31,1955

Establecer las bases de la IA.

The science and engineering of making intelligent machines.

10/1/2014

6

Inteligencia Artificial (IA)

Inteligencia Artificial (IA)

Nacimiento

19431956

poca Dorada

19561974 1er

Invierno IA

19741980

Boom de los SE

19801987 2do

Invierno IA

19871993

Actualidad

1993 +

10/1/2014

7

1945194519451945 19461946194619461943194319431943

1943Warren Sturgis McCulloch y Walter Pitts publican "A Logical Calculus of the Ideas Immanent in NervousActivity", estableciendo las bases de las redes neuronales artificiales

1945John Von Neumann disea una computadora que almacena sus propias instrucciones

1946La ENIAC, primer computadora Turing-completa

1948194819481948 19501950195019501947194719471947

1947Automata auto replicable de John Von Neumann

1948Se publica "La maquina Inteligente" de Alan Turing

1950La prueba de Turing "Computing Machinery and Intelligence"

10/1/2014

8

1956195619561956 19561956195619561950195019501950

1950Las tres leyes de la robtica de Isaac Asimov

1956La conferencia de Inteligencia Artificial de Dartmouth

1956Allen Newell and Herbert Simonmuestran el "Logic Theorist"

1958195819581958 19591959195919591957195719571957

1957: Newell & Simon - General Problem Solver1957: Frank Rosenblatt - Perceptron1957: Noam Chomsky's - Estructuras Sintacticas

1958: John McCarthy - LISP

1959: John McCarthy "Programs with Common Sense" (Representacion del conocimiento)1959: John McCarthy y Marvin Minsky fundan el Laboratorio de IA en el MIT 1959: Arthur Samuel Damas inglesas (primer programa que aprende)

10/1/2014

9

1963196319631963 19641964196419641962196219621962

1962: Joseph Engelberger y su robot industrial Unimate en General Motors

1963 John McCarthy se muda a Stanford y funda el Stanford Artificial Intelligence Laboratory (SAIL)

1964: "Shoebox" de IBM, sistema para reconocimientode voz

1966196619661966 19691969196919691965196519651965

1965: Ed Feigenbaum, Sistema Experto Dendral1965: Logica Difusa de Lotfi Zadeh

1966: Redes semanticas de Ross Quillian1966: Eliza de Joe Weizenbaum

1969: Primer International Joint Conference on Artificial Intelligence (IJCAI) en Stanford 1969: El robot Shakey del Stanford Research Institute1969: Teoria de Dependencia Conceptual de Roger Schank para el PLN

10/1/2014

10

1973197319731973 19741974197419741972197219721972

1972: Alain Colmerauer - PROLOG1972: Bruce Buchanan - MYCIN 1972: Terry Winograd - Shrdlu1972: Hubert Dreyfus's "What Computers Can't Do"

1973: Se publica "Artificial Intelligence: A General Survey" de James Lighthill donde critica a la IA porpromesas incumplidas

1974: Paul Werbos Algoritmo de retropropagacin para redesneuronales

1979197919791979 19801980198019801975197519751975

1975: John Holland Algoritmos Genticos

1980: John Searle publica el artculo Minds, Brains, and Programs donde critica a la IA y la prueba de Turing con el experimento del Cuarto Chino.

1979: Cordell Green Sistema para programacin automtica1979: Drew McDermott, Jon Doyle y John McCarthy Lgica no monotnica1979: David Marr Teora de visin1979: Hans Moravec The Stanford Cart. El primer vehculo autnomo controlado por computadora en el Laboratorio de IA de Stanford.1979: Hans Berliner BKG. Derrota al campen mundial de backgamon.

10/1/2014

11

1981198119811981 19851985198519851980198019801980

1980: Ernst Dickmanns y su equipo crean el primer auto capaz de conducir a velocidades de hasta 55 mph en calles vacas.1980: Aparecen las computadoras dedicadas al procesamiento LISP. Aparecen los primeros shells de SE y aplicaciones comerciales.

1981: Danny Hillis disea The connection machine, utiliza computo paralelo y da un nuevo respiro a la IA.

1985: Judea Pearl Redes Bayesianas.1985: Redes Neuronales ampliamente utilizadas, empleando el algoritmo de retro-propagacin (Werbos 1974).1985: Harold Cohen - AARON (programa de dibujo autnomo).

1987198719871987

1987: Marvin Minsky publica "The Society of Mind", una descripcin terica de la mente como una coleccin de agentes cooperativos.1987: Rodney Brooks introduce la idea la robtica basada en comportamientos, como un enfoque minimalista a la inteligencia natural.

1987: El lanzamiento comercial del primer sistema de asesoramiento estratgico y de gestin comercial. Basado en encadenamiento hacia delante, con 3000 reglas acerca de la evolucin de los mercados y las estrategias competitivas. El sistema Alacrity tambin incluy un pequeo sistema experto financiero para interpretar los estados financieros.1987: Chris Langton acua el trmino de Vida Artificial.1987: Stephen Grossberg Adaptive Resonance Theory (ART) para el aprendizaje no supervisado.

10/1/2014

12

1991199119911991 19931993199319931990199019901990

1990: Grandes avances en todas las reas de la IA, con manifestaciones importantes en el aprendizaje de mquina, tutora inteligente, razonamiento basado en casos, la planificacin multi-agente, la programacin, el razonamiento incierto, minera de datos, comprensin del lenguaje natural y la traduccin, la visin, la realidad virtual, juegos y otros temas.

1991: Aplicacin de programacin DART(Dynamic Analysis and Replanning Tool) utilizado en la primera Guerra del Golfo.

1993: Ian Horswill extendi el concepto de robtica basada en el comportamiento mediante la creacin de Polly, el primer robot para navegar usando visin y operar a velocidades de tipo animal (1 m/s). 1993: Rodney Brooks, Lynn Andrea Stein y Cynthia Breazeal comenzaron el proyecto Cog en el MIT, en un intento de crear un nio robot humanoide en slo cinco aos. 1993: La corporacin ISX gana "contratista DARPA del ao" por la herramienta DART con la que se dice qued pagada toda la inversin del gobierno de Estados Unidos en la investigacin en IA desde la dcada de 1950.

1994199419941994 19951995199519951992199219921992

1992: Thomas Ray - "Tierra" (Un mundo virtual)

1994: Primera conferencia "Toward a Science of Consciousness" en Tucson Arizona

1995: Geoffrey Hinton - Helmholtz machine (algoritmo no supervisado de RNA)1995: Ernst Dickmanns - "Vehiculo autnomo" viaja mas de 1000 millas Munich - Copenhaguea velocidades de hasta 120 mph

10/1/2014

13

1998199819981998 19991999199919991997199719971997

1997: IBM - "Deep Blue" derrota al campen mundial de ajedrez Garry Kasparov

1998: Tiger Electronics - "Furby"

1999: Sony - "Aibo"

2001200120012001 20022002200220022000200020002000

2000: Cynthia Breazeal - "Kismet" (robot emocional)

2001: Nikolaus Hansen - "Covariance Matrix Adaptation" (CMA) para la optimizacin numerica de problemas no-lineales2001: Stephen Regelous - MASSIVE

2002: iRobot - "Roomba

10/1/2014

14

2004200420042004 20052005200520052003200320032003

2003: Hiroshi Ishiguro - "Actroid" (robot humanoide)

2004: Mark Tilden - "Robosapien" (robot biometrico)2004: DARPA - "Grand Challenge"2004: NASA - "Spirit" y "Opportunity"

2005: Honda - "Asimo" (robot humanoide)2005: Andrew Ng "STAIR project" (Stanford Artificial Intelligence Robot) 2005: Boston Dynamics "BigDog" (robot cuadrupedo)

2007200720072007 20092009200920092006200620062006

2006: Conferencia Dartmouth - "The Next 50 Years (AI@50)"2006: Osamu Hasegawa "Self-Organising Incremental Neural Network" (SOINN), RN auto replicable para aprendizaje no supervisado

2007: Investigadores de la Universidad de Alberta resuelven el juegode damas inglesas

2009: Google - "Vehiculo autonomo"

10/1/2014

15

2011201120112011 20122012201220122010201020102010

2010: Lola Canamero - "Nao" (robot que muestra emociones)

2011: IBM - "Watson" (Jeopardy!)2011: Osamu Hasegawa - "Robot basado en SOINN" (aprendefunciones que no le fueron programadas)

2012: Rodney Brooks hand programmable robot "Baxter"

2014201420142014 FuturoFuturoFuturoFuturo2013201320132013

2013: SCHAFT - "Robot HRP-2" (gana el DARPA Robotics Challenge Trials 27/32 puntos)

2014: Vladimir Veselov y Eugene Demchenko - "Eugene Goostman" (simulacion de un nio Ucraniano de 13 aosque pasa la prueba de Turing en Londres)

10/1/2014

16

Inteligencia Artificial Fuerte

http://www.aaai.org/Timeline/timeline.php