В области решения задач очень полезно подразделение на три метода: стандартных форм, преобразований алгоритмического вида ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Фейгенбаум Э.N. Вычислительные машины и мышление


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

(cкачать страницу)

Смотреть книгу на libgen

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