Encadenamiento Hacia Atrás
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una estrategia de control de inferencia que intenta probar una meta encontrando y demostrando recursivamente submetas cuyas pruebas implican la meta, trabajando típicamente hacia atrás desde la meta hacia hechos conocidos.