Sistema De Razonamiento Logico

UNIDAD 3 SISTEMAS DE RAZONAMIENTO LÓGICO
Los sistemas de producción son uno de los mecanismos de representación del conocimiento, más populares y ampliamente empleados. Su simplicidad y similitud con el razonamiento humano, han contribuido para su popularidad así como también el hecho de que han sido utilizados con éxito en la construcción de sistemas expertos. Los sistemas de producciónutilizan reglas para examinar un conjunto de datos y solicitar nueva información hasta llegar a un diagnostico

3.1.- REGLAS DE PRODUCCION
Es un método procedimental de representación del conocimiento, pone énfasis en representar y soportar las relaciones inferenciales de algoritmo, en contraposición a los métodos declarativos (hechos).
La estructura de una regla es:
* La estructura de una reglaes:
* SI (IF), es el antecedente, premisa, condición o situación.
* ENTONCES (THEN), es el antecedente, premisa, condición o situación.
Donde:
* Antecedente: contiene las clausulas que deben cumplirse para que la regla pueda evaluarse o ejecutarse.
* Consecuente: indica las conclusiones que se deducen de las premisas o las acciones que el sistema debe realizar cuando ejecuta laregla.

3.2.- SINTAXIS DE LAS REGLAS DE PRODUCCION
Las reglas de producción son un método procedimental de representación del conocimiento.
Se usan en teoría de autómatas, gramáticas formales y en el diseño de lenguajes de programación, originalmente las producciones eran reglas gramaticales para manipular cadenas de símbolos.
Las reglas representan el conocimiento utilizando un formatoSI-ENTONCES (IF-THEN), es decir tienen 2 partes:
La parte SI (IF), es el antecedente, premisa, condición o situación.
La parte ENTONCES (THEN), es el consecuente, conclusión, acción o respuesta.

Las reglas de producción se dan de la siguiente manera:
 IF premisa, THEN conclusión
IF entrada, THEN salida
IF condición, THEN acción
IF antecedente, THEN consecuente
IF datos, THEN resultados
IFacción, THEN meta
La parte IF generalmente contiene varias cláusulas unidas por los conectivos lógicos AND y OR. La parte THEN consiste en una o más frases que especifican la acción a tomar.
Formato típico: <parámetro / relación / valor>
Parámetro: característica relevante del dominio
Relación: entre parámetro y valor
Valor: numérico, simbólico o literal.
* EJEMPLO
IF: temperatura =alta
AND sudoración = presente
AND dolor_muscular = presente
THEN: diagnostico_preliminar = gripe
IF: diagnostico_preliminar = gripe
AND descompos_organos_internos = presente
THEN: diagnostico_preliminar = _abola

Una terna en el antecedente es cierta solo si existe en la base de hechos. Si se aplica una regla se ejecutan todas las acciones del consecuente que pueden ser nuevas ternas ollamadas a función.
Los hechos se representan por ternas objeto-atributo-valor:
(<objeto>, <atributo>, <valor>)
* Ejemplos:
(rayo, es-un, caballo)
(veloz, es-un, caballo)
(cometa, es-un, caballo)
(veloz, hijo-de, cometa)

CARACTERÍSTICAS
* Modularidad: reglas = pequeñas cantidades de conocimiento (relativamente) independiente
* Incrementalidad /Modificabilidad: posible añadir/cambiar reglas con relativa independencia
* Naturalidad y Transparencia: representación del conocimiento próxima y comprensible por personas
* Capacidad de generar explicaciones

3.3.- SEMANTICA DE LA REGLA DE PRODUCCIONES
Los sistemas basados en reglas son los más comúnmente utilizados. Su simplicidad y similitud con el razonamiento humano, han contribuido para supopularidad en diferentes dominios.
Las reglas son un importante paradigma de representación del conocimiento.
Una representación formal de una relación, una información semántica o una acción condicional. Que permite introducir coeficientes de verosimilitud para ponderar el conocimiento (estos coeficientes se van propagando durante el proceso de razonamiento mediante unas fórmulas de cálculo...