adatvezérelt következtetés

Kapcsolódó fogalmak: 
célorientált következtetés
Rövid szöveges bemutatás: 
Következtetésen egy olyan eljárást értünk, amely egy vagy több állításból újabb érvényes állításokat hoz létre adott szabályok alapján. Két következtetési irányt különböztetünk meg: az elõrehaladó, vagy adatvezérelt, illetve a hátrafelé haladó, vagy célvezérelt következtetést. Az adatvezérelt következtetés esetében a kezdőállapotból indulunk ki, amikor a kezdőtények már rendelkezésünkre állnak. Ezután kezdjük el vizsgálni a szabályokat, annak érdekében hogy kiderítsük teljesül-e valamely szabály feltétel része. Ha van olyan szabály amelynek ezen része teljesül, akkor a konklúzió vagyis az új adat tényként kerül elraktározásra. Ezután újból elkezdjük vizsgálni a szabályokat. Ez a folyamat addig tart, amíg van olyan szabály amelynek konklúziója új tényt tud szolgáltatni, vagy ameddig a keresett szabályt meg nem találtuk, és ezzel be nem bizonyítottuk. A következtetés algoritmusát egy szabályinterpreter valósítja meg, amire többféle algoritmus is létezik.