Indholdsfortegnelse:
Definition - Hvad betyder bagudkædning?
Bagudkædning er en inferensmetode, der i vid udstrækning bruges i kunstig intelligens, automatiserede teorem-provister og bevisassistenter. Metodik til bagudkædning kan beskrives som at arbejde tilbage fra et mål. Mange programmeringssprog understøtter bagudkædning inden for deres inferensmotorer.
Bagudkædning kaldes også bagudbehandling.
Techopedia forklarer Backward Chaining
Bagudkædning bruges til logisk programmering gennem selektiv lineær, bestemt klausulopløsning. Det er en af de mest anvendte metoder til at resonnere med interferensregler og logisk implikation. Bagudkædning fungerer baglæns fra en liste over mål for at afgøre, om der er data, der kan understøtte dem. En inferensmotor, der bruger bagudkædning, søger inferensreglerne, indtil den finder en regel med en konsekvens der matcher det ønskede mål. Hvis det ikke vides, at det hidtil ukendte af denne regel er sandt, føjes reglen til listen over mål, så der kan findes data, der bekræfter den.
