Hvad er bagudkædning?

Bagudkædning er et logiksystem, der anvendes af kunstige intelligenssystemer. Det er designet til at løse et problem ved at arbejde baglæns fra et slutmål gennem en række regler. Denne tilgang kan bruges af en bred vifte af systemer, fra programmer, der løser skakspil til algoritmer, der bruges til at identificere ukendte objekter. Grundlaget kræver robust programmering med et sæt logiske og nyttige induktive regler, som systemet kan bruge til nøjagtigt at bevæge sig gennem en række muligheder for at nå frem til en løsning.

I denne metode er systemet forsynet med et sæt regler af programmereren, der præsenterer det med et slutprodukt eller et mål. Systemet fungerer baglæns gennem reglerne for at bestemme, hvordan man kan nå frem til slutmålet. I den bagudgående induktion, der bruges af programmer, der løser skakspil, kan for eksempel computeren indtage positionen af ​​brikkerne og bevæge sig gennem en række if-then udsagn for at bestemme det sandsynlige forløb for bevægelser gennem spillet. En computer kan også bruge bagudkædning til at udforske andre mulige løsninger og grene, der kunne have fundet sted under spillet for at ændre resultatet.

Systemer, der bruger bagudkædning, kan have regler, der varierer i kompleksitet, afhængigt af den slags arbejde, de har brug for. Et system, der f.eks. Er i stand til at identificere blomster, kan have brug for et stort sæt forgreningsmuligheder for at præcist identificere den art, den ser på. Det kunne starte med en række udsagn, der er relateret til farve, bevæge sig gennem blomstertyper, antal kronblade, løv og andre egenskaber og bestemme identiteten af ​​en given blomst, der besvarer spørgsmål på hvert trin for at bestemme et endeligt svar. Fejl i denne proces kan føre til identifikationsfejl.

Dette ræsonnementsystem kræver enkel logik. Systemet undersøger en kendsgerning, afgør om det passer til et givet produkt og tager et andet skridt derfra. Hvis faktumet ikke stemmer overens med de tilgængelige oplysninger, er det forkert, og den bagudkædede logik kan kaste denne kendsgerning og andre, der muligvis kommer fra det. Fakta, der passer, giver et program mulighed for at arbejde med logikken og udforske de forgrenede fakta for at se, hvad der passer bedst. Dette kan fungere godt til forskellige opgaver.

Kunstig intelligens er ikke den eneste enhed, der kan bruge bagudkædning. Forskere, der arbejder med primater, bemærker, at nogle arter ser ud til at bruge denne logiske metode til at løse problemer. Dette illustrerer en kapacitet til at forstå problemer og udvikle et system til at tackle dem.