REGLAS DE PRODUCCIN

CONTENIDO
DEFINICIN
ESTRUCTURA
CONDICIONES
CONCLUSIONES, ACCIONES,..
REGLAS
EJEMPLO
MODOS DE RAZONAMIENTO
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.

REGLA
DEFINICIN
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).

REGLA DE
PRODUCCIN
ESTRUCTURA
SI <condiciones>
ENTONCES <conclusiones,
acciones, hiptesis>

CONDICIONES
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

VALOR: numrico, simblico o literal

Tambin en forma de predicados lgicos




CONCLUSIONES, ACCIONES, Hiptesis
(consecuentes)



Conclusiones, Hiptesis: conocimiento
declarativo

Acciones: accin procedimental
(actualizan conocimiento, interaccin
con exterior, etc.)


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

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

MODOS DE RAZONAMIENTO DE UN SISTEMA
BASADO EN REGLAS
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.

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.

MODOS DE
RAZONAMIENTO
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.

MODOS DE
RAZONAMIENTO
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

MODUS TOLLENDO
TOLENS
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


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/Reglas
DeProduccion
http://www.scribd.com/doc/6772125/Regla
s-de-Produccion