Motor de Inferencia

Concepto: es el corazón de todo sistema experto. Su objetivo principal es el de sacar conclusiones aplicando el conocimiento de los datos. Dichas conclusiones pueden ser simples o compuestas, además están basadas en conocimiento determinista o probabilístico. 

Reglas de inferencia:

• Modus Ponens: es la regla más utilizada. Usada para obtener conclusiones simples. Consiste en examinar la premisa de la regla, si está es cierta pasa a formar parte del conocimiento. 
• Modus Tollens: es también una de las reglas usadas para obtener conclusiones simples. Consiste en examinar la conclusión y si es falsa, se concluye que la premisa también es falsa. 
• Mecanismo de resolución: esta regla es utilizada para las conclusiones compuestas, pues estas se basan en dos o más reglas. Aquí se involucran conceptos como la combinación y simplificación de expresiones lógicas. Consiste en las siguientes etapas:
• Las reglas son sustituidas por expresiones lógicas equivalentes.
• Estas expresiones lógicas se combinan en otra expresión lógica.
• Está última expresión se utiliza para obtener la conclusión.