Historia de los sistemas expertos

Indice 1. Introduccin 2. Historia De Los Sistemas Expertos 3. Definiciones De Sistemas Expertos 4. Lenguajes de programacin 5. Rita, Rosie, Y Roos. 6. Conclusiones 7. Bibliografa 1. Introduccin Todo lo mencionado nos llev a que en los alumnos del ISPP "Gustavo Allende Llavera" despertara el inters de investigar ms a fondo en lo que es en s SISTEMAS EXPERTOS. Nuestro trabajo consta de cuatro partes: Historia y Definiciones del sistema experto; Generalmente los textos se organizan adaptanto una perspectiva histrica. En ellas se citan los problemas y soluciones ms importantes que se han descubierto en el transcurso de su desarrollo. Principales sistemas expertos y sus caractersticas; Al trasncurrir el tiempo, despus del descubrimiento de I.A., se quera que los ordenadores sean capaces de ayudar al hombre, por ello surgen los primeros sistemas expertos, despus de muchos intentos fallidos se logr construir los primeros sistemas expertos los cuales eran bastante complicados estos fueron: DENDRAL, MYCIN, XCON, etc. Lenguajes de programacin; Estos sistemas expertos fueron elaborados en lenguaje de programacin especiales en su momento de descubiertos fueron considerados obsoletos. Principales instituciones donde se investiga sistemas expertos en el Per; Como sabemos vivimos en ujn mundo globalizado en la que es necesaria la tecnologa y por ende el Per esta tratando de integrarse a este mundo y por lo tanto tratando de investigar nuevos sistemas expertos.

2. 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. Definicin de Elaim Reich: La inteligencia artificial es el estudio de como hacer que los ordenadores hagan cosas que, en estos momentos, hace mejor el hombre.

Definicin de Alexander Sporl (1971): En su obra "Sporls-Computerbuch": Bajo Inteligencia entiendo la capacidad de un ser vivo o una mquina de ordenar informaciones, extensas observaciones, experiencias, descubrir interrelaciones para abstraer de esta forma cosas y poderlas ligar entre s Uno de los primeros sistemas expertos se llamo Dendral y era capaz de calcular o descubrir hechos relativos a la estructura molecular a partir de unos datos qumicos sin elaborar.Otro sistemas expertos famosos son MYCIN que diagnostica enfermedades de la sangre y que sugiere un tratamiento y PUFF, un sistema similar pero para enfermedades de pulmn. 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 3. Definiciones De Sistemas Expertos Qu es un sistemas experto? Los sistemas expertos forman parte de un firme y verdadero avance en inteligencia artificial. Los sistemas expertos pueden incorporar miles de reglas. Para una persona seria una experiencia casi "traumtica" el realizar una bsqueda de reglas posibles al completado de un problema y concordar estas con las posibles consecuencias, mientras que se sigue en un papel los trazos de un rbol de bsqueda. Los sistemas expertos realizan amablemente esta tarea; mientras que la persona responde a las preguntas formuladas por el sistema experto, este busca recorriendo las ramas ms interesantes del rbol, hasta dar con la respuesta a fn al problema, o en su falta, la ms parecida a esta. Los sistemas expertos tienen la ventaja frente a otro tipos de programas de Inteligencia Artificial, de proporcionar gran flexibilidad a la hora de incorporar nuevos conocimientos. Para ello solo tenemos que introducir la nueva regla que deseemos hacer constar y a est, sin necesidad de cambiar el funcionamiento propio del programa. Los sistemas expertos son "auto explicativo", al contrario que en los programas convencionales, en los que el conocimiento como tal est encriptado junto al propio programa en forma de lenguaje de ordenador. Los expertos de I.A. dicen que los sistemas expertos tienen un conocimiento declarativo, mientras que en los dems programas es procedural. Descripcin Del Esquema Para realizar un sistema experto integran dos personas el Experto del Dominio (profesional X) y un Ingeniero de Conocimiento (programador), que estos van enlazar sus experiencias almacenndolos en la Base de conocimientos que mediante la interface va a permitir al usuario llegar a comunicarse con el motor de inferencia, el cual es va a tomar la decisin de aplicar todo lo almacenado en la base de conocimientos. La Base de conocimiento nos halla la base datos y estas esta compuestas por lenguajes de predicado, esta es uno de los componentes que contiene el conocimiento del experto o tambin llamado base de datos, su funcin es almacenar experiencias, conocimientos , etc. de una determinada rea. Existen dos tipos de base de conocimiento: El procedural ; Se usa en los lenguajes. estructurados como son Pascal, C, Visual Basic etc. El declarativo; Esta basado en hechos que vienen a ser acciones que se dan dentro del problema se ulitizan los lenguajes Prolog y Lisp. El Motor de Inferencia Su funcin es administrar , como, cuando, y las reglas de produccin que se aplicaran para la solucin de un determinado problema Dirige y controla la implementacin del conocimiento, adems permite decidir que tipo de tcnicas se usaran durante el diseo del sistema experto. La Interface Parte que permite la comunicacin con el usuario, en forma vidireccional(ambos lados).

Mediante al Interface el Motor de Inferencia reconoce la pregunta y saca datos de la Base de Conocimiento y mediante la Interface responde la pregunta Descripcin del esquema: DEMONIO; Es la parte principal de la estructura de control el cual va seguir un encadenamiento hacia atrs y hacia delante y esta a su vez est compuesta de dos campos especficos PROCEDIMIENTOS ESPECIALES son los pasos a seguir compuestas por reglas, normas de produccin, ELEMENTOS DE METACONOCIMIENTO compuestas por redes neuronales, por que est e la capacidad de aprender, entender y responder a la pregunta realizada por un usuario. Todo esto se interactan a partir de cierto conocimiento deducido durante la ejecucin de la aplicacin. Esto nos va a conllevar a una RUPTURA en la que el demonio retorna para cumplir un FUNCIONAMIENTO SISTEMTICO usando tipos de bsqueda implementada y completa. Primero se da el primer funcionamiento del motor de estructura que esta dado con los procedimientos especiales y con los elementos de metaconocimiento, todo esto experimentado lo vamos a llevar al principal funcionamiento sistemtico con una bsqueda implementada, para dar lugar a un respuesta satisfactoria para quien lo est usando o manejando. Explicamos la arquitectura, como Base de Conocimientos vamos a tener hechos y reglas de un sistema determinado las cuales van a ser codificadas para que la computadora puede interpretar, y ser utilizada adecuadamente por los usuarios y de acuerdo a la aplicacin. Estos resultados van a servir a otros sistemas y que estos van a alimentar a nuestras bases de conocimientos originales para obtener mejores resultados. 4. Lenguajes de programacin Son programas que se han diseado principalmente para emular un comportamiento inteligente. Incluyen algoritmos de juego tales como el ajedrez, programas de comprensin del lenguaje natural, visin por computadora, robtica y "sistemas de expertos". responde a una interfaz ensamblador, el segundo a interfaz compilador y el ultimo a interfaz interprete. Un Lenguaje de Programacin se basa en reglas de accin (silogismos) , y el anlisis de posibilidades dndonos una ayuda muy til en todas las ramas de la accin humana. Es as como los Sistemas Expertos desarrollan una Funcin muy importante "Realizar tareas genricas: es decir para la monitorizacin y el diagnstico, adems de los trabajos de simulacin de la realidad (Realidad Virtual en la actualidad) . Algunos lenguajes son lenguajes principalmente interpretados, como APL, PROLOG y LISP. :. APL (A Programing Language) Diseado para tablas, vectores y matrices; utiliza smbolos especiales, distintos que el ASCII. HISTORIA: Introducido por Kenneth Iverson, en el ao de 1962. Durante los siguientes 7 aos IBM trabajo en el APL, defino un conjunto de caracteres y un lenguaje "APL/360", el cual se requiere un hardware especial. Conceptos lisp:

Listas y tomos: La estructura ms importante es la lista. Los tomos pueden subordinarse a cualidades. La Funcin: Cada funcin LISP y cada programa LISP tiene estructura de lista. Los programas no pueden distinguirse sintcticamente de los datos. LISP ofrece sus propias funciones bsicas. Forma de Trabajo: LISP es un lenguaje funcional. Ofrece la posibilidad de realizar definiciones recursivas de funciones. La unin de procedimientos se realiza de forma dinmica, es decir en plena ejecucin, y no como en otros lenguajes de programacin. El sistema realiza automticamente una gestin dinmica de memoria.

Entonces: La estructura ms importante en LISP es la lista Componentes de un sistema lisp. Un componente importante de un sistema LISP es la gestin dinmica de la memoria. El sistema administrar el espacio en la memoria para las listas en constante modificacin, sin que el usuario lo deba solicitar. Libera los espacios de memoria que ya no son necesarios y los pone a disposicin de usos posteriores. La necesidad de este proceso se deriva de la estructura bsica de LISP, las listas, que se modifican de forma dinmica e ilimitada. Adems un sistema LISP abarca bastante ms que el solo intrprete del lenguaje LISP. Consta de algunos mdulos que ofrecen ayuda en el desarrollo y control del progreso en programas, como son el Editor, el File-System y el Trace. PROLOGO (PROgramacin LOGica): Mecanismos Del Prolog La Recursividad representa la estructura ms importante en el desarrollo del programa. En la sintaxis del PROLOG no existen los bucles FOR ni los saltos; los bucles WHILE son de difcil incorporacin, ya que las variables slo pueden unificarse una sla vez. La recursin es ms apropiada que otras estructuras de desarrollo para procesar estructuras de datos recursivas como son las listas y destacan en estos casos por una representacin ms sencilla y de mayor claridad. La Instanciacin es la unin de una variable a una constante o estructura. La variable ligada se comporta luego como una constante. La Verificacin es el intento de derivar la estructura a comprobar de una pregunta desde la base de conocimientos, es decir, desde los hechos y reglas. Si es posible, la estructura es verdadera, en caso contrario es falsa. La Unificacin es el componente principal de la verificacin de estructuras. Una estructura estar comprobada cuando puede ser unificada con un hecho, o cuando puede unificarse con la cabecera de una regla y las estructuras del cuerpo de dicha regla pueden ser verificadas. 5. Rita, Rosie, Y Roos. Para el desarrollo de los sistemas expertos se utilizan lenguajes de ingeniera del conocimiento. Los lenguajes ms difundidos para el desarrollo de los SE son RITA, ROSIE, y ROOS. Comenzaremos hablando de ROSIE, un lenguaje evolucionado de RITA. Este lenguaje permite al programador describir relaciones complejas y manipularlas simblica y deductivamente. Adems soporta trabajo en redes, trabaja en una forma Interactiva compilada e interpretada y cuenta con una serie de depuradores y herramientas de

programacin. Como puede ser programada en una sintaxis parecida al Ingles esto la hace bastante leble y entendible para los usuarios. Este lenguaje integra dos paradigmas programticos que lo hace especial: modelacimiento basado en reglas y procedureoriented computing (al ser lenguajes secuenciales y al mismo tiempo orientados a objetos), y por ltimo es que puede ser organizado como un programa LISP lo que la hace fcil de aprender. El lenguaje ROSS, es un lenguaje de programacin orientado a objetos, y combina la Inteligencia Artificial y los Sistemas Expertos principalmente en el rea de simulaciones. Entre sus ventajas se citan las facilidades para buscar entre objetos y su comportamiento. El programa se desarrolla de una forma que los objetos se comunican mandando mensajes para causar que las reglas o comportamientos apropiados sean ejecutados. Se presenta en forma resumida dos Sistemas Expertos que fueron decisivos para el xito del avance investigador en el campo de los Sistemas Expertos. Mycin Sistema Experto para diagnsticos mdicos MYCIN es un Sistema Experto para la realizacin de diagnsticos, iniciado pro Ed Feigenbaum y posteriormente desarrollados por E.Shortliffe y sus colaboradores. Su funcin es la de aconsejar a los mdicos en la investigacin y determinacin de diagnsticos en el campo de las enfermedades infecciosas de la sangre. El sistema MYCIN, al ser consultado por el mdico, solicita primero datos generales sobre el paciente: nombre, edad, sntomas, etc. Una vez conocida esta informacin por parte del sistema, el Sistema Experto plantea unas hiptesis. Para poder verificarlas comprueba primero la exactitud de las premisas de la regla (Os preguntareis como hace esto). Esto se realiza mediante una bsqueda de enunciados correspondientes en la base de conocimientos. Estos enunciados pueden a su vez estar de nuevo en la parte de consulta de otra regla. Tambin lo realiza mediante determinadas preguntas al usuario. Aqu se hacen preguntas del tipo: Se ha practicado en el paciente algn tipo de intervencin quirrgica? Con las respuestas que recibe, el MYCIN verifica o rechaza las hiptesis planteadas. Una serie de tests han demostrado que MYCIN trabaja igual de bien que un mdico.( A mi particularmente me cuesta mucho creerlo y me parece que es increble, pero ah estn los resultados de los test). Xcon Sistema Experto para configuracin de Ordenadores. XCON es un Sistema Experto para configuraciones desarrollado por la Digital Equipment Corporation. Segn los deseos individuales del cliente se configuran redes de ordenadores VAX. Ya que el abanico de productos que se ofrecen en el mercado es muy amplio, la configuracin completa y correcta de un sistema de estas caractersticas es un problema de gran complejidad. Las funciones de este Sistema Experto son las siguientes: Pueden conjugarse los componentes solicitados por el cliente de forma conveniente y razonable? Los componentes de sistema especificados son compatibles y completos? Las respuestas a estas preguntas son muy detalladas. XCON es capaz de comprobar y completar los pedidos entrantes mucho ms rpido y mejor que las personas encargadas hasta ahora de esa labor Tambin se han desarrollado Asesores Inteligentes para apoyar la enseanza de

programacin, en distintos lugares y con distintas arquitecturas. Entre otros, podemos mencionar: COACH (Cognitive Adaptive Computer Help): Permite crear ayuda personalizada al usuario. Es un observador de las acciones del usuario que est aprendiendo a operar un ambiente, y en base a ellas construye un modelo adaptativo del usuario. Si bien el concepto general es aplicable para reas diversas tales como las Interfases Inteligentes y el soporte tcnico, en particular es de inters para este trabajo ya que los dominios de prueba que model corresponden al de un lenguaje y un entorno de programacin (LISP y UNIX, respectivamente); as como por la prueba de adaptabilidad a distintos dominios en que prob ser efectivo. En dicha prueba, despus de completar el desarrollo y pruebas del tutor bajo el dominio de LISP, se encarg a un estudiante inexperto, su adaptacin al dominio de UNIX; dado el xito de la adaptacin, a pesar de la inexperiencia del constructor del dominio, Selker concluye que la aplicacin de los conceptos y modelacin del dominio son apropiados para diversos dominios, y por lo tanto, fcilmente adaptables. Una de las contribuciones importantes de Coach consiste en la descripcin de diversos modelos de usuarios, representados por medio de frames adaptativos; y el modelado cognitivo de variables tales como la experiencia, la latencia del conocimiento. Por otro lado, el anlisis de resultados que hace Selker, basado en el comportamiento registrado por los usuarios de sistemas tradicionales y los del sistema asesor, muestra variables cuantificables para medir el xito de un sistema similar como el que ocupa este trabajo. 6. Conclusiones

Un sistema experto es aquel que simula el razonamiento humano ayudando usuario. Cuando los expertos humanos en una determinada materia son escasos, los Sistemas Expertos pueden recoger y difundir su conocimiento. En situaciones complejas, donde la subjetividad humana puede llevar a conclusiones errneas. La posibilidad de poder emular la inteligencia humana ha despertado la curiosidad del ser humano desde tiempos remotos. Y el hombre encontr dos caminos para lograr dicho fin:

Tratar de imitar el funcionamiento del cerebro humano a nivel computador lo cual implica construir una analoga de tipo fsico del cerebro del hombre. Esto podra llamarse entonces enfoque fsico, y como principal exponente de este rumbo encontramos a las redes neuronales. Tratar de lograr el conocimiento humano a travs de la lgica, por lo que estaramos en presencia de un enfoque lgico. En este enfoque de pensamiento encontramos a los sistemas expertos que intentan reproducir el razonamiento humano de forma simblica. Sugerencias

Nosotros como jvenes que somos estamos llamados a contribuir con el desarrollo del pas por ello deberamos abocarnos mucho mas a las reas de investigacin y pedir que se nos apoye mas en cuanto a materia educativa y Tecnologa Educativa. Las Universidades e Institutos estn llamados a ayudar al Per a inmiscuirse dentro del mundo que empezamos a vivir.

Nosotros como futuros formadores de la especialidad de Computacin e Informtica estamos preparados para orientar a despertar el inters de nuestros alumnos de investigacin.

7. Bibliografa www.dei.va.educpy\tar17\sexpreti\historia.htm www.sarder.upeu.edu.pe\~miguel+\temas\expertos.htm www.fotunecity.com\skycod.per\ronrow\207\se\portada.htm www.monografias.com

Trabajo enviado por: PITH[arroba]terra.com.pe