Без заголовка

Это очень радостная весть :) Особенно забавно, что я навскидку почти угадал (30 тысяч). Зря они только циклятся на непременно "строгом логическом выводе" внутри пласта. Строгости нет и там. А оформление особенно упорных связей между пластами в новые пласты - делают? (Впрочем, Вы уже дали достаточно данных, чтобы дальше гуглить самому. Спасибо!) Чем отличается И от не-И? Тем, что он _не решает_ задачи, жестко поставленные. Он в процессе работы модифицирует и само условие задачи, и критерии успеха. Потом возможны (и необходимы) подправка условий, уточнение задания и т.д. В общем, нормальный диалог равных собеседников.