REGLAS Y ENCADENAMIENTO DE REGLAS SISTEMAS DE DEDUCCION BASADOS EN REGLAS Los sistemas de resolucin de problemas basados en reglas se construyen mediante

reglas como la siguiente, cada una de ellas con varios patrones si y uno o varios entonces. Rn si si1 si2 . . . entonces entonces1 entonces2 Muchos sistemas basados en reglas son sistemas de deduccin una afirmacin de que algo es verdadero, como Estirada tiene patas largas o Estirada es una jirafa, es una afirmacin. En todos los sistemas basados en reglas, cada patrn si es un patrn que debe parearse con una o mas de las afirmaciones en un conjunto de ellas. El conjunto de afirmaciones se conoce como memoria de trabajo. En muchos sistemas basados en reglas, los patrones entonces especifican las afirmaciones nuevas que deben colocarse en la memoria en funcionamiento y se dice que el sistema basado en reglas es un sistema de deduccin. En los sistemas de deduccin se ha convenido referirse a cada patrn si como un antecedente y a cada patrn entonces como un consecuente.

Antecedente

Consecuente

Notacin grafica para las reglas de antecedente consecuentes orientados a la deduccin. Sin embargo algunas veces los patrones entonces especifican acciones, en lugar de afirmaciones, por ejemplo coloca el producto en la bolsa en cuyo caso el sistema basado en reglas es un sistema de reaccin. En los sistemas de deduccin y de reaccin, el encadenamiento progresivo, es el proceso de moverse de los patrones si a los patrones entonces, usando los patrones si para identificar situaciones apropiadas para la deduccin de una nueva afirmacin o el desempeo de una accin. Durante el encadenamiento progresivo, siempre que se observe que un patrn si concuerda con una afirmacin, el antecedente se satisface. Siempre que se satisfagan todos los patrones si de una regla, se dice que la regla se ha accionado. Siempre que una regla accionada establece una nueva afirmacin o efecta una accin, se dice que esta se dispara. En los sistemas de deduccin por lo general todas las reglas accionadas se disparan. Sin embargo en los sistemas de reaccin cuando se acciona ms de una regla al mismo tiempo, normalmente solo una de las posibles acciones se desea, crendose as la necesidad de un tipo de procedimiento de resolucin de conflictos es decir cual regla se debe disparar. Ejemplo : Suponga que Rubbie es un robot desea pasar el da en el zoolgico. Robbie puede percibir caractersticas bsicas, como color, tamao y si un animal tiene pelo o da leche, pero su capacidad para identificar objetos mediante estas caractersticas es limitada. Puede distinguir a los animales de otros objetos, pero no puede valerse del hecho de que un animal en particular tiene un cuello largo para concluir que esta mirando una jirafa. Se podra mejorar mediante la creacin de una regla si entonces para cada tipo animal de zoolgico. La parte consecuente de cada regla seria una simple afirmacin de la longitud del animal, el antecedente seria una abultada enumeracin de caractersticas suficientemente completo como para rechazar todas las identificaciones incorrectas. Suponga que en el zoolgico solo posee 7 animales: onza, tigre, jirafa, cebra, avestruz, pingino y un albatros. En este caso se deduce el nmero de reglas. Z1 determina que un animal en particular es un mamfero. Z1 si ?x tiene pelo entonces ?x es mamfero.

Suponga que un animal en particular conocida como Estirada tiene pelo. Entonces si la memoria en funcionamiento contiene la afirmacin estirada tiene pelo, el patrn antecedente ?tiene pelo, coincide con la afirmacin y el valor de x se convierte en estirada. Por convencin cuando las variables se identifican con valores, se dice que estn ligadas a dichos valores y estos en ocasiones se conocen como ligaduras. Por tanto x esta ligada a estirada y estirada es la ligadura de x. Z2,Z3 y Z4 determinan el tipo biolgico. Z2 si ?x da leche entonces ?x es mamfero Z3 si ?x tiene plumas entonces ?x es ave Z4 si ?x tiene vuela ?x pone huevos entonces ?x es un ave La ultima de estas reglas Z4 tiene dos antecedentes algunos mamferos vuelan y algunos reptiles ponen huevos, pero ningn mamfero o reptil hace dos cosas. Z5 y Z6 para determinar que es carnvoro implica sorprender al animal en el acto de comer. Z5 si ?x es mamfero ?x come carne entonces ?x es carnvoro Z6 si ?x es mamfero ?x tiene dientes agudos ?x tiene garras ?x tiene ojos que miran hacia adelante entonces ?x es carnvoro todos los animales con pezuas son ungulados Z7 si ?x es mamfero ?x tiene pezuas entonces ?x es ungulado Si tiene problemas al mirar las patas puede tener una oportunidad por que todos los animales que rumian tambien son ungulados. Z8 si ?x es mamfero ?x rumia entonces ?x es ungulado Ahora que Robbie tiene reglas que dividen a los mamferos en carnvoros y ungulados es tiempo de agregar reglas que identifiquen animales especficos. Z9 si ?x es carnvoro ?x es de color leonado ?x tiene manchas oscuras entonces ?x es una onza Z10 si ?x es carnvoro ?x es de color leonado ?x tiene franjas negras entonces ?x es un tigre. Para los ungulados otras reglas separan el grupo total en dos posibilidades Z11 si ?x es ungulado ?x es de color blanco ?x tiene franjas negras entonces ?x es una cebra Z12 si ?x es ungulado ?x tiene patas largas ?x tiene cuello largo ?x es de color leonado ?x tiene manchas oscuras entonces ?x es una jirafa Tres reglas mas para tratar a las aves:

Z13 si ?x es un ave ?x no vuela ?x tiene patas largas ?x tiene cuello largo ?x es blanca y negra entonces ?x es un avestruz Z14 si ?x es un ave ?x no vuela ?x nada ?x es blanca y negra entonces ?x es un pingino Z15 si ?x es un ave ?x vuela muy bien entonces ?x es un albatros. Ya hemos visto todas las reglas note que evidentemente los animales comparten muchas caractersticas. Las cebras y los tigres tienen franjas negras, los tigres, las onzas y las jirafas y la avestruz tienen patas largas y las cebras y los pinginos son de color blanco y negro. FUNCIONAMIENTO DE ENCADENAMIENTO PROGRESIVO El animal desconocido es una estirada supongamos que se tienen las seis afirmaciones estn en la memoria en la memoria en funcionamiento. Estirada tiene pelo Estirada rumia Estirada tiene patas largas Estirada es de color leonado Estirada tiene manchas oscuras. Estirada tiene cuello largo. En este ejemplo vemos los sistemas basados en reglas orientadas a la deduccin que funcionan a partir de afirmaciones dadas hasta llegar a nuevas afirmaciones deducidas. Al trabajar de esta manera un sistema exhibe encadenamiento progresivo. Las afirmaciones fluyen a travs de una seria de reglas antecedente-consecuente, desde las afirmaciones dadas hasta las conclusiones, segn se muestra en la figura. En tales diagramas designados como redes de inferencia, los objetos con forma de D representan reglas, mientras que las barras verticales denotan afirmaciones dadas y las cajas verticales, afirmaciones deducidas.

Los sistemas de deduccin pueden moverse hacia delante o hacia atrs En el anterior ejemplo los sistemas basados en reglas orientados a la deduccin funcionan a partir de afirmaciones dadas hasta llegar a nuevas afirmaciones deducidas. Al trabajar de esta manera, un sistema exhibe encadenamiento progresivo. Tambin es posible el encadenamiento regresivo: un sistema basado en reglas puede formar una hiptesis y usar las reglas de antecedente-consecuente para proceder hacia atrs en direccin a las afirmaciones que corroboran la hiptesis. Por ejemplo ZOOKEPPER puede crear la hiptesis de que un animal dado, Ligera es una onza y despus razonar acerca de si esa hiptesis es viable.

ZOOKEEPER concibe la hiptesis de que Ligera es una onza. Para verificar la hiptesis, ZOOKEEPER considera la regla Z9, que requiere que ligera sea carnvoro, tenga color leonado y manchas oscuras. ZOOKEEPER debe verificar si Ligera es carnvoro. Dos reglas pueden hacer esta tarea, a saber la regla Z5 y Z6. Suponga que ZOOKEEPER intenta primero la regla Z5. ZOOKEEPER debe verificar si Ligera es mamfero. De nuevo existen dos posibilidades, las reglas Z1 y Z2. Suponga que ZOOKEEPER intenta primero la regla Z1. De acuerdo con esa regla, Ligera es mamfero si tiene pelo. ZOOKEEPER debe verificar si ligera tiene pelo. Suponga que ZOOKEEPER ya sabe que tiene pelo. De modo que ligera debe ser mamfero, y ZOOKEEPER regresa a trabajar con la regla Z5. ZOOKEEPER debe verificar si Ligera come carne. Suponga que ZOOKEEPER no pueda decirlo en este momento. Antes de dejar la regla Z5 e intenta usar la regla Z6 para establecer que ligera es carnvoro. ZOOKEEPER debe verificar si Ligera es mamfero. Y as es, dado que este hecho quedo establecido al tratar de satisfacer los antecedentes de la regla Z5. ZOOKEEPER debe verificar si ligera tiene dientes agudos, garras y ojos que miran hacia delante. Suponga que ZOOKEEPER sabe que Ligera tiene todas esas caractersticas. Evidentemente, ligera es carnvoro, de modo que ZOOKEEPER puede regresar a la regla Z9, que inicio todo lo que se ha hecho hasta aqu.

Ahora ZOOKEEPER debe verificar si Ligera tiene color leonado y manchas oscuras. Suponga que ZOOKEEPER sabe que Ligera tiene ambas caractersticas. Por tanto, la regla Z9 corrobora la hiptesis original de que ligera es una onza y, por consiguiente, ZOOKEEPER concluye que ligera es una onza. El problema determina si el encadenamiento debe ser progresivo o regresivo Sobre todo lo que usted desea analizar como las reglas relacionan los hechos con las conclusiones. Siempre que las reglas sean tales que un conjunto tpico de hechos puede llevar a muchas conclusiones, su sistema de reglas exhibir un alto grado de amplitud de salida, y esto es un argumento para el encadenamiento regresivo. Por otro lado siempre que las reglas sean tales que una hiptesis tpica puede conducir a muchas preguntas, su sistema de reglas mostrar un alto grado de amplitud de entrada y esto es un argumento a favor del encadenamiento progresivo.