Los fundamentos de la inteligencia artificial La inteligencia artificial es un campo joven, es heredada de diversas ideas, puntos de vistas y tcnicas de otras

disciplinas. Durante ms de 2000 aos de tradicin en filosofa han surgido diversas teoras del razonamiento y del aprendizaje, simultneamente con el punto de vista de que la mente se reduce al funcionamiento de un sistema fsico. Durante 400 aos de matemtica, han surgido teoras formales relacionadas con la lgica, probabilidad, toma de decisiones y la computacin. La psicologa ofrece herramientas que permiten la investigacin de la mente humana, as como un lenguaje cientfico para expresar las teoras que se van obteniendo. La lingstica ofrece teoras sobre la estructura y significado del lenguaje. La ciencia de la computacin, es de la que se toman las herramientas que permiten que la inteligencia artificial sea una realidad Filosofa (del 428 a.C. al presente) Aristteles formul las leyes que gobiernan la parte racional de la mente, concibi un sistema informal de silogismos para el razonamiento adecuado, lo que permite generar conclusiones, asumiendo ciertas premisas iniciales. Descartes propuso la nocin del dualismo, sostena que existe una parte de la mente(o del alma o del espritu) que est al margen de la naturaleza exento a la influencia de las leyes fsicas. Una alternativa es el materialismo, considero que todo el mundo (cerebro y mente) funciona sujeto a leyes fsicas. Una posicin intermedia, es aceptar que la mente tiene una base fsica, pero que rechaza, que sta puede explicarse reducindola a un proceso fsico, estn ms all de la comprensin racional. Luego se defini la fuente del conocimiento. El conocimiento emprico planteaba que nada existe en la mente que no haya pasado antes por los sentidos. Otro principio es el de la induccin, plantea que las reglas generales se obtienen por contacto con repetidas asociaciones entre sus elementos. sta teora se formalizo con el positivismo lgico, sostiene que todo el conocimiento se pueda caracterizar mediante teoras relacionadas, en ltima instancia, con oraciones de observacin que corresponden a entradas sensoriales. La teora de la conformacin trato de comprender cmo se puede obtener conocimiento a partir de la experiencia. La relacin que existe entre conocimiento y accin es fundamental para la inteligencia artificial al comprender como se justifican determinadas acciones se puede entender como construir un agente cuyas acciones sean racionales. Los principales mtodos del programa SPG, conjuntan el anlisis de medios y fines. ste mtodo es til, pero no podr definir que hay que hacer cuando existen varias acciones que podemos obtener lo mismo o cuando hay una accin que permite obtener lo que se desea. Matemticas (del ao 800 al presente) La lgica data desde Aristteles, pero Bode introdujo un lenguaje formal para hacer inferencias lgicas. Se constituyo la lgica de primer orden que se utiliza actualmente como sistema bsico de representacin del conocimiento. Tuning demostr que existen algunas funciones que no son posibles calcular mediante la maquina de turing. Adems la intratabilidad tuvo repercusiones. Una clase de problema se denomina intratable, s el lapso necesario para la resolucin de casos particulares de dicha clase crece al menos exponencialmente con el tamao de tales casos. Es por ello que deber optarse por dividir el problema general de la produccin de la conducta inteligente en subproblemas que s sean tratables en vez de manejar un problema intratable. El segundo concepto de la complejidad, es la reduccin, que es la transformacin general de una clase de problema a otros, de manera que la

solucin de la primera clase se obtenga reduciendo sta a problemas que pertenecen a la segunda y resolviendo stos. La tercer gran contribucin es la teora de la probabilidad. Se presento como posibles resultados de los juegos de apuestas. La probabilidad ayudo al manejo de mediciones con incertidumbre y teoras incompletas. Birml considero la probabilidad como un grado subjetivo de creencia ms que como un ndice de objetivo de resultados. En la teora de las decisiones, se combinan la teora de la probabilidad con la teora de la utilidad y se cuenta as con la primer teora general que permite discernir entre acciones buenas y acciones malas. Psicologa (de 1879 al presente) El movimiento conductista fue una respuesta contra el subjetivismo y rechazaba sistemticamente toda teora en la que intervinieran procesos mentales. Se abocaron en el estudio exclusivo de mediciones objetivas de las percepciones(estmulos) experimentadas por animales y de los resultados obtenidos(respuestas). Elaboraciones del tipo mental como el conocimiento, creencias, objetivos y pasos del razonamiento quedaron descartadas. La psicologa cognoscitiva, se caracteriz por la nocin de que el cerebro posee y procesa informacin. La percepcin entraa cierto tipo de inferencia lgica inconsciente. Crait encontr la pieza faltante entre el estmulo y la respuesta, afirma que creencias, objetivos y pasos del razonamiento son vlidos y tiles elementos en una teora del comportamiento humano. Crait establece tres condiciones para los agentes basados en el conocimiento: 1_ el estmulo deber ser traducido a una representacin interna 2_ sta representacin se debe manipular mediante procesos cognoscitivos para as derivar nuevas representaciones internas y 3_ stas se traducen en acciones. Actualmente muchos psiclogos aceptan que una teora cognoscitiva deber ser como un programa de computadora, tal teora deber definir la cognocn cmo un conjunto de procesos de transformacin bien definidos que operan al nivel de la informacin que transporta las seales de entrada. Ingeniera computaciones (de 1940 al presente) Para que la inteligencia artificial sea real se necesita inteligencia y un artefacto. La computadora se reconoce cmo el artefacto con mayores posibilidades de manifestar inteligencia. La primer computadora moderna fue hecha por el equipo de Alan Turing en 1940 para descifrar los mensajes de los animales. La primera computadora programable fue la Z-3 inventada por Konrad Zuse en 1941. En 1945 invento el primer lengua de programacin de alto nivel. En Estados Unidos, armaron la primera computadora electrnica, la ABS en 1941. La aparicin de la IBM-701 en 1952 fue un avance, era la primera computadora que rindiera dividendos a sus fabricantes. Con cada nueva generacin de hardware de computacin se han logrado aumentar en velocidad, capacidad y descenso de precio. La inteligencia artificial debe al rea de software de la informtica, pues lo ha dotado de sistemas operativos, lenguajes de programacin y herramientas necesarias para escribir programas modernos.

Lingstica ( de 1957 al presente) En 1957 Skinmer publico un enfoque conductista al aprendizaje del lenguaje. La lingstica moderna y la inteligencia artificial nacieron al mismo tiempo o bien crecieron juntas y se cruzaron en el campo de lingstica ocupacional o procesamiento del lenguaje natural que se concentra en el uso del lenguaje. Chonslly demostr como la teora conductista no abordaba el tema de la creatividad en el lenguaje. La teora de Chonslly posea la formalidad suficiente como para permitir su programacin.