Есть попытки представить английский язык как сразу формальный и тупо переводить по набору правил (Монтегю), но это, увы, не работает.

И что это значит? Заставить нейросеть угадывать какие-то адекватные модели относительно текста? Это невозможно.

Т.е. изобретать

да, заставить нейронку изобретать модель и верифицировать её

Это невозможно

ну в rl кажется возможно, только пока не сделали

Как минимум она не знает, как мы употребляем язык

с текстами эта проблема очень сильно мешает, вы правы

Вот из Википедии: "Семантика — раздел языкознания, изучающий значение единиц языка."

А не значение текстов языка.

Максимум, что можно было бы представить -- это научить как-то очень хорошо определять синтаксическую составляющую в тексте и определять такие сущности как коннективы и операторы. И далее автоматически считать нечто получившееся формулой и искать алгебраическое пространство моделей под неё и набор остальных формул, считая, что они все истинные. И как-то учитывать интенсиональность, но это разве что через дистрибутивную семантику, наверное, здесь, и нахождение синонимии, которая для дистрибутивной семантики должна быть отделена от всего остального (а пока прогресс так ещё не шагнул). Интенсиональность учитывать для того, чтобы совсем абсурд не был. И далее там получится какой-то совершенно рандомный результат, учитывая то, что семантика работает не так тривиально, вот хотя бы взять те же наречия или глаголы. Скорее всего, мы получим просто какой-то трэш.

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

Есть стандартное определение: семантика -- это о том, как соотносятся термы и формулы с доменом индивидов. Или, проще, как соотносятся знаки и объекты.

Ни про какой текст речь не идёт

Стандартное лишь для вас, похоже :)

Восстановление употребления нужно только для того, чтобы знать, какой именно перевод должен быть.

Нет

В классическом делении на синтаксис-семантику-прагматику ваша семантика сильно залезает в прагматику

Прагматика в лингвистике – это дисциплиналингвистики, изучающая применение и работу знаков языка в речи с точки зрения отношений между знаком и его пользователем, а также особенности создания языковых высказываний, зависящих от особенностей участников речевого акта – от используемых речевых способов, ситуаций ...

"домен индивидов" -- это прагматика

А обобщенное понимание термина в языке, или перечисление пониманий -- это семантика