Без заголовка
Почитал текст лекции Барбары Парти про формальную семантику и понял что формальную семантику уже можно начинать считать инженерной дициплиной.
В том смысле, что обработка какого-то приличного подмножества естественного языка с каким-то ограниченными целями - вполне себе программерский проект. Ну разве что сложный и требующий много ресурсов.