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

Нам никуда от естественного языка не деться. И лучше бы им заняться раньше, чем позже. Если, конечно, сегодняшний день можно назвать "раньше" :-) Но мне кажется, что мы пока ещё никуда не опоздали. IBM Watson и клинические приложения CYC показали, что всё вполне достижимо методом грубой силы (хотя эта "грубая сила" достигается большим напряжением ума), но теперь самое время для резких прорывов в технологии. А то, что истина лежит где-то посредине между формальными и неформальными языками, это факт. Эдакая модальная пошаговая логика с метафорами, 4D типами и римфами (ну ладно, пусть не рифмами, а паттернами, что сути дела не меняет). Если, конечно, не займутся крепко чем-то типа теории категорий и не ограничатся при этом только функциональными языками, заодно выкинув её классическое математическое изложение.