Chaînage Arrière

Le chaînage arrière est une méthode de raisonnement souvent utilisée dans les systèmes experts et les moteurs de règles dans le domaine de l'intelligence artificielle.Il s’agit d’une méthode de raisonnement basée sur l’orientation vers un objectif, qui part de l’objectif ou de la conclusion et remonte jusqu’aux faits ou prémisses connus pour déterminer comment atteindre l’objectif.

Dans le chaînage arrière, le système détermine d’abord les objectifs à atteindre, puis travaille à rebours à partir de ces objectifs pour trouver les règles et les faits qui peuvent conduire à ces objectifs. Ce processus se poursuit jusqu’à ce qu’un fait ou une règle connue soit atteint, ou jusqu’à ce qu’il soit déterminé que l’objectif ne peut pas être atteint.

Nature des backlinks :

• C’est ce qu’on appelle une approche descendante.
• L'enchaînement arrière est basé sur la règle du raisonnement antécédent.
• Dans le chaînage arrière, un objectif est décomposé en un ou plusieurs sous-objectifs pour prouver la véracité d'un fait.
• On parle d’approche axée sur les objectifs car la liste des objectifs détermine les règles sélectionnées et utilisées.
• Les algorithmes de chaînage arrière sont utilisés dans la théorie des jeux, les outils de preuve automatisée de théorèmes, les moteurs d'inférence, les assistants de preuve et diverses applications d'intelligence artificielle.
• La méthode de chaînage arrière est principalement prouvée à l'aide de la stratégie de recherche en profondeur.