Innholdsfortegnelse:
Definisjon - Hva betyr bakoverkjetting?
Bakoverkjetting er en inferensmetode som er mye brukt i kunstig intelligens, automatiserte teorem-provere og bevisassistenter. Metodikk for tilbakekjetting kan beskrives som å jobbe tilbake fra et mål. Mange programmeringsspråk støtter bakoverkjetting innen deres inferensmotorer.
Bakoverkjetting er også referert til som bakover resonnement.
Techopedia forklarer Backward Chaining
Bakoverkjetting brukes i logisk programmering gjennom selektiv lineær bestemt klausuloppløsning. Det er en av de mest brukte metodene for resonnement med interferensregler og logisk implikasjon. Bakoverkjetting fungerer bakover fra en liste over mål for å avgjøre om det er noen data som kan støtte dem. En inferensmotor som bruker bakoverkjetting, søker i inferensreglene til den finner en regel med en konsekvens som samsvarer med ønsket mål. Hvis det ikke er kjent at den tidligere reglene for denne regelen er sant, legges regelen til listen over mål, slik at data kan bli funnet for å bekrefte den.
