régression de but
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
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.
Termes privilégiés :
- régression de but n. f.
- régression de buts n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- goal regression