Está en la página 1de 6

Ingeniera de Sistemas

a distancia
Sistemas Expertos
T1 Introduccin a los
Sistemas Expertos
Johan Duran ID 000241283

Pg. 1

Taller 2
INTRODUCCIN

Los Sistemas Expertos analizan las dependencias existentes y se traduce
a procedimientos de dependencias. Donde cualquier cambio que se
realice sobre se har tiendo en cuentas las reglas o condiciones, los que
implica la regeneracin cdigos los cuales deben dar paso a la creacin
utilizacin de motores de evaluacin de reglas los cuales adquieren
particular importancia en el concepto de sistemas expertos al ofrecer la
capacidad de analizar las reglas y las condiciones planteados para dar
soluciones lgicas las cuales generan cambios dinmicos a las
respuestas de aplicaciones, al usar un nivel de lenguaje abstracto para
administrar las estas reglas. Los Sistemas expertos proponen usar
estas tcnicas de desarrollo donde los componentes sean flexibles,
fcilmente modificables y adaptables al cambio.
Para crear
Agilidad: respuesta simple y rpida al cambio. Se modifica una regla en
un nico lugar e impacta en forma automtica en aquellos lugares
donde se utilice.
Reduccin en costos: Al agregar una nueva restriccin o regla
utilizando el mecanismo de evaluacin de reglas versus la programacin
procedural y posterior puesta en produccin. Los costos se reducen
cuando se mas fcil aplicar cambios
Transparencia: Los analistas puede analizar el cdigo y fcilmente
determinar que la aplicacin implementa en forma precisa las polticas y
procedimientos del aplicados.
Colaboracin: la administracin de las reglas, a un nivel de abstraccin
acorde al experto del negocio, aumenta la colaboracin con el
departamento de Tecnologas de la Informacin ya que se cuenta con un
lenguaje comn de comunicacin.







Ingeniera de Sistemas
a distancia
Sistemas Expertos
T1 Introduccin a los
Sistemas Expertos
Johan Duran ID 000241283

Pg. 2


OBJETIVOS

En esta actividad se pretende analizar la implementacin de los motores
de inferencia en los sistemas expertos los cuales ayudan a comprender
el uso las Reglas y los motores de Reglas aplicados para analizando
tanto la teora como la prctica.


MOTOR DE INFERENCIA

Un motor de inferencia es uno de los varios mecanismos existentes para
aplicar conocimiento sobre los datos. El principal objetivo es aplicar las
reglas que se tengan definidas a los datos (hechos) existentes. El primer
paso consiste en instanciar un contexto de reglas, este contexto
contiene la memoria de trabajo, un conjunto de reglas y una agenda.

Al contar con un conjunto de reglas definidas se ejecutar un mtodo
para disparar todas las reglas (tpicamente el mtodo fireAllRules).

Es aqu en donde el motor de reglas toma el control y debe determinar
qu reglas son factibles de ser ejecutadas segn los hechos existentes
en la memoria de trabajo.

El Motor de inferencia por lo general realiza las siguientes operaciones:

Se aplican las reglas a la memoria de trabajo.

Se comparan los diferentes patrones existentes; se comparan todas las
reglas con la memoria de trabajo utilizando el comparador de patrones
(pattern matcher) para decidir cules reglas deben activarse en este
ciclo.

La lista desordenada de reglas que se activan se le denomina grupo
conflictivo de reglas (conflict set).



Ingeniera de Sistemas
a distancia
Sistemas Expertos
T1 Introduccin a los
Sistemas Expertos
Johan Duran ID 000241283

Pg. 3

Se crea una Agenda con las activaciones; el grupo conflictivo de reglas
es ordenado para formar la agenda con la lista de reglas que sern
ejecutadas.

Se ejecutan las activaciones en un motor de ejecucin. La primera regla
de la agenda es disparada, por lo que se ejecutan todas las operaciones
de la seccin de acciones de la misma.

Es posible que en las propias acciones de la regla se actualice la
memoria de trabajo del motor de ejecucin; esto implica que todo el
proceso se vuelva a repetir.

Es decir, es posible que una regla cambie un objeto y ste cambio
implique que nuevas reglas sean factibles de ser ejecutadas, que sern
agregadas a la agenda. Este proceso contina hasta que no hay reglas
en la Agenda.

Si bien esta repeticin implica una cantidad importante de reproceso, la
mayora de los motores de evaluacin de reglas utilizan tcnicas
sofisticadas para evitar este reproceso.

En particular, los resultados de comparar patrones en las condiciones de
las reglas y la resolucin de conflictos para crear la Agenda ser
preservado entre los diferentes ciclos de ejecucin, de manera que solo
lo esencial ser re-ejecutado.

Devolviendo el control a la aplicacin.









Ingeniera de Sistemas
a distancia
Sistemas Expertos
T1 Introduccin a los
Sistemas Expertos
Johan Duran ID 000241283

Pg. 4

TIPOS DE MOTORES

ENCADENAMIENTO HACIA ADELANTE

Los Motores de inferencia de tipo Forward-chaining comienzan el
mecanismo de inferencia con los datos disponibles y utilizan reglas para
extraer ms datos hasta que se alcanza un objetivo.

Define reglas de la forma If <condition> then <action>, donde:

Seccin If : se le considera la condicin de la regla.
Seccin Then: se le considera la parte de accin de la regla.

Son tiles para los casos donde los problemas requieren llegar a
conclusiones de alto nivel a partir de hechos simples.

Si bien las reglas se definen en forma procedural, las sentencias se
ejecutan cuando se satisfacen las condiciones If , y es el motor de
ejecucin de reglas el cual se encarga de decidir qu reglas disparar y
en qu orden. Dado que los datos determinan qu reglas son
seleccionadas y posteriormente ejecutadas, a este mtodo se le
denomina orientado a los datos.

Cuando el motor de ejecucin procesa un hecho en la memoria de
trabajo, verifica su base de reglas para ver si alguna de las condiciones
es verdadera.

En caso afirmativo, las acciones que detallan las reglas son procesadas,
pudiendo cambiar la informacin de la memoria de trabajo.

Cuando se completa la accin, el motor chequea si la condicin de
alguna otra regla es verdadera y el proceso se repite hasta que no
existan reglas que sean verdaderas.

Un ejemplo de cmo funcionan los motores de inferencia Forward-
chaining se describen en la Figura



Ingeniera de Sistemas
a distancia
Sistemas Expertos
T1 Introduccin a los
Sistemas Expertos
Johan Duran ID 000241283

Pg. 5

.
Encadenamiento hacia adelante

ENCADENAMIENTO HACIA ATRS

Los Motores de inferencia de tipo Backward-chaining no tienen una
analoga con los lenguajes procedurales, si bien tambin definen hechos
utilizando la sintaxis del tipo If <condition> then <action>, se
trata de satisfacer las condiciones ejecutando las partes derecha de las
reglas para validar si se logran los objetivos que plantea la regla.

Es decir, si la clusula izquierda de una regla es satisfecha parcialmente
y el motor puede determinar que al disparar alguna otra regla puede
causar que la condicin se cumpla en su totalidad, entonces el motor
ejecuta la segunda regla, lo que se denomina bsqueda del objetivo o
goal seeking

Los pasos que ejecuta el algoritmo se describen en la Figura




Ingeniera de Sistemas
a distancia
Sistemas Expertos
T1 Introduccin a los
Sistemas Expertos
Johan Duran ID 000241283

Pg. 6


Encadenamiento hacia atrs

El algoritmo realiza las siguientes operaciones:

Se comienza con una conclusin que el motor trata de satisfacer.

Si no se puede satisfacer, se buscan conclusiones intermedias que
s se puedan satisfacer (sub goals), lo que permite satisfacer
alguna parte del objetivo actual (current goal).

Se contina con este proceso hasta que se prueban las
conclusiones iniciales o no hay ms sub-conclusiones (sub goals)
para analizar.

También podría gustarte