Vad är bakåtkedja?

Backward chaining är ett logiksystem som används av system för artificiell intelligens. Det är utformat för att lösa ett problem genom att arbeta bakåt från ett slutmål genom en serie regler. Denna strategi kan användas av ett brett utbud av system, från program som löser schackspel till algoritmer som används för att identifiera okända objekt. Basen kräver robust programmering med en uppsättning logiska och användbara induktiva regler som systemet kan använda för att exakt flytta genom en serie alternativ för att komma fram till en lösning.

I den här metoden förses systemet med en uppsättning regler av programmeraren, som presenterar en slutprodukt eller mål. Systemet fungerar bakåt genom reglerna för att avgöra hur man kan komma fram till slutmålet. I den bakåtriktade induktionen som används av program som löser schackspel, till exempel, kan datorn ta positionerna för bitarna och gå igenom en serie if-sedan uttalanden för att bestämma den troliga rörelseförloppet genom spelet. En dator kan också använda bakåtkedjor för att utforska andra möjliga lösningar och grenar som kunde ha inträffat under spelet för att ändra resultatet.

System som använder bakåtkedjor kan ha regler som varierar i komplexitet, beroende på vilken typ av arbete de behöver göra. Ett system som till exempel kan identifiera blommor kan behöva en stor uppsättning grenalternativ för att exakt identifiera den art den tittar på. Det kan börja med en serie uttalanden relaterade till färg, gå igenom blommetyper, antal kronblad, bladverk och andra egenskaper och bestämma identiteten för en given blomma som svarar på frågor vid varje steg för att bestämma ett slutligt svar. Fel i denna process kan leda till identifieringsfel.

Detta resonemangssystem kräver enkel logik. Systemet undersöker ett faktum, avgör om det passar med en viss produkt och tar ytterligare ett steg därifrån. Om faktum inte stämmer överens med den tillgängliga informationen, är det felaktigt, och den bakåtkedjande logiken kan kasta bort det faktum och andra som kan förgrena sig från det. Fakta som passar tillåter ett program att arbeta med logiken och utforska de grenade fakta för att se vilka som passar bäst. Detta kan fungera bra för en mängd olika uppgifter.

Konstgjord intelligens är inte den enda enhet som kan använda bakåtkedjor. Forskare som arbetar med primater noterar att vissa arter verkar använda denna logiska metod för att lösa problem. Detta illustrerar förmågan att förstå problem och utveckla ett system för att hantera dem.