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

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