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

А вот тут вы, как мне кажется, примерно пересказали содержание моего основного поста -- хотя и немного другими словами, а ещё примерно это же рассказывают тексты в статьях по ссылкам из поста ))) Я ж из computational ontology, поэтому всё это хорошо понимаю. И когда я говорю в посте, что "разговаривали со многими командами", то именно об этом и разговариваем. Мы много лет занимается тематикой инженерных данных, семантических моделей данных и онтологий для систем CAD/PLM. А так как в инженерии до сих пор значительная часть информации создаётся и передаётся в виде текстовых документов, мы отслеживаем и работу с естественным языком. В 2010-12 годах мы разработали методику для "ручного" преобразования инженерных текстов в семантические модели - http://techinvestlab.ru/TabLan/ . В 2013 году нам удалось поработать со специалистами ABBYY и сделать демонстрационный пример по извлечению формальных моделей из текстов с использованием Compreno - про это есть презентация http://www.slideshare.net/vvagr/reference-dataextraction (при этом мы понимаем, что сейчас в Compreno уже используется обучение в создании модели языка, но не deep learning пока). В то же время за рубежом идёт множество экспериментов, включая end-to-end подходы к извлечению моделей (типа описанных в http://arxiv.org/abs/1601.00770 или в http://arxiv.org/abs/1601.01280), или обучение на смешанных текстовых и структурированных данных (типа http://cs.stanford.edu/people/danqi/papers/emnlp2015.pdf ). Есть очень многообещающие попытки выучить представления, удовлетворяющие онтологическим ограничениям, например, попытка выучить представление, отражающее отношение специализации-генерализации в http://arxiv.org/abs/1511.06361 . Есть и более "простые" подходы, но тоже интересные - типа https://arxiv.org/abs/1605.07918 . Так что этот мой пост -- очередной в некоторой генеральной линии, близкой к описываемой вами: для работы с формализацией и "интуитивных ходов" используются сетки, но большой кусок работы (несмотря на потерю информации при сжатии!) идёт в графовых структурах в каком-то варианте логического вывода. Ну, и есть ещё разные варианты этого логического вывода, типа http://cis-linux1.temple.edu/~pwang/Writing/EverydayReasoning.pdf