Innehållsförteckning:
Definition - Vad betyder bakåtkedja?
Bakåtkedjning är en inferensmetod som används allmänt inom konstgjord intelligens, automatiserade teoremprövare och bevisassistenter. Bakåtkedjningsmetodik kan beskrivas som att arbeta tillbaka från ett mål. Många programmeringsspråk stöder bakåtkedjor inom sina inferensmotorer.
Bakåtkedjning kallas också bakåt resonemang.
Techopedia förklarar Backward Chaining
Bakåtkedja används vid logisk programmering genom selektiv linjär bestämd klausulupplösning. Det är en av de mest använda metoderna för resonemang med störningsregler och logisk implikation. Bakåtkedjning fungerar bakåt från en lista med mål för att avgöra om det finns data som stöder dem. En inferensmotor som använder bakåtkedjning söker inferensreglerna tills den hittar en regel med en följd som matchar det önskade målet. Om det inte är känt att föregången för denna regel är sant läggs regeln till listan över mål så att data kan hittas för att bekräfta den.
