¿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
- Autómatas Mecánicos: Del Legado Islámico al Renacimiento (1206-1700) - octubre 9, 2026
- Historia de la robótica, cronología, línea de tiempo, IA (2026) - octubre 9, 2026
- Autómatas del Siglo XVIII: La Era Dorada de la Automatización Mecánica (1700-1773) - octubre 9, 2026