Régression de buts
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 Arel, wiki
