Hva er bakoverkjetting?

Bakoverkjetting er et system med logikk som brukes av kunstige intelligenssystemer. Det er designet for å løse et problem ved å jobbe bakover fra et sluttmål gjennom en serie regler. Denne tilnærmingen kan brukes av et bredt spekter av systemer, fra programmer som løser sjakkspill til algoritmer som brukes til å identifisere ukjente objekter. Grunnlaget krever robust programmering med et sett med logiske og nyttige induktive regler som systemet kan bruke for å bevege seg nøyaktig gjennom en rekke alternativer for å komme frem til en løsning.

I denne metoden er systemet utstyrt med et sett med regler av programmereren, som presenterer det for et sluttprodukt eller mål. Systemet fungerer bakover gjennom reglene for å bestemme hvordan man kan komme frem til sluttmålet. I den tilbaketrukne induksjonen som brukes av programmer som løser sjakkspill, kan for eksempel datamaskinen ta posisjonen til brikkene og bevege seg gjennom en serie if-så uttalelser for å bestemme den sannsynlige bevegelsesforløpet gjennom spillet. En datamaskin kan også bruke bakoverkjetting for å utforske andre mulige løsninger og grener som kunne ha oppstått i løpet av spillet for å endre utfallet.

Systemer som bruker bakoverkjetting kan ha regler som varierer i kompleksitet, avhengig av hva slags arbeid de trenger å gjøre. Et system som er i stand til å identifisere blomster, for eksempel, kan trenge et stort sett med forgreningsalternativer for å nøyaktig bestemme arten den ser på. Det kan starte med en serie uttalelser relatert til farge, bevege seg gjennom blomstertyper, antall kronblad, løvverk og andre egenskaper, og bestemme identiteten til en gitt blomst som svarer på spørsmål på hvert trinn for å avgjøre et endelig svar. Feil i denne prosessen kan føre til identifikasjonsfeil.

Dette resonnementsystemet krever enkel logikk. Systemet undersøker et faktum, bestemmer om det passer med et gitt produkt, og tar et nytt skritt derfra. Hvis faktum ikke samsvarer med tilgjengelig informasjon, er det feil, og logikken med bakoverkjetting kan forkaste det faktum og andre som kan komme fra det. Fakta som passer gjør at et program kan arbeide med logikken og utforske forgreningsfakta for å se hvilke som passer best. Dette kan fungere godt for en rekke oppgaver.

Kunstig intelligens er ikke den eneste enheten som kan bruke bakoverkjetting. Forskere som arbeider med primater, bemerker at noen arter ser ut til å bruke denne logiske metoden for å løse problemer. Dette illustrerer en evne til å forstå problemer og utvikle et system for å adressere dem.