INTELIGENCIA ARTIFICIAL

CLASE 1 ESP.ING MILHER FABIAN TOVAR RUBIANO

QU ES IA?

PRUEBA DE TURING
Propuesta de Alan Turing en 1950 para determinar la incapacidad

para diferenciar entre entidades inteligentes indiscutibles y seres humanos

CAPACIDADES PARA PASAR LA PRUEBA DE TURING

PROCESAMIENTO DE LENGUAJE NATURAL REPRESENTACIN DEL CONOCIMIENTO RAZONAMIENTO AUTOMATICO APRENDIZAJE AUTOMATICO

PRUEBA GLOBAL DE TURING

incluye una seal de vdeo que permite al eluador valorar la

capacidad de percepcicin del evaluacin, y tambin le da la oportunidad al evaluador de pasar objetos fsicos travs de una ventanita

CAPACIDADES PARA PASAR LA PRUEBA GLOBAL DE TURING

VISION COMPUTACIONAL
ROBOTICA

ALGUNAS ESTRUCTURAS DEL PENSAMIENTO RACIONAL

Filsofo griego Aristteles fue uno de los primeros en

intentar codificar la manera correcta de pensar, por medio de silogismos Socrates es hombre, todos los hombres son mortales; por lo tanto socrates es mortal Lgica proposicional

ACTUAR DE FORMA RACIONAL

La actuacin de forma racional est en dependencia de

aquello que genera una entrada (percepcin), genere una salida (accin) La actuacin est determinada en IA como agentes, los cuales pueden ser agentes inteligentes o racionales, y agentes informticos.

AGENTE RACIONAL
Un agente racional es aquel que acta con la intencin

de alcanzar el mejor resultado o, cuando hay incertidumbre, el mejor resultado esperado. Determinar una inferencia correcta dada de una lgica proposicional se constituye como un agente racional, PERO NO DEPENDE DE LA RACIONALIDAD, ya que hay inferencias donde no hay nada que hacer sino tomar decisiones. Obtener una racionalidad perfecta (hacer siempre lo correcto) no es posible en entornos complejos.

FUNDAMENTOS DE LA IA
Se pueden utilizar reglas formales para extraer conclusiones

vlidas? Cmo se genera la inteligencia mental a partir de un cerebro fsico? De dnde viene el conocimiento? Cmo se pasa del conocimiento a la accin?
La teora de la confirmacin de Carnap y Carl Hernpel ( 1905- 1997) intenta explicar cmo el conocimiento se obtiene a partir de la experiencia. El libro de Carnap. The Logical Structure of theWorld (1 928), define un procedimiento computacional explcito para la extracin de conocimiento a partir de experiencias primarias. Fue posiblemente la primera teora en mostrar la mente como un proceso computacional.

MATEMATICAS EN LA IA DESDE EL 800 HASTA EL 2000

Qu reglas formales son las adecuadas para obtener

conclusiones vlidas? Qu se puede computar? Cmo razonamos con informacin incierta?

Los filsofos delimitaron las ideas ms importantes de la IA, pero para pasar de ah a una ciencia formal es necesario contar con una formulacin matemtica en tres reas fundamentales: lgica. computacin y probabilidad.