2.3.2 Inferencia de Valores

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 conclusión de la regla debe ser también 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. Para obtener conclusiones, los expertos utilizan diferentes tipos de reglas y estrategias de inferencia y control. En el resto de esta sección se discuten las reglas de inferencia

Modus Ponens
• Modus Tollens

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