Professional Documents
Culture Documents
Introduccin
Es una rea de la ciencia bastante nueva (1956) Su objetivo son las capacidades que consideramos Inteligentes Las aproximaciones siguen diferentes puntos de vista Sus inuencias son diversas (Filosofa, Matemtica, Psicologa, Biologa) Involucra una gran cantidad de reas tanto genricas (aprendizaje, percepcin, resolucin de problemas) como especcas (jugar al ajedrez, diagnosticar enfermedades, conducir coches, ...)
c b e a (LSI-FIB-UPC)
Curso 2011/2012
1 / 20
Introduccin
Denicin de la IA
Sistemas que actan como humanos Sistemas que piensan como humanos
El esfuerzo por hacer a las computadoras pensar ... mquinas con mentes en el sentido amplio y literal (Haugeland, 1985)
El estudio de como hacer computadoras que hagan cosas que, de momento, la gente hace mejor (Rich y Knight, 1991)
Un campo de estudio que busca explicar y emular el comportamiento inteligente en trminos de procesos computacionales (Schalko, 1990)
El estudio de las facultades mentales a travs del estudio de modelos computacionales (Charniak y McDermott, 1985)
c b e a (LSI-FIB-UPC)
Curso 2011/2012
2 / 20
Introduccin
El modelo es el hombre, el objetivo es construir un sistema que pase por humano. Test de Turing: Si un sistema lo pasa es inteligente (?) Capacidades necesarias: Procesamiento del Lenguaje Natural, Representacin del conocimiento, Razonamiento, Aprendizaje. No es el objetivo primordial de la IA pasar el test La interaccin de programas con personas hace que sea necesario que estos acten como humanos
c b e a (LSI-FIB-UPC)
Curso 2011/2012
3 / 20
Introduccin
El test de Turing
c b e a (LSI-FIB-UPC)
Curso 2011/2012
4 / 20
Introduccin
El modelo es el funcionamiento de la mente humana Intentamos establecer una teora sobre el funcionamiento de la mente (experimentacin psicolgica) A partir de la teora podemos establecer modelos computacionales Ciencias Cognitivas
c b e a (LSI-FIB-UPC)
Curso 2011/2012
5 / 20
Introduccin
La leyes del pensamiento racional se fundamentan en la lgica La lgica formal est en la base de los programas inteligentes (Logicismo) Se presentan dos obstculos:
Es muy difcil formalizar el conocimiento Hay un gran salto entre la capacidad terica de la lgica y su realizacin prctica
c b e a (LSI-FIB-UPC)
Curso 2011/2012
6 / 20
Introduccin
Actuar racionalmente signica conseguir unos objetivos dadas unas creencias El paradigma es el agente Un agente percibe y acta, siempre segn el entorno en el que est situado Las capacidades necesarias coinciden con las del test de turing: Procesamiento del Lenguaje Natural, Representacin del conocimiento, Razonamiento, Aprendizaje, Percepcin. Su visin es mas general, no centrada en el modelo humano.
c b e a (LSI-FIB-UPC)
Curso 2011/2012
7 / 20
Introduccin
Es la IA posible?
La posibilidad de la inteligencia articial plantea problemas loscos complejos Las maquinas pensantes poseen consciencia? La habitacin china, (Searle, 1980) Es la inteligencia una propiedad emergente de los elementos biolgicos que la producen? No hay una conclusin denitiva
c b e a (LSI-FIB-UPC)
Curso 2011/2012
8 / 20
Introduccin
La habitacin china
+ + +
c b e a (LSI-FIB-UPC)
Curso 2011/2012
9 / 20
Aristteles
(lgica)
Llull
Descartes
Leibniz
Aristteles
c b e a (LSI-FIB-UPC) Introduccin a la Inteligencia Articial
Russell
Hume
Bacon
10 / 20
Curso 2011/2012
Lgica
Complejidad
Probabilidad
Boole
razonamiento?
Frege
Gdel
Turing
Qu es computable?
c b e a (LSI-FIB-UPC)
Curso 2011/2012
11 / 20
Teora de la decisin/Teora de juegos/Investigacin operativa Neurociencia Como procesa el cerebro la informacin? Neuronas/Especializacin del cerebro Psicologa Como piensan y actan las personas? Psicologa cognitiva/ciencias cognitivas: Teoras sobre la conducta, bases del comportamiento racional
c b e a (LSI-FIB-UPC) Introduccin a la Inteligencia Articial Curso 2011/2012 12 / 20
c b e a (LSI-FIB-UPC)
Curso 2011/2012
13 / 20
reas de trabajo de la IA
reas de trabajo de la IA
reas Bsicas
Representacin del conocimiento Resolucin de problemas, Bsqueda
reas Especcas
Planicacin de tareas Tratamiento del Lenguaje Natural Razonamiento Automtico Sistemas Basados en el Conocimiento Percepcin Aprendizaje Automtico Agentes autnomos
c b e a (LSI-FIB-UPC)
Curso 2011/2012
14 / 20
reas de trabajo de la IA
Robots autnomos
navegacin autnoma
tecnologas asistivas
reas de trabajo de la IA
Reconocimiento de imgenes
caras
imgenes mdicas
reconocimento de escritura
c b e a (LSI-FIB-UPC)
reconocimento de objetos
Curso 2011/2012 16 / 20
reas de trabajo de la IA
Juegos de ordenador
Bsqueda de caminos
Estrategia
reas de trabajo de la IA
Aparatos Electrnicos
Aspiradores inteligentes
reas de trabajo de la IA
Intercies Inteligentes/Recomendacin/Personalizacin
Ambient Intelligence
c b e a (LSI-FIB-UPC)
Recomendacin/Personalizacin
Curso 2011/2012
19 / 20
reas de trabajo de la IA
Sistemas de Diagnstico/Control/Diseo/Planicacin
Medicina
Logstica
Manufactura Inteligente
Procesos industriales
c b e a (LSI-FIB-UPC)
Diseo industrial
Introduccin a la Inteligencia Articial
Procesos complejos
Curso 2011/2012 20 / 20