Las reglas deterministas constituyen la ms sencilla de las metodologas utilizadas en sistemas expertos. La base de conocimiento contiene las variables y el conjunto de reglas que definen el problema, y el motor de inferencia obtiene las conclusiones aplicando la lgica clsica a estas reglas. Por regla se entiende una proposicin lgica que relaciona dos o ms objetos e incluye dos 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, o no. Una regla se escribe normalmente como \Si premisa, entonces conclusin". Ejemplo:
2. Motor de Inferencia El motor de inferencia usa los datos (hechos o evidencia) y el conocimiento (el conjunto de reglas almacenado en la base de conocimiento) para obtener nuevas conclusiones o hechos. Por ejemplo, si la premisa de una regla es cierta, entonces la conclusin de la regla debe ser tambin cierta. Los datos iniciales se incrementan incorporando las nuevas conclusiones 2.1.
Modus Ponens y Modus Tollens
El Modus Ponens es quizs la regla de inferencia ms comnmente utilizada. Se
utiliza para obtener conclusiones simples. En ella, se examina la premisa de la regla, y si es cierta, la conclusin pasa a formar parte del conocimiento. La regla de inferencia Modus Tollens se utiliza tambin para obtener conclusiones simples. En este caso se examina la conclusin y si es falsa, se concluye que la premisa tambin es falsa 2.2.
Encadenamiento de Reglas
Una de las estrategias de inferencia ms utilizadas para obtener conclusiones
compuestas es el llamado encadenamiento de reglas. Esta estrategia puede utilizarse cuando las premisas de ciertas reglas coinciden con las conclusiones de otras. Cuando se encadenan las reglas, los hechos pueden utilizarse para dar lugar a nuevos hechos. Esto se repite sucesivamente hasta que no pueden obtenerse ms conclusiones. El tiempo que consume este proceso hasta su terminacin depende, por una parte, de los hechos conocidos, y, por otra, de las reglas que se activan. 2.3.
Encadenamiento de Reglas Orientado a un Objetivo
El algoritmo de encadenamiento de reglas orientado a un objetivo requiere del
usuario seleccionar, en primer lugar, una variable o nodo objetivo; entonces el algoritmo navega a travs de las reglas en bsqueda de una conclusin para el nodo objetivo. Si no se obtiene ninguna conclusin con la informacin existente, entonces el algoritmo fuerza a preguntar al usuario en busca de nueva informacin sobre los elementos que son relevantes para obtener informacin sobre el objetivo. 3. Control de la Coherencia En situaciones complejas, incluso verdaderos expertos pueden dar informacin inconsistente (por ejemplo, reglas inconsistentes y/o combinaciones de hechos no factibles). Por ello, es muy importante controlar la coherencia del conocimiento tanto durante la construccin de la base de conocimiento como durante los
procesos de adquisicin de datos y razonamiento. Si la base de conocimiento
contiene informacin inconsistente (por ejemplo, reglas y/o hechos), es muy probable que el sistema experto se comporte de forma poco satisfactoria y obtenga conclusiones absurdas. El objetivo del control de la coherencia consiste en:
Ayudar al usuario a no dar hechos inconsistentes, por ejemplo, dndole al
usuario las restricciones que debe satisfacer la informacin demandada. Evitar que entre en la base de conocimiento cualquier tipo de conocimiento inconsistente o contradictorio.
El control de la coherencia debe hacerse controlando la coherencia de las reglas y
la de los hechos. 4. Inferencia en sistemas basado en reglas La inferencia en sistemas basados en reglas est basada en la lgica. Bsicamente, el esquema de las reglas es similar a la implicacin en sintaxis y en semntica. La aplicacin de cualquier regla, siendo el paso bsico de cualquier paradigma de razonamiento, es as anloga al modus ponens. El chequeo de satisfaccin de la condicin previa es un caso especfico de emparejamiento de formas. 5. Algunas estrategias para la resolucin de conflictos En esta seccin se perfilan brevemente algunas estrategias seleccionadas para la resolucin de conflictos. Una buena visin global de algunos de los enfoques ms populares para sistemas de control puede encontrarse en la literatura sobre problema; a continuacin se listan estrategias:
Ordenamiento de reglas (la regla que aparece antes tiene la prioridad ms
alta), Ordenamiento de datos (la regla cuyas condiciones tengan asignada la prioridad ms alta tiene la prioridad ms alta), Ordenamiento de tamao (la regla con la lista ms larga de condiciones restrictivas tiene la prioridad ms alta), Ordenamiento de especificidad (se ordenan las reglas cuyas condiciones provienen de otras reglas), Limitacin del contexto (consiste en poder activar o desactivar grupos de reglas en cualquier momento para reducir la ocurrencia de conflictos).
Bibliografa: http://eia.udg.es/~iitap/monografia/esp/arl4_8.html Sistemas Expertos Basados en Reglas - Prof. Jos Manuel Gutirrez - Universidad de Cantabria http://personales.unican.es/gutierjm/cursos/expertos/Reglas.pdf
