В области решения задач очень полезно подразделение на три метода: стандартных форм, преобразований алгоритмического вида ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Фейгенбаум Э.N.
Вычислительные машины и мышление
В области решения задач очень полезно подразделение на три метода: стандартных форм, преобразований алгоритмического вида и эвристических преобразований. Стандартные формы в SAINT и подстановка в Логике-теоретике могут служить примерами процесса непосредственного достижения цели, который, по-видимому, является фундаментальной частью любой схемы достижения целей. Роль исходных данных в таком процессе играет цель. Выходом будет ответ нет ( цель еще не достигнута) или один или несколько из следующих трех ответов: 1) да, 2) как достигнуть цель и 3) достижение цели. В каждой области процесс непосредственного достижения цели должен применяться по-своему, и, так как этот процесс используется очень часто, он должен проходить очень быстро.