Bsqueda del estado requerido en el conjunto de los estados producidos por las acciones
posibles.
Tambin existen distintos tipos de percepciones y acciones, que pueden ser obtenidas y
producidas, respectivamente, por sensores fsicos y sensores mecnicos en mquinas, pulsos
elctricos u pticos en computadoras, tanto como por entradas y salidas de bits de un
software y su entorno software.
Varios ejemplos se encuentran en el rea de control de sistemas, planificacin automtica, la
habilidad de responder a diagnsticos y a consultas de los consumidores, reconocimiento de
escritura, reconocimiento del habla y reconocimiento de patrones. Los sistemas de IA
actualmente son parte de la rutina en campos como economa, medicina, ingeniera y
lamilicia, y se ha usado en gran variedad de aplicaciones de software, juegos de estrategia,
como ajedrez de computador, y otros videojuegos.
Sistemas que piensan como humanos.- Estos sistemas tratan de emular el pensamiento
humano; por ejemplo las redes neuronales artificiales. La automatizacin de actividades
que vinculamos con procesos de pensamiento humano, actividades como la Toma de
decisiones, Resolucin de problemas y aprendizaje.
Sistemas que actan como humanos.- Estos sistemas tratan de actuar como humanos;
es decir, imitan el comportamiento humano; por ejemplo la robtica. El estudio de cmo
lograr que los computadores realicen tareas que, por el momento, los humanos hacen
mejor.
Sistemas que piensan racionalmente.- Es decir, con lgica (idealmente), tratan de imitar
o emular el pensamiento lgico racional del ser humano; por ejemplo los sistemas
expertos. El estudio de los clculos que hacen posible percibir, razonar y actuar.
Escuelas de pensamiento
La IA se divide en dos escuelas de pensamiento:
La inteligencia computacional
Sistemas expertos: Infieren una solucin a travs del conocimiento previo del contexto
en que se aplica y ocupa de ciertas reglas o relaciones.
Historia
Las ideas ms bsicas se remontan a los griegos, antes de Cristo. Aristteles (384322 a. C.) fue el primero en describir un conjunto de reglas que describen una parte del
funcionamiento de la mente para obtener conclusiones racionales, y Ctesibio de
Alejandra (250 a. C.) construy la primera mquina autocontrolada, un regulador del
flujo de agua (racional pero sin razonamiento).
En 1315 Ramon Llull en su libro Ars magna tuvo la idea de que el razonamiento poda ser
efectuado de manera artificial.
En 1936 Alan Turing disea formalmente una Mquina universal que demuestra la
viabilidad de un dispositivo fsico para implementar cualquier cmputo formalmente
definido.
En 1955 Herbert Simon, Allen Newell y J.C. Shaw, desarrollan el primer lenguaje de
programacin orientado a la resolucin de problemas, el IPL-11. Un ao ms tarde
desarrollan el LogicTheorist, el cual era capaz de demostrar teoremas matemticos.
En 1956 fue inventado el trmino inteligencia artificial por John McCarthy, Marvin
Minskyy Claude Shannon en la Conferencia de Dartmouth, un congreso en el que se
hicieron previsiones triunfalistas a diez aos que jams se cumplieron, lo que provoc el
abandono casi total de las investigaciones durante quince aos.
En 1957 Newell y Simon continan su trabajo con el desarrollo del General Problem
Solver (GPS). GPS era un sistema orientado a la resolucin de problemas.
En 1963 Quillian desarrolla las redes semnticas como modelo de representacin del
conocimiento.
A mediados de los aos 60, aparecen los sistemas expertos, que predicen la probabilidad
de una solucin bajo un set de condiciones. Por ejemplo DENDRAL, iniciado en 1965 por
Buchanan, Feigenbaum y Lederberg, el primer Sistema Experto, que asista a qumicos en
estructuras qumicas complejas euclidianas, MACSYMA, que asista a ingenieros y
cientficos en la solucin de ecuaciones matemticas complejas.
Posteriormente entre los aos 1968-1970 Terry Winograd desarroll el sistema SHRDLU,
que permita interrogar y dar rdenes a un robot que se mova dentro de un mundo de
bloques.
En 1969 Alan Kay desarrolla el lenguaje Smalltalk en Xerox PARC y se publica en 1980.
En 1973 Alain Colmenauer y su equipo de investigacin en la Universidad de AixMarseille crean PROLOG (del francs PROgrammation en LOGique) un lenguaje de
programacin ampliamente utilizado en IA.
En 1973 Shank y Abelson desarrollan los guiones, o scripts, pilares de muchas tcnicas
actuales en Inteligencia Artificial y la informtica en general.
En 1974 Edward Shortliffe escribe su tesis con MYCIN, uno de los Sistemas Expertos ms
conocidos, que asisti a mdicos en el diagnstico y tratamiento de infecciones en la
sangre.
En las dcadas de 1970 y 1980, creci el uso de sistemas expertos, como MYCIN:
R1/XCON, ABRL, PIP, PUFF, CASNET, INTERNIST/CADUCEUS, etc. Algunos permanecen
hasta hoy (Shells) como EMYCIN, EXPERT, OPSS.
En el ao 2011 IBM desarroll una supercomputadora llamada Watson , la cual gan una
ronda de tres juegos seguidos de Jeopardy!, venciendo a sus dos mximos campeones, y
ganando un premio de 1 milln de dlares que IBM luego don a obras de caridad. 10
Existen personas que al dialogar sin saberlo con un chatbot no se percatan de hablar con
un programa, de modo tal que se cumple la prueba de Turing como cuando se
formul: Existir Inteligencia Artificial cuando no seamos capaces de distinguir entre un
ser humano y un programa de computadora en una conversacin a ciegas.
Lingstica computacional
Industriales.
Medicina
Mundos virtuales
Robtica
Mecatrnica
Videojuegos
Prototipos informticos
Simulacin de multitudes
Jeff Hawkins
John McCarthy
Marvin Minsky
Judea Pearl
Alan Turing, discpulo de John von Neumann, dise el Test de Turing que
debera utilizarse para comprender si una mquina lgica es inteligente o no.
Joseph Weizenbaum
Ral Rojas
Ray Kurzweil
Cortana
Cdigo Lyoko
Mass Effect