exsys corvid
DESCRIPTION
Características de ExsysTRANSCRIPT
1 Ing. Euclides Samaniego G.
2
Introducción a Exsys CORVID
Exsys CORVID esta diseñado para ayudarlo a
construir un proceso de toma de decisiones a
través de pasos lógicos, el cual permite
entregar el conocimiento a otras personas
como si estas lo recibieran a través de un
experto humano. Seria muy similar a la manera
de explicarle a una persona como resolver un
problema.
Ing. Euclides Samaniego G.
3
Sistema Experto
Consiste de equipos y software que almacenan
conocimientos y hacen inferencias, en forma similar
a un experto humano.
Los ingenieros se orientaron al diseño de
programas que resolvieran problemas en áreas
precisas utilizando conocimiento y razonamiento de
expertos.
Ing. Euclides Samaniego G.
4
CARACTERÍSTICAS DE UN SE
Puede mostrar un comportamiento
"inteligente"
Puede obtener conclusiones de
relaciones complejas
Puede proporcionar conocimientos
acumulados
Puede hacer frente a la incertidumbre
Ing. Euclides Samaniego G.
5
CARACTERÍSTICAS QUE LIMITAN SU UTILIDAD
No se han usada o probado en forma extensa
Dificultad de uso Están limitados a problemas relativamente
limitados No pueden enfrentar con facilidad
conocimientos "mixtos
Pueden tener costo altos de desarrollo
Ocasionan preocupaciones legales y éticas
Ing. Euclides Samaniego G.
6
EXSYS Professional Herramienta creada por Exsys Inc. es adecuada para
computadores personales, cuyo precio oscila entre US$ 3.000. y US$ 6.000., tiene diversas versiones que cubren ambientes como MS-DOS, UNIX, y sistemas operativos de mainframe, con costos que parten en los US$ 3.000.
La representación de conocimiento utilizada por este shell, es la forma clásica de reglas de producción con sintaxis IF-THEN-ELSE. Cada una de estas partes puede estar compuesta por una o más por posiciones relacionadas entre sí mediante conectores lógicos (AND, OR), pudiendo tratarse también de condiciones de igualdad de variables (numéricas o de cadena), o expresiones que incluyen certidumbre en conclusiones intermedias. Por razones de orden lógico, el uso de OR no está permitido en las partes THEN o ELSE de las reglas.
Ing. Euclides Samaniego G.
7
El Enfoque de Exsys Corvid
El foco de EXSYS ha sido siempre hacerla fácil y práctica para construir sistemas con los interfaces del desarrollo que pueden ser aprendidos rápidamente, y las opciones del despliegue que son simples poner en ejecución.
Ing. Euclides Samaniego G.
8
El Enfoque de Exsys Corvid
La mayoría de los sistemas se construyen en 2 semanas a 2 meses.
Con software y servicios de EXSYS, que construye la automatización del conocimiento sistemas no es un alto coste, operación aventurada.
Es razonablemente típicamente tasado, directo un proceso que producirá sistemas acertados, con el ROI muy alto
Ing. Euclides Samaniego G.
9
Nuestro cerebro procesa y combina
la heurística intuitivo.
Desafortunadamente, ninguna
computadora está ni un poco cerca
de ser tan eficaz como nuestro
cerebro.
¿Cuál es un motor de inferencia?
Ing. Euclides Samaniego G.
10
En Exsys CORVID un programa especial
llamado un "motor de inferencia" se utiliza
para analizar y para combinar las reglas
del individuo para solucionar el problema
más grande.
¿Cuál es un motor de inferencia?
Ing. Euclides Samaniego G.
11
Como escoger un
problema
Ing. Euclides Samaniego G.
12
Como escoger un problema
El primer paso para construir una aplicación en CORVID, es
seleccionar un problema que puede ser transformado en una
serie de pasos lógicos o piezas.
Ing. Euclides Samaniego G.
13
Ejemplo explicativo
¿Cuál es la mejor ruta para llegar
a la Universidad?
Ing. Euclides Samaniego G.
14
¿Cuál es la mejor ruta para llegar
a la Universidad?
Usted decide como manejar de su casa a la
universidad.
Existen 3 rutas en consideración: La Autopista
A través de la ciudad
La ruta a través de la costa
Ing. Euclides Samaniego G.
15
La Autopista
Es la vía mas rápida para llegar, mientras el
trafico no este pesado, cuando esto sucede
se vuelve muy lenta. Además en esta vía no
existe ninguna estación de gasolina y usted
no desea quedarse sin combustible…
Ing. Euclides Samaniego G.
16
A través de la ciudad
Esta es lenta, pero es una forma segura de llegar, además en la ciudad abundan las estaciones de combustible y en caso de problemas en el trafico siempre existe una vía alterna. En fin es una manera segura de llegar.
Ing. Euclides Samaniego G.
17
La ruta a través de la costa Esta es una ruta con un excelente paisaje a través de la
costa. Es muy placentero conducir por esta vía cuando existe buen clima, sin embargo es difícil cuando hay mal clima o de noche. Toma aproximadamente el mismo tiempo para llegar a la universidad que por la ciudad. No hay estaciones de gasolina. Cuando es practico es la vía preferida para ir a la universidad.
Ing. Euclides Samaniego G.
18
Mapa del Ejemplo #1
Ing. Euclides Samaniego G.
19
Transformando a reglas IF/THEN
Debemos transformar en la medida de lo posible el problema en forma de decisión tipo Si/Entonces (if/then).
1. La única ruta que posee estaciones de gasolina es a través de la ciudad, y son necesarios dos galones de combustible para recorrer cualquiera de las rutas.
Si hay menos de 2 galones de combustible Entonces la única ruta posible es a través de la ciudad.
2. Si las condiciones de manejo son malas la ruta por la costa se torna difícil y no debe ser escogida.
Si las condiciones de manejo son malas Entonces no tomar la ruta de la costa.
Ing. Euclides Samaniego G.
20
Transformando a reglas IF/THEN
3. La autopista es la vía mas rápida, si se
encuentra en un apuro esta es la vía que le
conviene, si embargo, si hay algún
problema con el trafico, se convierte en la
mas lenta. Si necesita llegar a la universidad rápido Y no hay
problemas de trafico en la autopista Entonces tomar
la autopista.
Si necesita llegar a la universidad rápido Y hay
problemas de trafico Entonces no tomar la autopista
Ing. Euclides Samaniego G.
21
Transformando a reglas IF/THEN
4. Si tiene tiempo, la vía preferida es ir por la
costa.
Si no necesita llegar rápido a la universidad
Entonces la ruta favorita es a través de la costa.
Ing. Euclides Samaniego G.
22
Las Variables en
CORVID
Ing. Euclides Samaniego G.
23
Variables de Listas Estáticas
Es una variable de múltiple opción. Puede
ser un simple Si/No.
La autopista tiene problemas de trafico? Si/No
Las listas estáticas pueden tener múltiples
valores.
La provincia de la cual proviene es… (Cada una
de las provincias es un posible valor)
Ing. Euclides Samaniego G.
24
Variables Numéricas
Este tipo de variables como su nombre lo
dice, toma valores de números.
Ing. Euclides Samaniego G.
25
Variables de Confianza
Estas variables, usualmente son posibles
opciones que el sistema escogerá. Se les
puede asignar un “Valor de Confianza” que
determina si son recomendaciones
apropiadas o inapropiadas basadas enla
información recibida del usuario.
Ing. Euclides Samaniego G.
26
Variables de Confianza
Asignar valores de confianza se parece
mucho a dar puntos en un concurso, el valor
numérico le indica al sistema si la elección es
“buena” o “mala”, basada en la logica de las
reglas y la informacion suministrada por el
usuario.Por ejemplo: Si la temperatura esta por debajo de 20 grados entonces
abrigo = 10
Si esta lloviendo entonces abrigo = 15
Ing. Euclides Samaniego G.
27
Las variables del
ejemplo explicativo
Ing. Euclides Samaniego G.
28
La captura de datos
El ejemplo necesita detalles (datos) para
poder tomar la decisión: ¿Las condiciones de manejos son buenas?
¿Necesita ud. Llegar al trabajo rápidamente?
¿Existen problemas de trafico en la autopista?
¿Cuánto combustible tiene el auto?
Corvid necesita una variable por cada detalle. Esto ayuda al
sistema a confeccionar las preguntas que hará al usuario.
Ing. Euclides Samaniego G.
29
La introducción de los datos
La variable Condiciones de Manejo es de tipo elección múltiple, sin embargo, en esta ocasión se simplifica a dos valores “Buenas” y “Malas”.
Ir rápido al trabajo esta variable puede ser definida como tipo lista estática tomando los valores de “Si” o “No”.
Problemas en la autopista es una variable que se puede manejar como lista estática también con valores de “Si” y “No”.
La Cantidad de combustible se maneja como una variable tipo numérico.
Las rutas: como cada ruta es independiente de las demás cada una debe ser tratada como una variable independiente de Confianza y estas solo deben aparecer después del Entonces (then) en las reglas.
Ing. Euclides Samaniego G.
30
El Entorno Grafico
Ing. Euclides Samaniego G.
31
Iniciando Corvid
Después de la instalación (la cual solo requiere de
un ejecutable y es sencilla) la inicialización del
programa es como cualquier otro programa, como
lo vemos en la imagen.
Ing. Euclides Samaniego G.
32
Iniciando Corvid
La primera vez que abramos el programa nos pedira 1 de 2
opciones:
•Que le introduzcamos el activation code (que logicamente, si
tenemos lo introducimos)
•Que continuemos como demo (la cual tiene un plazo de 30 dias
y solo se pueden hacer 150 nodos) Ing. Euclides Samaniego G.
33
Pantalla Principal Esta es la pantalla principal del
Corvid, como podemos ver
contiene los diversos menues
que utilizaremos a lo largo de
nuestro toma de decisión.
Para dar inicio a nuestra
aplicación, debemos ir a
File-New (para nuevo) o
File-Open (para abrir uno
antiguo)
Cabe destacar, que al momento de hacer un
nuevo file, el mismo se debe nombrar
primeramente, por lo que saldrá un cuadro
de dialogo donde le introducimos el
nombre del archivo. Ing. Euclides Samaniego G.
34
Pantalla de Variables Las variables son agregadas a través de la VENTANA DE VARIABLES, la
cual es llamada a través de dos rutas:
El menú Windows-Variable
El Icono de Variables que aparece
en la barra de herramientas
Ventana de Variables
Ing. Euclides Samaniego G.
35
Ventana de Variables La ventana de variables se divide en 3 que son el
El area de formato de variables
El area de lista de variables y
Area de Valores de Variables
El área de lista de Variables, muestra una
lista de todas las variables que están
siendo utilizadas en el modelo.
El área de Formato de Variables sirve para
dar formato a las variables y especificar
como serán visualizadas y Preguntadas.
Por ejemplo, si una variable es “llegar
rapido” entonces la pregunta es: ¿Deseas
llegar rapido?, las posibles respuestas
entonces estan en el area de lista de
variables.
El área de valores de variables, es donde
se introducen los valores de las variables
(en el caso de las dinámicas y estáticas) y
los rangos en el caso numérico.
Ing. Euclides Samaniego G.
36
Añadiendo Variables Para añadir las variables debemos
darle click al boton NEW en la
ventana de Variables, Esto Abrira
la ventana de nueva variable.
Esta ventana se divide básicamente en
dos partes, El nombre de la variable y
el tipo. Una vez que definimos nuestra
variable le damos click en OK, esto
agregará nuestra variable a la lista de
variables automaticamente. Ing. Euclides Samaniego G.
37
Definiendo Valores
para las Variables Dependiendo del tipo de Variable que definimos anteriormente, asi mismo sera la
definición de los valores de las variables. Esta definición la hacemos en la ventana
de valores de variables.
Variables Estaticas:
Primeramente, se
define el nombre del
valor en el campo
short text y se copia
al Full Text, con el
Boton Copy, este
campo es para una
descripción
ampliada del valor
de la variable.
Para agregar otra
valor, le damos clic
al boton >
Variables Numericas:
El valor se define a traves de
rangos donde se introduce el
valor minimo (el valor no puede
bajar mas que este), el máximo
(no puede aumentar mas de
ese), o ambos (que establece
un rango de valores) tambien
se puede definir si queremos
valores enteros solamente.
Ing. Euclides Samaniego G.
38
Añadiendo los Bloques
logicos (Nodos) sencillos
Los nodos, son los que contienen los bloques de decision, como vimos
anteriormente, en esta sección veremos como insertar bloques de
decision (nodos) sencillos.
Para añadir nodos se debe
dar click al boton L o a
traves del menu Windows-
Logic Bloc, esto activa la
ventana de bloques
Seguidamente, se deben introducir las
condiciones esto lo hacemos a traves
de las condiciones IF que aparecen en
la ventana de bloques, para añadir una
condición, debemos darle clic en ADD
Ing. Euclides Samaniego G.
39
Añadiendo las condiciones IF
Realizados los pasos anteriores se
abrira una ventana donde escogemos
las variables que seran parte del IF.
Para completar la condición debemos:
1 Escoger la variable que usaremos.
2. Escoger el valor relacionado para la
condición
3. Darle clic al boton add to list, para
finalizar.
Al final, el cuadro de texto Nodes to Add
debe mostrar como quedo la condición
Ing. Euclides Samaniego G.
40
Agregando los THEN’S
El proceso para agregar los Then’s
basicamente es el mismo, primeramente,
debemos pararnos en la condición IF a la que
le queremos agregar el THEN y
posteriormente darle click en uno de los 2
botones, VARIABLE y COMMAND. La
variable,es para asignar un valor a una de las
variables del modelo, y Command es para
ejecutar una acción. En este caso, lo
haremos para una variable, por lo que damos
click en el boton VARIABLE.
Esto abre la ventana de variables, aquí es
entonces donde escogemos la variable de
la lista de variables del CORVID y le damos
el valor en el area de valores a la derecha.
Al terminar, damos click al boton add to
list y la condición then estara finalizada,
lo que podemos comprobar con la ventana
de reglas (Rule View)
Ing. Euclides Samaniego G.