10/1/2014

INTELIGENCIA
ARTIFICIAL
Unidad 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

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 actividad
mental; 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

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

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

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

Inteligencia Artificial (IA)

Inteligencia Artificial (IA)

Nacimiento

19431956

19561974
poca
Dorada

1er
Invierno IA
19741980

19801987
Boom de
los SE

2do
Invierno IA

1993 +
Actualidad

19871993

10/1/2014

1943
Warren Sturgis McCulloch y Walter Pitts publican "A
Logical Calculus of the Ideas Immanent in Nervous
Activity", estableciendo las bases de las redes
neuronales artificiales
1945
John Von Neumann disea una
computadora que almacena sus propias
instrucciones

1943

1945

1946

1946
La ENIAC, primer computadora
Turing-completa

1947
Automata auto replicable de
John Von Neumann
1948
Se publica "La maquina Inteligente"
de Alan Turing
1950
La prueba de Turing
"Computing Machinery and
Intelligence"

1947

1948

1950

10/1/2014

1950
Las tres leyes de la robtica de Isaac
Asimov
1956
La conferencia de Inteligencia
Artificial de Dartmouth

1950

1956

1956
Allen Newell and Herbert Simon
muestran el "Logic Theorist"

1956

1957: Newell & Simon - General Problem Solver

1957: Frank Rosenblatt - Perceptron
1957: Noam Chomsky's - Estructuras Sintacticas
1958: John McCarthy - LISP

1957

1958

1959

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

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 reconocimiento
de voz

1962

1963

1964

1965: Ed Feigenbaum, Sistema Experto Dendral

1965: Logica Difusa de Lotfi Zadeh
1966: Redes semanticas de Ross Quillian
1966: Eliza de Joe Weizenbaum

1965

1966

1969

1969: Primer International Joint Conference on Artificial Intelligence (IJCAI) en Stanford

1969: El robot Shakey del Stanford Research Institute
1969: Teoria de Dependencia Conceptual de Roger Schank para el PLN

10/1/2014

1972: Alain Colmerauer - PROLOG

1972: Bruce Buchanan - MYCIN
1972: Terry Winograd - Shrdlu
1972: Hubert Dreyfus's "What Computers Can't Do"
1973: Se publica "Artificial Intelligence: A General
Survey" de James Lighthill donde critica a la IA por
promesas incumplidas

1972

1973

1974

1974: Paul Werbos Algoritmo de

retropropagacin para redes
neuronales

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.

1975

1979

1980

1979: Cordell Green Sistema para programacin automtica

1979: Drew McDermott, Jon Doyle y John McCarthy Lgica no monotnica
1979: David Marr Teora de visin
1979: 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

10/1/2014

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.

1980

1981

1985

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

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

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.

11

10/1/2014

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 multiagente, 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.

1990

1991

1993

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.

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

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

1992

1994

1995

1995: Geoffrey Hinton - Helmholtz machine (algoritmo no supervisado de RNA)

1995: Ernst Dickmanns - "Vehiculo autnomo" viaja mas de 1000 millas Munich - Copenhague
a velocidades de hasta 120 mph

12

10/1/2014

1997: IBM - "Deep Blue" derrota al campen mundial de ajedrez Garry Kasparov
1998: Tiger Electronics - "Furby"
1999: Sony - "Aibo"

1997

1998

1999

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

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

2000

2001

2002

13

10/1/2014

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

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

2003

2004

2005

2004: Mark Tilden - "Robosapien" (robot biometrico)

2004: DARPA - "Grand Challenge"
2004: NASA - "Spirit" y "Opportunity"

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 juego
de damas inglesas

2006

2007

2009

2009: Google - "Vehiculo autonomo"

14

10/1/2014

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

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

2010

2011

2012

2012: Rodney Brooks hand

programmable robot "Baxter"

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 aos
que pasa la prueba de Turing en Londres)

2013

2014

Futuro

15

10/1/2014

Inteligencia Artificial Fuerte

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

16