Chaînage vers l’arrière

Définition - Que signifie le chaînage arrière?

Le chaînage arrière est une méthode d'inférence largement utilisée dans l'intelligence artificielle, les prouveurs de théorèmes automatisés et les assistants de preuve. La méthodologie de chaînage en amont peut être décrite comme un retour à partir d'un objectif. De nombreux langages de programmation prennent en charge le chaînage arrière dans leurs moteurs d'inférence.

Le chaînage en arrière est également appelé raisonnement en arrière.

Definir Tech explique le chaînage arrière

Le chaînage vers l'arrière est utilisé dans la programmation logique par résolution sélective de clauses définies linéaires. C'est l'une des méthodes de raisonnement les plus couramment utilisées avec des règles d'interférence et une implication logique. Le chaînage en arrière fonctionne à rebours à partir d'une liste d'objectifs pour déterminer s'il existe des données pour les soutenir. Un moteur d'inférence qui utilise le chaînage vers l'arrière recherche les règles d'inférence jusqu'à ce qu'il trouve une règle avec un conséquent qui correspond à l'objectif souhaité. Si l'antécédent de cette règle n'est pas connu pour être vrai, la règle est ajoutée à la liste des objectifs afin que des données puissent être trouvées pour le confirmer.