S. E. basados en reglas

Los sistemas basados en reglas son una herramienta eficiente para tratar  problemas de sistemas de control de trafico, sistemas de seguridad, transacciones bancarias, etc.Las reglas deterministas constituyen la mas sencilla de las metodologias utilizadas en sistemas expertos. La base de conocimiento contiene las variables y el conjunto de reglas que de¯nen el problema, y el motor de inferencia obtiene las conclusiones aplicando la logica clasica a estas reglas. Por regla se entiende una proposicion logica que relaciona dos o mas objetos e incluye dos partes, la premisa y la conclusion. Cada una de estas partes consiste en una expresion logica

con una o mas afirmaciones objeto-valor conectadas mediante los operadores logicos

(CA). En cuanto el usuario introduce la tarjeta en el CA, la maquina la lee y la verifica. Si la tarjeta no es verificada con exito (por ejemplo, porque no es legible), el CA devuelve la tarjeta al usuario con el mensaje de error correspondiente. En otro caso, el CA pide al usuario su numero de identificacion personal (NIP). Si el numero fuese incorrecto, se dan tres oportunidades de corregirlo. Si el NIP es correcto, el CA pregunta al usuario cuanto dinero desea sacar.

En este caso se tienen siete objetos, y cada objeto puede tomar uno y solo un valor de entre sus posibles valores.

El Motor de Inferencia

Tal como se ha mencionado en la seccion anterior, hay dos tipos de elementos: los datos (hechos o evidencia) y el conocimiento (el conjunto de reglas almacenado en  la base de conocimiento). El motor de inferencia usa ambos para obtener nuevas conclusiones o hechos. Por ejemplo, si la premisa de una regla es cierta, entonces la conclusion de la regla debe ser tambien cierta. Los datos iniciales se incrementan incorporando las nuevas conclusiones. Por ello, tanto los hechos iniciales o datos de partida como las conclusiones derivadas de ellos forman parte de los hechos o datos de que se dispone en un instante dado.Modus Ponens,

y las estrategias de inferencia

Modus Tollens,

Encadenamiento de reglas,

Encadenamiento de reglas orientado a un objetivo,que son utilizadas por el motor de inferencia para obtener conclusiones simples y compuestas.

 Modus Ponens y Modus Tollens

El Modus Ponens es quizas la regla de inferencia m¶as com¶unmente utilizada. Se utiliza para obtener conclusiones simples. En ella, se examina la premisa de la regla, y si es cierta, la conclusion pasa a formar parte del conocimiento.Por ejemplo con  la regla, \Si A es cierto, entonces B es cierto" y que se sabeA es cierto". La regla Modus Ponens concluye que \B es cierto." Esta regla de inferencia, que parece trivial, debido a su familiaridad, es la base de un gran

A

la regla Modus Ponens no se puede obtener ninguna conclusi¶on pero la regla Modus

Tollens concluye que \

El rendimiento del motor de inferencia depende del conjunto de reglas en su base

de conocimiento. Hay situaciones en las que el motor de inferencia puede concluir

utilizando un conjunto de reglas, pero no puede, utilizando otro (aunque ¶estos sean

l¶ogicamente equivalentes).es cierto, entonces B es cierto" pero se sabe que \B es falso." Entonces, utilizandoA es falso".

ademas que \

n¶umero de sistemas expertos.

La regla de inferencia Modus Tollens se utiliza tambi¶en para obtener conclusiones

simples. En este caso se examina la conclusi¶on y si es falsa, se concluye que la

premisa tambi¶en es falsa. Por ejemplo, sup¶ongase de nuevo que se tiene la regla, \Si

Para obtener conclusiones, los expertos utilizan diferentes tipos de reglas y estrategias de inferencia y control

y, o, o no. Una regla se escribe normalmente como \Si premisa, entonces conclusion".Como ejemplo de problema determinista que puede ser formulado usando un conjuntode reglas,como por ejemplo en una situacion en la que un usuario (por ejemplo, uncliente) desea sacar dinero de su cuenta corriente mediante un cajero automatico