Historia de los Sistemas Expertos

Estas pensando que la inteligencia artificial es una cosa de los ltimos 3, 5 o como mucho los 10 ltimos aos, pero NO!, los primeros pasos en la inteligencia artificial se dieron en los !AOS 50!. Tu te imaginas crear un programa inteligente con el Hardware de esa poca. Sencillamente es increble.

A comienzos de los aos 50 el conocido Alan Mathinsong Turing public "Inteligencia y Funcionamiento de las Mquinas" con el fin de demostrar hasta que punto estas tienen inteligencia. En estos aos se dieron varias definiciones de lo que significaba la inteligencia en una mquina. Sobre lo que denominamos la inteligencia artificial. En el ao 1950 el campo de la automtica recibe un gran impulso cuando Wiener desarrolla el principio de la retroalimentacin. La teora de la retroalimentacin es base fundamental de los sistemas de control.

En 1955 Newell y Simon desarrollan la Teora de la lgica. Este desarrollo permiti desarrollar un programa que exploraba la solucin a un problema utilizando ramas y nudos, seleccionando nicamente las ramas que ms parecan acercarse a la solucin correcta del problema.

En 1956, se celebra una conferencia en Vermont (USA) de gran trascendencia en el desarrollo de la I.A. John McCarthy propone por primera vez el uso del trmino "Inteligencia Artificial" para denominar el estudio del tema.

En 1957, aparece la primera versin de "The General Problem Solver" (GPS, Solucionador general de problemas), un programa capaz de solucionar problemas de sentido comn pero no problemas del mundo real como diagnsticos mdicos. El GPS utilizaba la teora de la retroalimentacin de Wiener..

En 1958 McCarthy anuncia su nuevo desarrollo el lenguaje LISP (LISt Procesing), el lenguaje de eleccin para todos aquellos desarrolladores inmersos en el estudio de la IA.

En 1963, el Instituto Tecnolgico de Massachussets (MIT) recibe una subvencin de 2,2 millones de dlares del gobierno de los Estados Unidos en concepto de investigacin en el campo de la IA. De esa forma, se comprueba la importancia que el Gobierno concede a la investigacin dentro de ese campo.

En 1965 aparece DENDRAL, el primer sistema experto. Es en ese ao cuando Feigenbaum entra a formar parte del departamento de informtica de Stanford. All conoci a Joshua Lederberg, el cual quera averiguar cual era la estructura de las molculas orgnicas completas. El objetivo de DENDRAL fue estudiar un compuesto qumico. El descubrimiento de la estructura global de un compuesto exiga buscar en un rbol las posibilidades, y por esta razn su nombre es DENDRAL que significa en griego "rbol".Antes de DENDRAL los qumicos solo tenan una forma de resolver el problema, estar era tomar unas hiptesis relevantes como soluciones posibles, y someterlas a prueba comparndolas con los datos.

La realizacin de DENDRAL dur ms de diez aos (1965-1975). Se le puede considerar el primer sistema experto.

En 1965 tambin se empezaron a utilizar tcnicas para la resolucin de problemas que se caracterizaban por la bsqueda heurstica como modelo para la resolucin de problemas, y con ellas comenz la investigacin y desarrollo de los sistemas expertos. En 1972, en la Universidad de Standford se desarrolla MYCIN, sistema experto dentro del campo de la medicina para diagnostico de enfermedades infecciosas en la sangre. MYCIN se trataba de un sistema experto para el diagnstico de enfermedades infecciosas. Desde los resultados de anlisis de sangre, cultivos bacterianos y dems datos, el prog rama era capaz de determinar, o en lo menos, sugerir el microorganismo que estaba causando la infeccin. Despus de llegar a una conclusin, MYCIN prescriba una medicacin que se adaptaba perfectamente a las caractersticas de la persona, tales como el peso corporal de este.

Al mismo tiempo, Davir Marr propone nuevas teoras sobre la capacidad de reconocimiento visual de las diferentes mquinas. En 1972 aparece el lenguaje PROLOG basado en las teoras de Minsky. En 1973 se desarrolla el sistema experto llamado TIERESIAS. El cometido de este sistema experto era el de servir de intrprete entre MYCIN y los especialistas que lo manejaban, a la hora introducir nuevos conocimientos en su base de datos. El especialista deba utilizar MYCIN de una forma normal, y cuando este cometiera un error en un diagnstico (hecho producido por la falta o fallo de informacin en el rbol de desarrollo de teoras) TEIRESIAS corregira dicho fallo destruyendo la regla si es falsa o amplindola si es eso lo que se necesita. En 1979 aparece XCON, primer programa que sale del laboratorio Su usuario fue la Digital Equipament Corporation (DEC).

El cometido de XCON sera configurar todos los ordenadores que saliesen de la DEC. El proyecto present resultados positivos y se empez a trabajar en el proyecto ms en serio en diciembre de 1978.

En abril de 1979 el equipo de investigacin que lo haba diseado pens que ya estaba preparado para salir, y fue entonces, cuando se hizo una prueba real, esperando resolver positivamente un 95% de las configuraciones, este porcentaje tal alto se qued en un 20% al ser contrastado con la realidad; XCON volvi al laboratorio, donde fue revisado y a finales de ese mismo ao funcion con resultados positivos en la DEC.

En 1980 se instaur totalmente en DEC. Y en 1984, el XCOM haba crecido hasta multiplicarse por diez. El XCOM supuso un ahorro de cuarenta millones de dlares al ao para la DEC.

Entre los aos 80 a 85 se produce la revolucin de los Sistemas Expertos En estos 5 aos se crearon diversos sistemas expertos como el DELTA, de General Electric Company, para la reparacin de locomotoras diesel y elctricas. "Aldo en Disco" para la reparacin de calderas hidroestticas giratorias usadas para la eliminacin de bacterias. Se crearon multitud de empresas dedicadas a los sistemas expertos como Teknowledge Inc., Carnegie Group, Symbolics, Lisp Machines Inc., Thinking Machines Corporation, Cognitive Systems Inc. formando una inversin total de 300 millones de dlares. Los productos ms importantes que creaban estas nuevas compaas eran las "mquinas Lisp", que se trataba de unos ordenadores que ejecutaban programas LISP con la misma rapidez que en un ordenador central, y el otro producto fueron las "herramientas de desarrollo de sistemas expertos".

En 1987 XCON empieza a no ser rentable. Los tcnicos de DEC tuvieron que actualizar XCOM rpidamente llegndose a gastar ms de dos millones de dlares al ao para mantenimiento y algo parecido ocurri con el DELTA..Tambin en 1987 aparecieron los microordenadores Apple y compatibles IBM con una potencia parecida a los LISP. El software se transfiri a mquinas convencionales utilizando el lenguaje "C" lo que acab con el LISP.

A partir de los 90 y con el desarrollo de la informtica, se produce un amplio desarrollo en el campo de la IA y los sistemas expertos, pudindose afirmar que estos se han convertido en una herramienta habitual en determinadas empresas en la actualidad. La evolucin histrica de los mtodos utilizados en el desarrollo de los sistemas expertos tambin se ha producido a medida que se ha ido desarrollando la IA y los diferentes mtodos que se han empleado para su resolucin. El desarrollo de lenguajes como LISP y PROLOG condicionaron esa evolucin, as como investigaciones en diversos campos relacionados. Los primeros sistemas expertos que se desarrollaron en los aos 60 eran capaces de resolver solo problemas basados en situaciones determinadas ,mediante sistemas de reglas .Es a partir de los 70 cuando se empiezan a resolver problemas basados en situaciones inciertas, basados en medidas difusas al principio y en redes probabilsticas con posterioridad

La Heurstica
Se denomina heurstica a la capacidad de un sistema para realizar de forma inmediata innovaciones positivas para sus fines. La capacidad heurstica es un rasgo caracterstico de los humanos, desde cuyo punto de vista puede describirse como el arte y la ciencia del descubrimiento y de la invencin o de resolver problemas mediante la creatividad y el pensamiento lateral o pensamiento divergente. La etimologa de heurstica es la misma que la de la palabra eureka, cuya exclamacin se atribuye a Arqumedes en un episodio tan famoso como apcrifo. La palabra heurstica aparece en ms de una categora gramatical. Cuando se usa como sustantivo, identifica el arte o la ciencia del descubrimiento, una disciplina susceptible de ser investigada formalmente. Cuando aparece como adjetivo, se refiere a cosas ms concretas, como estrategias heursticas, reglas heursticas o silogismos y conclusiones heursticas. Claro est que estos dos usos estn ntimamente relacionados ya que la heurstica usualmente propone estrategias heursticas que guan el descubrimiento. La popularizacin del concepto se debe al matemtico George Plya, con su libro Cmo resolverlo (How to solve it). Habiendo estudiado tantas pruebas matemticas desde su juventud, quera saber cmo los matemticos llegan a ellas. El libro contiene la clase de recetas heursticas que trataba de ensear a sus alumnos de matemticas. Cuatro ejemplos extrados de l ilustran el concepto mejor que ninguna definicin: * Si no consigues entender un problema, dibuja un esquema. * Si no encuentras la solucin, haz como si ya la tuvieras y mira qu puedes deducir de ella (razonando hacia atrs a la inversa). * Si el problema es abstracto, prueba a examinar un ejemplo concreto.

Inferencia
Una inferencia es una evaluacin que realiza la mente entre proposiciones. En lgica formal son expresiones bien formadas de un lenguaje formal (EBF) que, al ser relacionadas , permiten trazar una lnea lgica de condicin o implicacin lgica entre las diferentes EBF. De esta forma, partiendo de la verdad o falsedad posible (como hiptesis) o conocida(como argumento) de alguna o algunas de ellas, puede deducirse la verdad o falsedad de alguna o algunas de las otras EBF. Surge as lo que conocemos como postulado1 o transformada de una expresin original conforme a reglas previamente establecidas,2 que puede enmarcarse en uno o varios contextos referenciales diversos,3 obtenindose en cada uno de ellos un significado como valor de verdad de equivalente.