« Régression de buts » : différence entre les versions
Aucun résumé des modifications |
m (Pitpitt a déplacé la page Goal Regression vers Régression de buts) |
(Aucune différence)
| |
Version du 5 août 2025 à 09:48
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 Arel, wiki
