Эвристика для решения задач

Мы рассмотрим некоторые примеры успешных программ решения задач для того, чтобы понять, что имеет место при выработке решения и проверке его и как программы сокращают зада­чи до приемлемых размеров. Мы используем термин «эвристиче­ский» при определении любого принципа или устройства, кото­рые вносят вклад в сокращение среднего числа проб при решении. Хотя еще не существует общей теории эвристики, мы можем иметь дело с некоторыми эвристиками, применяемыми при решении че­ловеком сложных задач.