¿Cual es la arquitectura de un motor de inferencia? ¿Que tipo de lógica emplea? Típicamente emplea reglas del tipo si-entonces, que emplea a su vez el siguiente formato:
[adsense_id=»1″]
IF <expresión lógica> THEN <expresión lógica>.
Al comienzo los estudiosos de la lógica aplicada se quedaron «pegados» en demostración de teoremas y en ambientes que probaran estos, luego fueron evolucionando hacia sistemas mucho más inmersos en lógica de primer orden. Es así como las declaraciones generales incluían cuantificación universal y existencial que, en el caso de un software pudiera dar lugar a bucles sin fin. El condicional si-entonces (Modus-ponens), permitió administrar racional y efectivamente estos recursos.
Leer también: que es un motor de inferencia , Thomas Bayes
This post is also available in:
Español
