¿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
- Requisitos para el parole humanitario (permiso o beneficio) (1) - February 13, 2025
- Legal consequences of extramarital affairs - February 13, 2025
- Gestión transversal: ¿que es? En qué consiste (1) - February 13, 2025