You are on page 1of 10

REGLAS DE PRODUCCIN

MARISOL BAUTISTA CRDENAS


LADY CUBIDES ROJAS
VIVIANA ALEXANDRA TUTA CIPAGAUTA

UNIVERSIDAD DE BOYAC
FACULTAD DE CIENCIAS E INGENIERA
TUNJA
2010
1

REGLAS DE PRODUCCIN

MARISOL BAUTISTA CRDENAS


LADY CUBIDES ROJAS
VIVIANA ALEXANDRA TUTA CIPAGAUTA

Presentado
LEONARDO BERNAL
INGENIERO DE SISTEMAS

UNIVERSIDAD DE BOYAC
FACULTAD DE CIENCIAS E INGENIERA
TUNJA
2010
2

CONTENIDO
INTRODUCCION
REGLAS DE PRODUCCIN....................................................................................1
1. DEFINICIONES..................................................................................................1
2. ESTRUCTURA DE UNA REGLA DE PRODUCCIN........................................1
3. CONDICIONES (premisas, precondiciones, antecedentes)..............................1
4. CONCLUSIONES, ACCIONES, Hiptesis (consecuentes)...............................2
5. REGLAS ESPECIALES.....................................................................................2
6. EJEMPLO...........................................................................................................2
7. MODOS DE RAZONAMIENTO DE UN SISTEMA BASADO EN REGLAS........2
7.1. MODUS PONENDO PONENS........................................................................3
7.2. MODUS TOLLENDO TOLLENS.....................................................................4
CONCLUSIONES:.....................................................................................................5
REFERENCIAS.........................................................................................................6

INTRODUCCIN

Se dice que las reglas de produccin son aquellas que nos permiten representar el
conocimiento enfatizando en representar y soportar las relaciones inferenciales del
algoritmo, en contraposicin a los mtodos declarativos (hechos). Pero se puede
decir que los hechos no siempre son exactos, por que existe un grado de
incertidumbre.
Las reglas de produccin se fundamentan sobre las condiciones, acciones e
hiptesis. En el desarrollo del sistema es necesario idear el mecanismo de
inferencia que refleje lo ms fielmente posible cmo piensa o acta el experto. Los
mecanismos de razonamiento que utilizan reglas de produccin son los de la
lgica formal, los cuales mas adelante se explicaran con detenimiento.

REGLAS DE PRODUCCIN

1. DEFINICIONES
Regla: se entiende como una proposicin lgica que relaciona 2 o ms objetos e
incluye 2 partes, la premisa y la conclusin. Cada una de estas partes consiste en
una expresin lgica con una o ms afirmaciones objeto-valor conectadas
mediante los operadores lgicos y,o no.
Reglas de produccin. Es un mtodo procedimental de representacin del
conocimiento, pone nfasis en representar y soportar las relaciones inferenciales
del algoritmo, en contraposicin a los mtodos declarativos (hechos).
Los hechos y las reglas asociadas de la base de conocimiento normalmente no
son exactos; es decir se tiene incertidumbre sobre el grado de certeza de algunos
hechos y tambin sobre el campo de validez de algunas de las reglas. Para el
manejo de la incertidumbre en los sistemas de reglas se han utilizado varios
sistemas; los tres ms conocidos son los Factores de Certeza (utilizados en
MYCIN), la lgica de Dempster Shafer, y la Lgica Difusa (Fuzzy Logic). El mtodo
de tratar la incertidumbre es una de las caractersticas ms importantes de las
herramientas de desarrollo, y actualmente se encuentra en discusin la validez de
estas lgicas para tratar con la incertidumbre. En sustitucin se han propuesto las
Redes Bayesianas que tienen una base matemtica ms firme. De todas formas
es un campo actual de investigacin que permanece abierto.

2. ESTRUCTURA DE UNA REGLA DE PRODUCCIN


SI <condiciones>
ENTONCES <conclusiones, acciones, hiptesis>
3. CONDICIONES (premisas, precondiciones, antecedentes)
Formadas por clusulas y conectivas (AND, OR, NOT)
Representacin que debe corresponder con conocimiento del dominio
Formato tpico: <parmetro/relacin/valor>
PARAMETRO: caracterstica relevante del dominio
RELACIN: entre parmetro y valor
1

VALOR: numrico, simblico o literal


Tambin en forma de predicados lgicos
4. CONCLUSIONES, ACCIONES, Hiptesis (consecuentes)
Conclusiones, Hiptesis: conocimiento declarativo
Acciones: accin procedimental (actualizan conocimiento, interaccin con exterior,
etc.)
5. REGLAS ESPECIALES
Reglas IF ALL: equivalen a reglas con las clusulas de las condiciones conectadas
con AND
Reglas IF ANY/ IF SOME: equivalen a reglas con las clusulas de las condiciones
conectadas con OR
6. EJEMPLO
IF: temperatura = alta
AND sudoracin = presente
AND dolor_muscular = presente
THEN: diagnstico_preliminar = gripe
IF: diagnstico_preliminar = gripe
AND descompos_organos_internos = presente
THEN: diagn_ostico_preliminar = ebola

7. MODOS DE RAZONAMIENTO DE UN SISTEMA BASADO EN REGLAS


En el desarrollo del sistema es necesario idear el mecanismo de inferencia que
refleje lo ms fielmente posible cmo piensa o acta el experto. Este mecanismo,
que se denomina motor de inferencia, es la parte ms importante del sistema
basado en el conocimiento junto con la base de conocimiento. Los mecanismos de
razonamiento que utilizan reglas de produccin son los de la lgica formal: modus
ponendo ponens y modus tollendo tollens. Adems existe otro mtodo que
difiere de los anteriores y que es la bsqueda en rboles.
2

Existen adems cinco modos de razonamiento que a continuacin se explican:


Encadenamiento hacia adelante: El motor de inferencia parte de los hechos para
llegar a los resultados, esto es, selecciona las reglas que verifiquen las
condiciones de la parte izquierda (premisas).
Encadenamiento hacia atrs: En este caso el motor de inferencia parte de los
resultados y trata de volver a los hechos para comprobar si encajan con el
problema planteado.
Encadenamiento mixto: Este modo ofrece varias posibilidades que resultan de
combinar el encadenamiento hacia adelante y hacia atrs para superar sus
limitaciones y mantener las ventajas.
Algoritmos de bsqueda heurstica: En los casos en los que la naturaleza de la
base de conocimiento permita construir una estructura de rbol, el proceso de
inferencia se convierte en un problema de bsqueda en un rbol. Existen diversos
mtodos, y la eleccin depender, por lo tanto, de la naturaleza del problema.
Herencia: Es el mtodo de inferencia utilizado en entornos orientados a objetos.
Un objeto hijo hereda propiedades y hechos de sus padres. As, la asignacin de
nuevas propiedades a un objeto se realiza a travs de las relaciones entre ese
objeto y el resto.
7.1. MODUS PONENDO PONENS
Si las premisas de un razonamiento son una condicional y de su antecedente, su
consecuente se deduce como conclusin.

Ejemplo:

Si hoy es mircoles, maana es jueves


Hoy es mircoles
-------------------------------------------------------Maana es jueves

7.2. MODUS TOLLENDO TOLLENS


Si las premisas de un razonamiento son una condicional y de la negacin de su
consecuente, se deriva la negacin de su antecedente como conclusin.

Ejemplo:

Si hoy es mircoles, maana es jueves


Maana no es jueves
-------------------------------------------------------Hoy no es mircoles

CONCLUSIONES:

Reglas de produccin son mtodos procedimentales que permiten la


representacin del conocimiento, pone nfasis en representar y soportar las
relaciones inferenciales del algoritmo, en contraposicin a los mtodos
declarativos (hechos).

Los hechos y las reglas asociadas de la base de conocimiento normalmente


no son exactos; es decir se tiene incertidumbre sobre el grado de certeza
de algunos hechos y tambin sobre el campo de validez de algunas de las
reglas

Los mecanismos de razonamiento que utilizan reglas de produccin son los


de la lgica formal como el modus ponendo ponens y modus tollendo
tollens.

REFERENCIAS

http://www.csae.map.es/csi/silice/Sgexpt5.html
http://ccia.ei.uvigo.es/docencia/IA/Tema3_parte3.pdf
http://www.uco.es/grupos/eatco/informatica/ia/tema1.pdf
http://www.mitecnologico.com/Main/ReglasDeProduccion

You might also like