QU ES LA

INTELIGENCIA
ARTIFICIAL ?
La Inteligencia Artificial es un campo de la ciencia
que trata de realizar, con mquinas, tareas que
pueden ser realizadas por el hombre, aplicando
cualquier tipo de razonamiento.
En cierta media cualquier programa de computador
puede considerarse inteligente. El problema es
diferenciar entre lo que se considera un programa
inteligente y el que no lo es.
Un programa inteligente es aquel que exhibe un
comportamiento similar al humano cuando se
enfrenta a un problema idntico.
Sistemas que PIENSAN como humanos Sistemas que PIENSAN racionalmente
El nuevo y exitante esfuerzo de hacer que los
computadores piensen
La automatizacin de actividades que
vinculamos con procesos de pensamiento
humano, actividades como la toma de
decisiones, resolucin de problemas,
aprendizaje..
El estudios de las facultades mentales
mediante el uso de modelos computacionales
El estudio de los clculos que hacen posible
percibir, razonar y actuar
Sistemas que ACTAN como humanos Sistemas que ACTAN racionalmente
Desarrollar mquinas con capacidad para
realizar funciones que cuando son realizadas
por personas requieren de inteligencia
El estudio de cmo lograr que los
computadores realicen tareas, que por el
momento, los humanos hacen mejor
La inteligencia Computacional es el estudio
del diseo de agentes inteligentes
Est relacionada con conductas inteligentes en
artefactos
Pensar como un humano
- Es necesario contar con un mecanismo para determinar cmo piensan los
humanos
- Una vez que se tenga una teora al respecto, se podr expresar esa teora en
la forma de un programa de computadoras
- Si los datos de E/S y los tiempos de reaccin del programa son similares a
los de un humano existe la evidencia de que algunos de los mecanismos
del programa se pueden comparar con los del los humanos
- Ciencia cognitiva: Convergen modelos computacionales de IA y tcnicas
experimentales de psicologa intentando elaborar teoras precisas y
verificables sobre el funcionamiento de la mente humana

Pensar racionalmente
- Intentar codificar la manera correcta de pensar. Un proceso de
razonamiento irrefutable
- Aristteles fue uno de los primeros, a travs de sus silogsmos (esquemas
de estructuras de argumentacin en las que siempre se llega a
conclusiones correctas si partimos de premisas correctas)
- Lgica. Notacin precisa para definir sentencias sobre todo tipo de
elementos del mundo y especificar relaciones entre ellos
- Ya en 1965 haban programas que resolvan cualquier problema que
pudiera expresarse mediante la notacin de la lgica
- No es fcil transformar conocimiento informal y expresarlo en trminos
formales, sobre todo cuando el conocimiento es inferior al 100%
- Es diferente a resolver un problema en principio y hacerlo en la prctica.
Hay problemas que an con unos pocos datos pueden agotar los recursos
computacionales

Actuar racionalmente
- Un enfoque basado en agentes. Algo que razona
- Los agentes informticos se deben distinguir de los programas
convencionales
- Perciben su entorno. Persisten en el tiempo. Se adaptan a los cambios y son
capaces de alcanzar objetivos diferentes
- Un agente racional actan con la intencin de alcanzar el mejor resultado,
cuando hay incertidumbre, el mejor resultado esperado.
- Las habilidades que se necesitan en la prueba de Turing deben permitir
emprender acciones racionales
- Es necesario contar con la capacidad para representar el conocimiento y
razonar basndonos en l
- El enfoque de la IA basados en las leyes del pensamiento pone todo el
nfasis en hacer inferencias correctas, lo cual podra considerarse como
racional. Sin embargo una inferencia correcta no depende siempre de la
racionalidad. Hay situaciones en las que no hay nada correcto que hacer
y es necesario tomar una decisin Tambin hay maneras de actuar
racionalmente que no implican realizar inferencias

Prueba de Turing
- Alan Turing. 1950
- Proporciona una definicin operacional y satisfactoria de
Inteligencia
- Prueba basada en la incapacidad de diferenciar entre
entidades artificiales y seres humanos
- En la actualidad, programar una computadora para que
supere la prueba requiere un trabajo considerable
- El computador supera la prueba si un evaluador humano no
es capaz de distinguir si las respuestas a una serie de
preguntas, son de una persona no.


Capacidades que debe tener la computadora:
Procesamiento de lenguaje natural: Para poder
comunicarse satisfactoriamente en lenguaje natural
Representacin del conocimiento: Para almacenar lo que se
conoce siente
Razonamiento automtico: Para utilizar el conocimiento
almacenado para responder a preguntas y extraer nuevas
conclusiones
Aprendizaje automtico: Para adaptarse a nuevas
circunstancias y para detectar y extrapolar patrones
Capacidades que debe tener la computadora para
la interaccin fsica entre el evaluador y el
computador:
Prueba Global de Turing:

Visin computacional: Para percibir objetos
Robtica: Para manipular y mover objetos

- La prueba se conserva vigente en la actualidad
- Los cientficos han dedicado poco esfuerzo a la
evaluacin de los sistemas con la prueba de Turing
- Es mas importante el estudio de los principios en
que se basa la inteligencia que duplicar un
ejemplar
- Los hermanos Wright tuvieron xito en la bsqueda
de un artefacto que volara, cuando dejaron de
imitar a los pjaros y comprendieron los principios
de la aerodinmica

Fundamentos de la IA
Filosofa
Matemticas
Economa
Neurociencia
Psicologa
Ingeniera Computacional
Teora del Control y la
Ciberntica
Lingstica
Fundamentos de la IA
Filosofa
Existen reglas formales para extraer conclusiones vlidas?. Cmo se genera la
inteligencia mental? De donde viene el conocimiento? Cmo se pasa del
conocimiento a la accin?
Silogsmos: Aristteles. Extraccin de conclusiones mecnicamente a partir de
premisas iniciales)
Dualismo: Descartes. Existe una parte de la mente que est al margen de la
naturaleza. Los animales no poseen esta cualidad dual; e igualmente a las
mquinas)
Materialismo: Las operaciones del cerebro realizadas de acuerdo con las leyes de
la fsica constituyen la mente)
Emprico: Nada existe en la mente que no haya pasado por los sentidos
Induccin: Las reglas generales se obtienen mediante la exposicin a asociaciones
repetidas entre sus elementos
Positivismo lgico: Todo el conocimiento se puede caracterizar mediante teoras
lgicas relacionadas
Teora de la confirmacin: Intenta explicar cmo el conocimiento se obtiene a
partir de la experiencia
Fundamentos de la IA
Matemticas
Qu reglas formales seguir para obtener conclusiones vlidas? Qu se
puede computar? Cmo razonamos con incertidumbre?
Lgica formal: Desarrollo matemtico a travs de la lgica proposicional
Booleana
Algoritmo: El primer algoritmo trivial fue el Eucldeo para calcular el
mcd. Algoritmos para realizar deducciones lgicas
Teorema de incompletitud: En cualquier lenguaje que tuviera la
capacidad para expresar las propiedades de los nmeros naturales,
existen aseveraciones verdaderas no decidibles (no se pueden validar
mediante algoritmos)
Intratabilidad: Problemas en los que el tiempo necesario para la
resolucin de los casos particulares crecen exponencialmente con el
tamao de los casos
NP-Completitud: Mtodo para identificar problemas intratables.
Probabilidad: Ayuda al tratamiento de mediciones con incertidumbre
Fundamentos de la IA
Economa
Cmo tomar decisiones para maximizar rendimiento?
Teora de la decisin: Combina la teora de la probabilidad con la teora
de la utilidad
Teora de juegos: En algunos juegos, un agente racional deba actuar de
forma aleatoria, o al menos, aleatoria en apariencia con respecto a sus
contrincantes
Investigacin operativa: Orienta a la optimizacin y toma de decisiones
de direccin complejas.
Satisfaccin: Toma de decisiones que son suficientemente buenas

Fundamentos de la IA
Neurociencia
Cmo procesa informacin el cerebro?
Neurociencia: Estudio del sistema neurolgico y en especial el cerebro.
La forma exacta en que el cerebro genera los pensamientos.
Neuronas: El cerebro est formado por clulas nerviosas llamadas
neuronas que han sido observadas y estudiadas individualmente


Fundamentos de la IA
Psicologa
Cmo piensan y actan los humanos y los animales?
Conductismo: Rechaza cualquier teora en la que intervengan procesos
mentales. Insistieron en el estudio exclusivo de mediciones objetivas
de percepciones (estmulos) y de las acciones resultantes (respuestas)
Psicologa cognitiva: Conceptualizacin del cerebro como un dispositivo
de procesamiento de informacin. Pone nfasis en que la percepcin
entraa cierto tipo de inferencia lgica inconsciente
Ciencia cognitiva: Utilizacin de modelos informticos para modelar la
psicologa de la memoria, el lenguaje y el pensamiento lgico




Fundamentos de la IA
Ingeniera Computacional
Cmo se puede construir un computador eficiente?
Computadora: La IA necesita adems de Inteligencia y un Artefacto (la
computadora)
Hardware: Cada generacin de dispositivos ha conllevado a un aumento
en la velocidad de proceso y capacidad de almacenamiento
Software: Los Sistemas operativos, los lenguajes de programacin y las
herramientas modernas para escribir programas. La investigacin en
IA ha generado numerosas ideas importantes: Tiempo compartido,
intrpretes imperativos, interfases grficas, entornos de desarrollo
rpido, programacin simblica, funcional, dinmica, orientada a
objetos.



Fundamentos de la IA
Teora del Control y ciberntica
Cmo pueden los artefactos operar bajo su propio control?
Teora del control: Ver el comportamiento determinista como algo
emergente de un mecanismo regulador que intenta minimizar el error
(la diferencia entre el estado actual y el objetivo)
Ciberntica: Modelos cognitivos matemticos y computacionales
Funcin objetivo: Teora del control moderna, basados en disear
sistemas que maximizan una funcin objetivo en el tiempo.



Fundamentos de la IA
Lingstica
Cmo est relacionado el lenguaje con el pensamiento?
Lingstica computacional: Convergencia entre la lingstica moderna y la
IA (procesamiento de lenguaje natural)



Historia de la IA
Perodo de Gestacin (1943-1956)
- Modelo de neuronas artificiales (1943)
- Reglas de actualizacin de aprendizaje (1949)
- Programas de ajedrez para computadoras (1950,1953)
- Primera computadora para simular una red de 40 neuronas a partir de un
computador de tubos de vaco (1951)
- Lenguaje LISP. Primer lenguaje de IA (1958)
Reunin en el Darmouth College (1956)
- Programa capaz de demostrar teoremas de lgica
- Aparece por primera vez el trmino: Inteligencia Artificial
Historia de la IA
Entusiasmo y grandes expectativas (1952-1965)
- GPS. Solucionador general de problemas. Aborda un problema como un
conjunto de subproblemas y posibles cursos de accin.
- Juego de damas con aprendizaje de la experiencia de las partidas jugadas
(1952)
- Contribuciones de McCarthy en el MIT. LISP Compartido y desarrollo
del EC (programa que incorpora conceptos de representacin y
conocimiento) (1958)
- Contribuciones de McCarthy en Stanford. Sistema de planificacin y
respuesta de preguntas (1969). Solucin a problemas limitados
(micromundos ANALOGY: analoga geomtrica)

Historia de la IA
Dosis de Realidad (1966-1974)
- Se predijo que en 10 aos habra una mquina inteligente
- Teora de NP-Completos
- Programa ELIZA, en el MIT, que simulaba el comportamiento de un
psicoanalista (1965)
- Experimentos en Machine Evolution (ahora llamados algoritmos
genticos)
- Perceptrones. Tipo de redes neuronales (1969)

Historia de la IA
Sistemas basados en conocimientos (1969-1979)
- Dendral. Sistema para inferir estructuras moleculares
- Mycin. Sistema para el diagnstico mdico de enfermedades sanguneas
- Se modela la incertidumbre
- HPP. Proyecto de programacin heurstica
- SHDRLU. Sistema para la comprensin del lenguaje natural.
- Lenguaje PROLOG (1972)

Historia de la IA
IA como industria (1980-1988)
- R1. Primer sistema experto comercial, para la elaboracin de pedidos
- Proyecto de quinta generacin en Japn (mquina PROLOG)
- Mquinas optimizadas para ejecutar LISP
- Se produce un impacto industrial en los campos como la robtica y la visin
artificial
Regreso a las redes neronales (1986-presente)
- Hopfield. Rumelhart y Hinton. Nuevos modelos de RN
- Reconocimiento de voz (HMM)
- Incertidumbre (Bayes)
- Robtica
- Aprendizaje
- Realidad virtual

Aplicaciones de la IA
Tratamiento de lenguaje natural
Sistemas Expertos
Demostracin de teoremas
Robtica
Programacin automtica
Problemas de planificacin
Reconocimiento de patrones
Manejo de incertidumbre
Resolucin de problemas
Visin artificial