Encadenamiento Hacia Adelante
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una estrategia inferencial que deriva consecuencias a partir de hechos conocidos aplicando repetidamente reglas de inferencia hasta que se alcanza una meta o no pueden producirse nuevos hechos.