Wnioskowanie do tyłu rozpoczyna się od postawienia hipotezy (celu), która ma być potwierdzona w trakcie wnioskowania. W tym przypadku proces wnioskowania przebiega od hipotezy, poprzez reguły do faktów, potwierdzających warunki reguł. Zadaniem systemu jest jej potwierdzenie, zaprzeczenie lub wskazanie niemożliwości rozwiązania danego problemu.
W przypadku wnioskowania do przodu, proces wnioskowania przebiega w kierunku odwrotnym i rozpoczyna się od zbioru faktów podanych na wejściu. W rezultacie zostają wygenerowane wszystkie logiczne konsekwencje tych faktów, stanowiące ostateczne konkluzje systemu.