В этом плане русский язык не будет ли проще?

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

Русский язык синтетический, он должен быть сложнее, мне кажется.

То есть, в русском языке можно наделать гораздо более ужасные конструкции.

Зато части речи восновном опеределить можно сразу и каждое слово само по себе уже много что значит.

Ну для "маленьких лошадей" всё то же самое будет.

Так что надо сначала убирать те варианты, которые не подходят в принципе в данной области вполне допустимых контекстов (не говорю про мыслимые потому, что слишком абстрактные и тонкие варианты будут реально подходить вряд ли), либо которые не подходят грамматически, и для этого нужен список, а потом только уже пытаться определить, что могло бы быть конкретно в качестве контекста. Но это можно не всегда, и тогда у нас нерешённая неопределенность.

Например, если речь про парк крупных лошадей, то табличка "маленькие лошади" будут, наверное, использоваться для привлечения внимания: мол, хоть где-то (а именно тут) у нас маленькие лошади (есть).

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

Конечно, чисто по тексту это обычно трудно сказать.

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

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

Логический анализ естественного языка, это старая очень тематика.

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

со стороны иногда кажется, что Brenoritvrezorkre не менее чем Дж. Кармак, закрывшийся дома в попытках создать AGI.  Извините, ничего личного, на правах субботы (

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

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

Интуиция тоже строится не от балды, просто на некоторые моменты внимания не обращаешь.

Что такое AGI? Я знаю только одну расшифровку и она в русле моей текущей работы)

Но не думаю, что это оно