Chaînage Avant

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une stratégie inférentielle qui déduit des conséquences à partir de faits connus en appliquant de façon répétée des règles d'inférence jusqu'à atteindre un but ou n'obtenir aucun nouveau fait.