Atvirkštinė samprotavimų grandinė

Atvirkštinė samprotavimų grandinė. Žinių bazės sukūrimas. Sprendimų medis. Sprendimų medžio transformavimas į taisykles. Taisyklių formavimo algoritmas. Taisyklių sudarymas. Darbas su baze. Loginių išvadų sąrašas. Sąlygos kintamųjų sąrašas. Sąlygos kintamųjų vardų sąrašas. Loginių išvadų stekas. Žinių bazės taikymas. Apibendrintas ASG algoritmas.