Ciencias de la computacin que se ocupa del diseo de sistemas de computacin inteligentes, esto es, sistemas que exhiben las caractersticas que asociamos con la inteligencia en el comportamiento humano (Barr y Feigembaum). La Inteligencia Artificial es el estudio de cmo hacer que las computadoras hagan cosas que hasta el momento, los humanos hacen mejor (Rich y Knight). No solamente trata sobre cmo representar y usar lgicamente informacin incompleta y compleja, sino que se ocupa de otras cuestiones como ver (visin), moverse (robtica), comunicarse (lenguaje natural, habla), aprender, etc. Durante ms de 2000 aos la filosofa ha trabajado sobre diversas teoras del razonamiento y aprendizaje. La matemtica ha desarrollado en varios siglos teoras formales relacionadas con la lgica, la probabilidad, la toma de decisin y con modelos matemticos de computacin. La psicologa ofrece herramientas que permiten la investigacin de la mente humana. La lingstica brinda teoras sobre la estructura y significado del lenguaje. Por ltimo, es la ciencia e ingeniera de la computacin las que proveen las herramientas y el soporte que permiten que la IA sea realidad. Historia Entre el 1943 y el 1956 hubo varios desarrollos precursores. En particular, Alan Turing, en su artculo Computing Machinery and Intelligence, planteaba la pregunta: Pueden pensar las mquinas?, la cul gener una gran discusin que an contina. Adems, propuso un test para evaluar si una mquina piensa, el cul es conocido como Test de Turing. El concepto general de esta prueba ha evolucionado, tiene defensores y detractores, sin embargo an est vigente en la comunidad de IA y puede enunciarse de la siguiente manera: Se coloca a una persona y a una mquina en habitaciones diferentes. Otra persona (interrogador) le hace una serie de preguntas a cada uno por medio de un teletipo. Si pasado cierto tiempo el interrogador no es capaz de identificar quin es el humano y quin es la mquina, podemos concluir que la mquina piensa. Inicios El nombre de Inteligencia Artificial fue dado posteriormente por John Mc Carthy. Entre la dcada del 70 y del 80 surgieron con fuerza los llamados Sistemas Expertos, estos son capaces de comportarse como un experto humano en un dominio especfico. Corrientes Uno apoya el desarrollo de programas que reflejen ciertos comportamientos de la forma que sea ms eficiente. En esta corriente estn los modelos conexionistas, como por ejemplo las redes neuronales y los algoritmos genticos. En el otro enfoque, se intenta llegar a los resultados tratando de seguir los procesos cognitivos que realizan las personas. Este est relacionado a la corriente simblica de la IA, es decir, que se utiliza un procesamiento de smbolos los cuales representan de forma explcita el conocimiento involucrado en el problema a resolver. Esta corriente es la que ms trayectoria tiene dentro de la IA. Una de las razones que fundamenta esta postura es que las personas son los mejores ejemplos para resolver muchas de las tareas que se intenta encarar y adems, esta corriente ofrece una plataforma de experimentacin para la ciencia cognitiva, por lo cual se pueden ensayar y mejorar modelos sobre la inteligencia humana. Sin embargo, en los ltimos aos el paradigma conexionista ha avanzando y hay exitosos proyectos de la IA motivados por ambas lneas. Actualmente se Juegos Existen numerosos programas que compiten en diversos juegos con buen nivel. El ms conocido es quizs el programa para ajedrez Deep Blue, que auxiliado por un grupo de grandes maestros, fue capaz de derrotar en 1997 al campen mundial Gary Kasprov. Hay, sin embargo, muchos desarrollos en otros juegos que han permitido obtener buenos resultados y sigue siendo un importante campo de experimentacin para muchas ideas de la IA. Comunicacin Oral La tecnologa actual permite la construccin de sistemas informticos comerciales que transcriben la voz en texto escrito o que pueden interpretar una orden oral para el manejo de dispositivo. La misma tecnologa tambin posibilita la existencia de sistemas que traducen el habla de una lengua a otra, en tareas restringidas. El gran xito de estos sistemas se debe, entre otras razones, a la utilizacin de tcnicas de reconocimiento de formas y en particular, a que los modelos se pueden construir automticamente a partir de ejemplos del problema que se pretende abordar. Sin embargo, se est muy lejos de conseguir una verdadera comunicacin oral entre los seres humanos y las computadoras. Posiblemente haga falta un marco en el que desarrollen nuevos modelos y tcnicas. La capacidad para aprender es una de las caractersticas fundamentales de la inteligencia; el aprendizaje interviene en cualquier actividad que requiera inteligencia como por ejemplo el lenguaje, las actividades senso-motoras, el diagnstico, la planificacin, etc. Por ello, el aprendizaje automtico juega un papel esencial en aplicaciones que han demostrado ser demasiado difciles de programar manualmente. Existen diversas tcnicas de aprendizaje automtico, como lo son los mtodos inductivos, rboles de decisin, redes neuronales y el razonamiento basado en casos. Una de las tendencias actuales es generar mtodos integradores de las distintas tcnicas. Robtica Se ocupa del desarrollo de robots inteligentes. A un robot se lo puede definir como un agente mecnico que puede funcionar de forma autnoma. ste tiene que ser capaz de interactuar con su entorno y de adaptarse a los posibles cambios sin la necesidad de un operador humano. Actualmente se trabaja en la navegacin de robots mviles, en el control de brazos de robots, en el ensamblaje de piezas, etc. Sistemas Educativos Inteligentes Se ocupa del desarrollo de robots inteligentes. A un robot se lo puede definir como un agente mecnico que puede funcionar de forma autnoma. ste tiene que ser capaz de interactuar con su entorno y de adaptarse a los posibles cambios sin la necesidad de un operador humano. Actualmente se trabaja en la navegacin de robots mviles, en el control de brazos de robots, en el ensamblaje de piezas, etc.