Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
Cap tulo 1
Cap tulo 1
Qu es la Inteligencia Articial? e
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
Cap tulo 1
?
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
Cap tulo 1
11
Cap tulo 1
12
Cap tulo 1
13
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
Cap tulo 1
23
Cap tulo 1
24
Cap tulo 1
25
Cap tulo 1
26
Cap tulo 1
28
Cap tulo 1
29
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
Cap tulo 1
33