Historia de los sistemas expertos

http://www.monografias.com/trabajos10/exper/exper.shtml
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
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 procedure-oriented 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.

de