El motor de inferencia usa ambos para obtener nuevas conclusiones o hechos.
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.
Las conclusiones pueden clasificarse en dos tipos: simples y compuestas. Las conclusiones simples son las que resultan de una regla simple.
Las conclusiones compuestas son las que resultan de mas de una regla. Para obtener conclusiones, los expertos utilizan diferentes tipos de reglas:
• Modus Ponens
• Modus Tollens
• Resolucion
No hay comentarios:
Publicar un comentario