Rétropropagation par le temps
Rétropropagation par le temps (BPTT) est un Gradient technique à base de la formation de certains types de réseaux de neurones récurrents.
Il peut être utilisé pour former des réseaux Elman . L'algorithme a été dérivé indépendamment par de nombreux chercheurs .
Le chaînage en arrière (ou raisonnement en arrière) est une méthode d’inférence décrite de manière familière comme un travail en arrière du but. Il est utilisé dans des démonstrateurs de théorèmes, des moteurs d'inférence, des assistants de preuve et d'autres applications d’intelligence artificielle automatisés .
Dans la théorie des jeux, les chercheurs l'appliquent à des sous- jeux (plus simples) pour trouver une solution au jeu, selon un processus appelé induction à rebours . Aux échecs, on parle d’analyse rétrograde et on l'utilise pour générer des bases de table pour les jeux d'échecs pour les échecs sur ordinateur.
Le chaînage arrière est implémenté dans la programmation logique par résolution SLD . Les deux règles sont basées sur le principe d’inférence modus ponens . C'est l'une des deux méthodes de raisonnement les plus couramment utilisées, avec règles d'inférence et implications logiques - l'autre étant le chaînage en avant . Les systèmes de chaînage arrière utilisent généralement une stratégie de recherche en profondeur d'abord, par exemple Prolog.