Goal Regression
en construction
Définition
Technique permettant d'élargir une preuve formelle en progressant à reculons à partir du but et en généralisant les préconditions des règles appliquées à chaque étape.
Voir aussi apprentissage basé sur l'explication
Français
Régression de buts
Régression de but
Substitution régressive
Anglais
Goal Regression
Sources
Contributeurs: Arianne
