Vous êtes sur la page 1sur 33

Inteligencia Artificial

Cap tulo 1

Cap tulo 1

Contenido
Visin y misin del curso o o Qu es Inteligencia Articial? e La historia resumida El estado del arte Nuestra propuesta para el curso

Cap tulo 1

Administrivia
Sitios Web: http://webdelprofesor.ula.ve/ingenieria/jacinto http://jacinto-davila.blogspot.com Email: jacinto en ula.ve Libro: Russell and Norvig Articial Intelligence: A Modern Approach Deben leer el cap tulo 1 durante esta semana. Cdigos: los programas del libro en lisp, PROLOG, C++, Python y Java o estn en a http://aima.cs.berkeley.edu/ http://www.doc.ic.ac.uk/~rak/ Prelaciones: ???? Horario A2008: Lunes y Martes, 2 a 4pm
Cap tulo 1 3

Misin y Visin del curso o o


Visin: Un entorno social ms inteligente, causa y consecuencia del trao a bajo colectivo Misin: Proveer herramientas tecnolgicas para ese trabajo colectivo (que o o aprovechen y que conduzcan a ms inteligencia). a Hiptesis: La inteligencia articial puede favorecer a la inteligencia nao tural. Contexto: La Universidad de Los Andes, Mrida, Venezuela, Latinoamerica e (Qu tiene que ver el contexto?). e

Cap tulo 1

Cules temas contiene este curso? a


Agentes inteligentes ( ) Bsqueda ( ) y juegos u Sistemas basados en lgica ) o ( Sistemas de planicacin ( ) o Incertidumbre, probabilidad y teoria de decisiones en IA( ) Aprendizaje ( ) Lenguaje Percepcin o Robtica o El contacto con la losof a

Cap tulo 1

Qu es la Inteligencia Articial? e

La tabla de Russell y Norvig:

Systems that think like humans Systems that think rationally Systems that act like humans Systems that act rationally

Cap tulo 1

Qu es la Inteligencia Articial? e
. . . segn Kowalski: u La visin convencional: la solucin computacional de tareas normalmente o o asociadas con la inteligencia humana. Por ejemplo, jugar ajedrez. Una visin ms precisa: El uso de mtodos sistemticos, al estilo de los o a e a humanos, aplicados a cualquier tarea realizada por humanos o por mquinas. a

Cap tulo 1

Qu NO es la Inteligencia Articial? e
. . . segn Kowalski, son falacias comunes: u que el objetivo de la inteligencia articial es crear mquinas que sern a a ms inteligentes que los humanos y los tratarn como sus mascotas. a a que la IA es factible porque, despus de todo, las personas son slo e o mquinas. a

Cap tulo 1

Por qu es importante la IA? e


. . . segn Kowalski: u Las realizaciones y productos computacionales son ms fciles de desara a rollar, mantener y manipular. Podr proveernos de teor de la inteligencia humana simulables en el a as computador (o computadores). Teor la inteligencia humana que podr ser aplicadas sistemticamente as an a (es decir, como en ingenier por las mquinas o por los mismos humanos. a) a La mayor de los mtodos de la inteligencia articial pueden ser vistos como a e versiones prcticas de la lgica formal. a o

Cap tulo 1

Actuando como humanos: el test de Turing


Turing (1950) Computing machinery and intelligence: Pueden pensar las mquinas? a Pueden las mquinas comportarse inteligentemente? a Test operativo de la conducta inteligente: El juego de imitacin del o humano.
HUMAN HUMAN INTERROGATOR

?
AI SYSTEM

predijo que para el 2000, una mquina podr con una probabilidad de a a, 30%, engaar a una persona no advertida por unos 5 minutos. n
Cap tulo 1 10

Actuando como humanos: el test de Turing


No lo han logrado ocialmente. Pero prueben http://www.alicebot.org/ y http://aimovie.warnerbros.com/. (Slo por completitud, revisen este o https://sourceforge.net/projects/resumidor previ todos los argumentos contra la IA en los siguientes 50 aos o n sugiri que los componentes principales de la IA son: el conocimiento, el o razonamiento, la comprensin lingistica y el aprendizaje o u

Cap tulo 1

11

Actuando como humanos: el test de Turing


Un gran problema: El test de Turing no es reproducible, ni constructivo, a a ni adecuado para anlisis matemtico. Y qu? e

Cap tulo 1

12

Pensando como los humanos: Cognitive Science


1960s La revolucin cognitiva: la psicolog del procesamiento de la inforo a macin reemplaz la perspectiva ortodoxa del conductivismo. o o Requiere teor acerca de las actividades internas del cerebro as a? Cual nivel de abstraccin? Conocimiento or circuiter o Cmo se validan? Algunos dicen que o 1)Anticipando y evaluando la conducta de sujetos humanos (topdown) o 2) Identicacin directa de data neurolgica (bottom-up) o o

Cap tulo 1

13

Pensando como los humanos: Cognitive Science


Ambas mtodologias ( Cognitive Science y Cognitive Neuroscience) se han e distanciado ahora de la IA. Ambas comparten con IA la siguiente caracter stica:las teor actuales no as explican (o producen) nada que se parezca a la inteligencia humana. En consecuencia, los tres campos comparten la misma direccin. (frustacin?) o o

Cap tulo 1

14

Pensando racionalmente
Las leyes del pensamiento. Normativo (o impositivo) en lugar de descriptivo (pero correcto desde todo punto de vista). Aristteles: cuando es correcto un argumento o proceso de pensamiento? o En la antigua Grecia se desarrollaron varias formas de lgica: notaciones y o reglas de inferencia; que quizs pudieron haber contemplado la mecanizacin. a o

Cap tulo 1

15

Pensando racionalmente
En cualquier caso, nuestra matemtica y losofia moderna le heredan esa a tradicin a la IA. o Problemas: 1) Se dice que no toda conducta inteligente es precedida por un razonamiento lgico (es esto una objeccin?). o o 2) Otros dicen: Qu propsito tiene pensar?. Qu pensamientos debo e o e tener? (de nuevo, es esto una objeccin?) o

Cap tulo 1

16

Actuando racionalmente
Conducta racional: hacer lo correcto Lo correcto: Aquello que se espera maximice el logro de las metas, dada la informacin disponible. (Maximice?). o No implica necesariamente que se est pensando en hacer lo correcto e.g., a muchos reejos como el parpadear son hacer lo correct pero, se dice, o que el pensamiento tiene que estar al servicio de la accin racional. o Aristteles (La Etica de Nicmedes): o o Todo arte y todas pregunta, y similarmente toda accin y procura, se o supone que se orienta a algn benecio u

Cap tulo 1

17

Razn o
Razn: 1) Facultad de pensar, discurrir y juzgar. 2) Facultad intelectual o que permite actuar acertdamente o distinguir lo bueno y verdadero de lo a malo y falso. 3) Motivo. [Diccionario Larousse]. Reason: 1) a motive, cause or justication. 2) a fact adduced or serving at this. 3) The intellectual faculty by which conclusions are drawn from premises. 4) Sanity. 5) A faculty transcending the understanding and providing a priori principles; intuition. 7) Sense; what is right or practical or practicable: it stands to reason is equivalent to it is evident or logical (The concise Oxford dictionary).

Cap tulo 1

18

Agentes racionales
Un agente es una entidad que percibe y acta. u En este curso se aprende a disear agentes racionales (an cuando parte del n u diseo se je en su ambiente) n Usando la matemtica como lenguaje de especicacin, podemos decir que a o un agente es una funcin con dominio en una historia perceptual y rango o en las acciones: f : P A Buscaremos, para cada tipo dado de ambiente y de tarea el agente (o clase de agentes) que se comporta de la mejor manera. Observacin: Las limitaciones computaciones hacen que la racionalidad pero fecta sea inalcanzable Disearemos el mejor programa con los recursos n dados. O trataremos de ajustar algunos recursos para aumentar la racionalidad.
Cap tulo 1 19

La prehistoria de la IA
Filosof a La lgica como un mtodo para razonar o e La mente como un sistema f sico Los fundamentos del aprendizaje, del lenguaje y de la racionalidad Matemtica a Representaciones formales y demostraciones Algoritmos, computacin, (in)decidibilidad, (in)tratabilidad, o probabilidad Psicolog a Adaptacin o Los fenmenos de la percepcin y el control motor o o Tcnicas experimentales (psicof e sica, etc.) Econom a Teor formal de decisiones racionales a Lingistica u Representacin del conocimiento, o gramticas a Neurociencia el substrato f sico verstil para la actividad mental a Teor de Control Sistemas homeostticos, estabilidad a a Diseos de agentes simples y optimos n

Cap tulo 1

20

La historia enlatada de la IA
1943 1950 195269 1950s 1956 1965-72 196674 196979 198088 198893 198595 1988 1995 McCulloch & Pitts: Modelo del cerebro con circuitos booleanos Turing: Computing Machinery and Intelligence Auto frenes ! Primeros programas de IA: Newell & Simons Logic Theorist Conferencia de Dartmouth: Surge el nombre Articial Intelligence El mtodo de resolucin de Robinson y luego Kowalski e o (un algoritmo completo para razonamiento lgico) PROLOG o La IA se encuentra con la complejidad computacional La investigacin en redes neuronales casi desaparece o Los primeros sistemas basados en conocimiento Se popularizan los sistemas expertos Se desinan los sistemas expertos: El primer invierno de la IA Vuelven las redes neuronales Reaparece la probabilidad: aumenta el rigor tcnico e Nouvelle AI: Vida Articial, AG, soft computing Agentes!!!! . . .
Cap tulo 1 21

La historia gruesa de la IA
1950s y 1960s Bsqueda de fuerza bruta, juegos y redes neuronales u 1960 y principios de 70s Sistemas de consulta y prueba automtica de teoremas a Los 70s y principios de 80s Representaciones procedimentales del conocimiento Programacin lgica o o Sistemas expertos Los 80s El proyecto de 5ta Generacin Japons o e Lgicas para razonamiento por omisin o o Razonamiento basado en casos Finales 80s al presente Redes neuronales Aprendizaje (miner de datos) a Sistemas reactivos (vs. racionales) Inteligencia Articial Distribuida Sistemas multiagentes Sociedades articiales

Cap tulo 1

22

El estado del arte


Cules de estas se pueden hacer en estos momentos? a Jugar ping-pong decentemente Conducir en la montaa n Conducir en el centro del Cairo (Bagdad?. Caracas?) Comprar el mercado de la semana Comprar el mercado de la semana en la web Jugar un bridg decentemente e Descubrir y probar nuevos teoremas matematicos Escribir una historia divertida con toda la intencin o Proveer consejo legal competente en una rea especializada de la ley a Traducir del Ingls hablado al Sueco hablado en tiempo real e Realizar una intervencin quirjica complicada o u

Cap tulo 1

23

El estado de nuestro arte


Sistemas multiagentes (Bioinformantes) https://sourceforge.net/projects/simulants Simulacin de sistemas multiagentes (GALATEA) o http://galatea.sourceforge.net/ http://gloria.sourceforge.net/ Lingistica computacional (Elizaul, Resumidor, Metaforizador) u https://sourceforge.net/projects/resumidor Qu sabemos hacer localmente? e

Cap tulo 1

24

Historias divertidas sin intencin o


pero en ingls e One day Joe Bear was hungry. He asked his friend Irving Bird where some honey was. Irving told him there was a beehive in the oak tree. Joe threatened to hit Irving if he didnt tell him where some honey was. Henry Squirrel was thirsty. He walked over to the river bank where his good friend Bill Bird was sitting. Henry slipped and fell in the river. Gravity drowned. Once upon a time there was a dishonest fox and a vain crow. One day the crow was sitting in his tree, holding a piece of cheese in his mouth. He noticed that he was holding the piece of cheese. He became hungry, and swallowed the cheese. The fox walked over to the crow. The end.

Cap tulo 1

25

Historias divertidas sin intencin o


pero en ingls e Joe Bear was hungry. He asked Irving Bird where some honey was. Irving refused to tell him, so Joe oered to bring him a worm if hed tell him where some honey was. Irving agreed. But Joe didnt know where any worms were, so he asked Irving, who refused to say. So Joe oered to bring him a worm if hed tell him where a worm was. Irving agreed. But Joe didnt know where any worms were, so he asked Irving, who refused to say. So Joe oered to bring him a worm if hed tell him where a worm was . . .

Cap tulo 1

26

Historias divertidas con intencin o


parcial (pero en espaol): n ?- modelo. actantes: sujetos: suj_cogn: destinadores: desd_suj: --> la_virgen_de_la_chinita anti_desd: --> gente_del_barrio destinatarios: dest_suj: --> mari-mach anti_dest: --> macky_narr
Cap tulo 1 27

Historias divertidas con intencin o


parcial (pero en espaol). n suj_prag: sujeto: heroe: --> ernesto_ernesto adyuvante: --> el_negro_mesopotamio anti_suj: traidor: --> el_jefe_de_la_mafia oponente: --> la_mafia

Cap tulo 1

28

Historias divertidas con intencin o


parcial (pero en espaol). n objetos: obj_mod: obj_mod_cogn: --> voluntad_y_prohibicion obj_mod_prag: --> discrecion_e_incapacidad obj_prag: obj_valor: --> el_amor_sincero obj_uso: --> la_carta_secreta

Cap tulo 1

29

Nuestra propuesta para el curso

40% Tcnicas fundamentales. 2 parciales. e 40% Un sistema inteligente. 1 proyecto orientado a un producto presentable. 20% Ensayos inteligentes.

Cap tulo 1

30

Ensayos inteligentes
La inteligencia y los sentimientos La inteligencia y lo subjetivo La inteligencia individual y la inteligencia colectiva La inteligencia y racionalidad acotada La inteligencia y el mercado La inteligencia y los servicios pblicos u La inteligencia natural y la inteligencia articial La inteligencia y el tiempo Los sistemas cercanos que son muy inteligentes Los sistemas cercanos que podr ser ms inteligentes an a La inteligencia y la democracia La inteligencia y la sabiduria La inteligencia y la evolucin o La inteligencia y la felicidad La inteligencia y la justicia La inteligencia, la moralidad y la corrupcin o La inteligencia y la complejidad
Cap tulo 1 31

La inteligencia y el lenguaje Un ensayo en formato art culo con referencias correctas. Dos entregas para un total de 4 pginas tamao carta. a n Tamao de guras, tablas y referencias a convenir. n Cuidado con el plagio.

Cap tulo 1

32

El plan del curso


Agentes inteligentes . 1ra Semana Bsqueda para resolucin de problemas. semana u o 2da Sistemas basados en lgica. 3ra semana o Sistemas de planicacin. 4ta semana o Breve teoria de decisiones en IA. 5ta semana Ejercicios de repaso Primer Parcial. 6ta semana Aprendizaje (en las mquinas). 7ma semana a Comunicacin entre agentes. 8va semana o Ejercicios loscos. 9na semana o Ejercicios de repaso Segundo Parcial. 10ma semana Primera entrega de ensayos inteligentes y discusin de propuestas de o proyecto. 11ma semana Sistemas inteligentes. 12da semana hasta 15ma semana Segunda entrega de ensayos inteligentes. 16ma semana Presentaciones de proyectos. 17ma y 18va semanas (?)

Cap tulo 1

33