какой-то формализованный вид? Чтобы что? Чтобы потом из этого формализованного вида на другой язык можно было перевести? Или нужна интерпретация смысла?
Ну вот есть фразы на естественном языке. Естественным является желание узнать, как они работают. Вот так область и появилась. Есть математическая логика та же, есть порождающие грамматики и семантики и т.п., есть непонятно как работающий язык, и при помощи математических моделей мы как бы приближаемся к его пониманию, но тестирование моделей всё это время проходит довольно-таки ужасно.
Да, фразы переводятся в формальный вид, и нужно отлавливать, где модель работает, а где -- нет.
Обсуждают сегодня