Chaînage Arrière

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une stratégie de contrôle d'inférence qui tente de prouver un but en trouvant et prouvant récursivement des sous-buts dont les preuves impliquent le but, opérant généralement à rebours du but vers les faits connus.