В своем исследовании Кноблих с соавт. использовали арифметические задачи со спичками. Они предположили, что возникающие ограничения могут быть разными по своей силе, т. е. сложность задачи зависит от типа тех ограничений, которые будет необходимо преодолеть для построения ее адекватной репрезентации. Показав отсутствие переноса способа решения с задач с одним типом ограничений на другие задачи, авторы подтвердили свои гипотезы (Knoblich et al., 1999). Впоследствии модель Олссона была подтверждена на подобном материале и с использованием ай-трекинга (Knoblich et al., 2001). Получившая подтверждение позиция стала называться теорией изменения репрезентации (Representational change theory – RCT).

Несколько позже Р. Вейсберг совместно с Дж. Флек предприняли попытку продемонстрировать возможности метода «рассуждения вслух» для исследований инсайта и заодно опровергнуть некоторые важные следствия RCT. В качестве одной из своих мишеней они избрали ключевой в данном контексте феномен интерференции процессов вербализации с процессами решения инсайтных задач. Для этого Вейсберг операционализировал понятия, лежащие в основе проверяемой теории, таким образом, чтобы можно было демонстрировать наличие тупика и различных видов переструктурирования репрезентации на основе анализа вербальных протоколов (т. е. высказываний испытуемого). В итоге он обнаружил, что в ходе решения классических дункеровских задач признаки переструктурирования имели место в большинстве протоколов, в то время как маркеры тупика встречались намного реже. Анализ протоколов показал, что переструктурирование могло происходить не только за счет преодоления тупика, но и за счет включения в репрезентацию дополнительной информации, полученной в результате неудачных попыток решения задачи (например, в ходе проверки решателем своих неверных гипотез). Модель Олссона Вейсберг назвал переструктурированием «снизу вверх» («bottom-up»), а свою модель – переструктурированием «сверху вниз» («top-down»). При этом он особо подчеркнул, что его модель не исключает и не опровергает модель Олссона, а лишь дополняет ее, демонстрируя необязательность тупика для осуществления переструктурирования в ходе решения задачи (Fleck, Weisberg, 2004).

Примерно в то же время в анализируемой дискуссии появилась еще одна конкурирующая теоретическая линия, связанная с ролью эвристических средств в ходе решения инсайтных задач. Она представлена работами Дж. Макгрегора, Т. Ормерода и Э. Кроникла. Их позиция опирается на описанную выше модель Каплана и Саймона, а также на закономерное следствие из нее, состоящее в том, что задачное пространство многих задач чрезмерно велико, чтобы решатель имел возможность охватить его полностью в ходе решения. В таких ситуациях решатель вынужден использовать эвристические средства для повышения эффективности поиска решения и сокращения количества потенциально правильных шагов в этом громадном объеме.

В частности, МакГрегор с коллегами в работе 2001 г. предположили, что решение задачи 9 точек достигается за счет сочетания эвристики максимизации (hill climbing) и эвристики контроля продвижения к цели (progress monitoring). Эвристика максимизации побуждает решателя делать только те шаги в задачном пространстве, которые сокращают дистанцию между начальным состоянием задачи и целевым. Эвристика контроля продвижения к цели, в свою очередь, используется для сравнения эффективности того шага, который был сделан, с потенциальной эффективностью отсеянных шагов. Когда решатель пытается справиться с задачей, используя эти две эвристики, и терпит неудачу, он начинает искать новые более «многообещающие» части задачного пространства. Таким образом, инсайт заключается в обнаружении той части задачного пространства, которая играет ключевую роль в решении задачи, но не была изначально доступна решателю. Анализируя процент успешных решений, количество проб и те точки, с которых испытуемые начинали решать различные модификации использованной задачи 9 точек, авторы подтвердили свои предположения. Психологические механизмы, лежащие в основе решения данной задачи, оказались сводимыми к эвристическому поиску (MacGregor et al., 2001).