Машина висновування: відмінності між версіями

Під час ''зворотньогозворотного виведення'' спочатку висувається [[гіпотеза]], а потім механізм виведення ніби повертається назад, переходячи до фактів і намагаючись знайти в базі фактів ті, які підтверджують гіпотезу (рис.2б). Якщо гіпотеза не підтверджується фактами з бази фактів, одна з її можливих посилок вважається гіпотезою, що деталізує початкову і є стосовно неї ''підціллю''. Далі відшукуються факти, які могли б підтвердити дану підціль, тобто процес [[рекурсія|рекурсивно]] повторюється. Виведення цього типу називається також ''виведенням, керованим цілями''.