И сразу ошибка. Если у вас есть модель (даже неадекватная) - автоматом задача уже не является сложной или сложно-формализуемой. Модель это и есть формальный метод решения. Таким образом задача может являться только невычислимой (дорогой-ресурсонеоптимальной). Для любой же вычислимой задачи эвристический метод применять глупо - можно тупо получить "ответ по модели", а "Ответ по модели" - НЕ эвристика! это тупо готовый ответ с какой то степенью адекватности (тараканы в голове), тараканы - да это уже культура и все такое.... да неадекватная модель противоречит фактам (старым или новым)! ну и пусть - это НЕ эвристика. И пример со свиньей - наследование неадекватной модели в конкретной среде всего лишь, никакой эвристики тут нет в отличии от "оценки архитектора".

Эвристика не обязательно "неполнота". это прежде всего "упрощение". но уж точно не "незнание" ни в каком виде!
Архитектор никак не может оценить параметры здания, если он никогда его не видел! (частный случай религии) или не видел исходного проекта и вообще не знает о нем ничего - в общем для любой оценки у него должны быть опорные данные хоть и не полные.

И этот метод оценки интуитивный хоть и сложно - но формализуем! И эвристика дает ответ приемлемого качества. Если она ответа не дает - то это тоже не эвристика... Эвристика с проблемами - не эвристика. Сила эвристики в том что если она работает - она работает.

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