3. DEFINICIÓN
Se entiende como una proposición lógica que
relaciona 2 o más objetos e incluye 2 partes, la
premisa y la conclusión. Cada una de estas partes
consiste en una expresión lógica con una o más
afirmaciones objeto-valor conectadas mediante los
operadores lógicos y, o ó no.
REGLA
4. Es un método procedimental de
representación del conocimiento,
pone énfasis en representar y
soportar las relaciones inferenciales
del algoritmo, en contraposición a los
métodos declarativos (hechos).
REGLA DE
PRODUCCIÓN
6. CONDICIONES
Formadas por cláusulas y conectivas (AND, OR, NOT)
Representación que debe corresponder con conocimiento del dominio
Formato típico: <parámetro/relación/valor>
PARAMETRO: característica relevante del dominio
RELACIÓN: entre parámetro y valor
VALOR: numérico, simbólico o literal
También en forma de predicados lógicos
8. REGLAS ESPECIALES
• Reglas IF ALL: equivalen a reglas con las cláusulas de
las condiciones conectadas con AND
• Reglas IF ANY/ IF SOME: equivalen a reglas con las
cláusulas de las condiciones conectadas con OR
9. EJEMPLO
IF: temperatura = alta
AND sudoración = presente
AND dolor_muscular = presente
THEN: diagnóstico_preliminar = gripe
IF: diagnóstico_preliminar = gripe
AND descompos_organos_internos = presente
THEN: diagn_ostico_preliminar = ebola
10. MODOS DE RAZONAMIENTODE UN SISTEMA
BASADOEN REGLAS
Los mecanismos de razonamiento que utilizan reglas
de producción son los de la lógica formal: modus
ponendo ponens y modus tollendo tollens. Además
existe otro método que difiere de los anteriores y que
es la búsqueda en árboles.
Existen además cinco modos de razonamiento que a
continuación se explican:
11. 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 atrás: 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 atrás
para superar sus limitaciones y mantener las
ventajas.
MODOS DE
RAZONAMIENTO
12. Algoritmos de búsqueda heurística: 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 búsqueda
en un árbol. Existen diversos métodos, y la
elección dependerá, por lo tanto, de la
naturaleza del problema.
Herencia: Es el método de inferencia
utilizado en entornos orientados a objetos.
Un objeto hijo hereda propiedades y hechos
de sus padres. Así, la asignación de nuevas
propiedades a un objeto se realiza a través
de las relaciones entre ese objeto y el resto.
MODOS DE
RAZONAMIENTO
13. MODUS PONENDO PONENS
Si las premisas de un razonamiento son una
condicional y de su antecedente, su consecuente se
deduce como conclusión.
Ejemplo:
Si hoy es miércoles, mañana es jueves
Hoy es miércoles
-------------------------------------------------------
Mañana es jueves
14. MODUS TOLLENDO TOLENS
Si las premisas de un razonamiento son una condicional y de
la negación de su consecuente, se deriva la negación de su
antecedente como conclusión.
Ejemplo:
Si hoy es miércoles, mañana es jueves
Mañana no es jueves
--------------------------------------------------------
Hoy no es miércoles