Эта эвристика позволяет порождать цели и подцели. Для каждой из линий, которые представляют промежуточные результаты, нужно взять первую в качестве подцели: посмотреть, представлена ли связь среди того, что дано. Если это не так, то нужно взять другую подцель: прочесть в перечне известных теорем первую, еще не использованную, и поискать, нельзя ли из нее вывести доказательства; как только теорема найдена, надо проверить, подтверждаются ли связи, представленные в условной части теоремы, и, если это не так, взять в качестве подцели доказательство этих связей и т.д. Способ реализации каждой из подцелей хорошо известен, так что приложение этой процедуры позволяет наилучшим образом выполнить указанное упражнение.

в) Семантические связи действий

Семантические связи действий — модель описания умений, предложенная Пуатрено, Ришаром и Тижюсом (Poitrenaud, в печати), для анализа и понимания технических задач. Эта модель развивает и углубляет мысль о том, что в умениях имеется много семантических знаний относительно свойств объектов, а не только одни автоматиз-мы. Эти знания являются имплицитными и доступны только в действии, но они играют значительную роль при овладении навыком и в процессе научения - положительную в одних случаях и отрицательную в других. Важно подойти к пониманию этих знаний, тем более, что они не поддаются вербализации. Модель покоится на трех гипотезах, касающихся связей между общими и техническими знаниями.

Первая гипотеза состоит в том, что эти знания организованы исходя из целей и процедур, а не из реляционных знаний об объектах. Эта гипотеза опирается на два факта. В целом наблюдается слабая генерализация между ситуациями, имеющими ту же самую реляционную структуру, если только не присутствуют признаки, сигнализирующие об общности структуры. Напротив, наблюдается очень сильная генерализация между ситуациями, обладающими той же самой реляционной структурой, но при условии, что цель, которую надо достичь, остается одной и той же: это то, что выражается понятием переноса по аналогии.