Inhoudsopgave:
Definitie - Wat betekent Backward Chaining?
Backward chaining is een inferentiemethode die veel wordt gebruikt in kunstmatige intelligentie, geautomatiseerde stellingen en bewijsassistenten. Backward chaining methodology kan worden beschreven als terugwerkend vanuit een doel. Veel programmeertalen ondersteunen backward chaining binnen hun inferentiemotoren.
Achterwaartse kettingvorming wordt ook wel achterwaartse redenering genoemd.
Techopedia verklaart Backward Chaining
Achterwaartse kettingvorming wordt gebruikt in logische programmering door middel van selectieve lineaire definitieve clausule resolutie. Het is een van de meest gebruikte methoden van redeneren met interferentieregels en logische implicaties. Backward chaining werkt achteruit vanuit een lijst met doelen om te bepalen of er gegevens zijn om deze te ondersteunen. Een inferentiemotor die achterwaartse kettingvorming gebruikt, zoekt in de inferentieregels totdat deze een regel vindt met een consequentie die overeenkomt met het gewenste doel. Als niet bekend is dat het antecedent van deze regel waar is, wordt de regel toegevoegd aan de lijst met doelen zodat gegevens kunnen worden gevonden om deze te bevestigen.
