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

Увы, есть два уровня интеллектуальной работы: а) те самые "ассоциативные пласты", работа со "смысловыми расстояниями", определение "предметной области", более всего похоже на "микротеории" из CYC и б) собственно строгий логический вывод в рамках одного такого пласта-микротеории. В CYC экспериментально ручным кодированием пришли к выводу, что сейчас есть где-то 26тыс. микротеорий. Далее они контент-анализом (т.е. как раз частотными алгоритмами типа поисковых индексаторов) определяют, в какую микротеорию относить ту или иную фразу, а затем предпринимают в рамках этой микротеории строгий логический вывод. Так что в этой области все давно схвачено -- но, как всегда, победят какие-нибудь тонкие настройки алгоритмов в рамках этой общей архитектуры...