Методы поиска решения

Обратный вывод Обратный вывод
Обратный вывод - переход от поставленной задачи к исходным данным. Если цель согласуется с заключением правила, то его условие принимается за подцель, и этот процесс повторяется до тех пор, пока не будет получено совпадение подцели с известными фактами.