Table des matières:
Définition - Que signifie le chaînage arrière?
Le chaînage vers l'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 vers l'arrière peut être décrite comme un retour en arrière à 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 vers l'arrière est également appelé raisonnement vers l'arrière.
Techopedia explique le chaînage arrière
Le chaînage arrière est utilisé dans la programmation logique par le biais d'une résolution sélective de clause définie linéaire. C'est l'une des méthodes de raisonnement les plus couramment utilisées avec les règles d'interférence et l'implication logique. Le chaînage vers l'arrière fonctionne en arrière à 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 arrière recherche les règles d'inférence jusqu'à ce qu'il trouve une règle avec un résultat correspondant à 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.
