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

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