Bakåtkedja är ett logiksystem som används av artificiell intelligenssystem. Den är utformad för att lösa ett problem genom att arbeta bakåt från ett slutmål genom en serie regler. Detta tillvägagångssätt kan användas av en mängd olika system, från program som löser schackspel till algoritmer som används för att identifiera okända objekt. Grunden kräver robust programmering med en uppsättning logiska och användbara induktiva regler som systemet kan använda för att exakt gå igenom en rad alternativ för att komma fram till en lösning.
I denna metod förses systemet med en uppsättning regler av programmeraren, som presenterar det med en slutprodukt eller mål. Systemet arbetar baklänges genom reglerna för att avgöra hur man kan komma fram till slutmålet. I den bakåtinduktion som används av program som löser schackspel, till exempel, kan datorn ta pjäsens position och gå igenom en serie om-då-satser för att bestämma det troliga förloppet av rörelser genom spelet. En dator kan också använda bakåtkedja 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åtkedja kan ha regler som varierar i komplexitet, beroende på vilken typ av arbete de behöver göra. Ett system som kan identifiera blommor, till exempel, kan behöva en stor uppsättning förgreningsalternativ för att exakt lokalisera arten det tittar på. Det kan börja med en serie uttalanden relaterade till färg, gå igenom typer av blommor, antal kronblad, bladverk och andra egenskaper, och bestämma identiteten för en given blomma svara på frågor vid varje steg för att bestämma ett slutgiltigt 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 given produkt och tar ytterligare ett steg därifrån. Om faktumet inte stämmer överens med den tillgängliga informationen, är det felaktigt, och bakåtkedjelogiken kan förkasta detta faktum och andra som kan förgrena sig från det. Fakta som passar gör att ett program kan arbeta med logiken och utforska grenfakta för att se vilket som passar bäst. Detta kan fungera bra för en mängd olika uppgifter.
Artificiell intelligens är inte den enda enheten som kan använda bakåtkedja. Forskare som arbetar med primater noterar att vissa arter verkar använda denna logiska metod för att lösa problem. Detta illustrerar en förmåga att förstå problem och utveckla ett system för att hantera dem.