Телеграмм чат группы natural_language

Size: a a a

Natural Language Processing

2019 November 16

Yuri Baburov in Natural Language Processing

в общем, я бы делал по-другому: искал не слова обобщённых кванторов, а существительные, и ближайшие к ним предикаты потрошил.

источник

14:47пожаловаться #1

Brenoritvrezorkre in Natural Language Processing

Yuri Baburov

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

Квантор существования в любой классической модели интерпретируется примерно как "найдётся контрпример к тому, что от значений связываемой переменной истинность подкванторного предложения не меняется". Квантор всеобщности интерпретируется как "от значений переменной истинность ~ не меняется".

источник

14:49пожаловаться #2

Brenoritvrezorkre in Natural Language Processing

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

источник

14:51пожаловаться #3

Brenoritvrezorkre in Natural Language Processing

Я могу написать это правило выполнимости формально.

источник

14:51пожаловаться #4

Brenoritvrezorkre in Natural Language Processing

Yuri Baburov

"вся вода", но не скажешь "существует вода", лишь "существует часть воды".

https://plato.stanford.edu/entries/metaphysics-massexpress/

https://plato.stanford.edu/entries/logic-massexpress/

источник

14:54пожаловаться #5

Brenoritvrezorkre in Natural Language Processing

Массовые выражения выходят за пределы классической квантификации как таковой.

источник

14:55пожаловаться #6

Brenoritvrezorkre in Natural Language Processing

Так как если мы скажем

\forall x : water(x),

то это значит, что мы скажем, что для каждой вещи x будет то, что это вода.

То есть, квантор всеобщности тоже не умеет в массовые термы.

источник

14:57пожаловаться #7

Brenoritvrezorkre in Natural Language Processing

То есть, ты нашёл случай, который обычные кванторы обрабатывать не умеют

источник

14:58пожаловаться #8

Brenoritvrezorkre in Natural Language Processing

Ты можешь найти и то, что с обычными кванторами сложно формализовать вещи по типу

"Существуют критики, которые ценят только друг друга".

И подобные. Это классический пример, когда стоит пользоваться плюральной квантификацией:

https://plato.stanford.edu/entries/plural-quant/

источник

15:01пожаловаться #9

Yurii in Natural Language Processing

кванторы это конечно хорошо, но скажите лучше где взять все варианты частей речи для слов в английском языке

источник

15:04пожаловаться #10

Brenoritvrezorkre in Natural Language Processing

Или то, что мы не можем при помощи обычных кванторов сказать такое:

"Все предложения тут истинны".

Поскольку квантификация производится не по вещам, а по предложениям.

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

источник

15:05пожаловаться #11

Brenoritvrezorkre in Natural Language Processing

В общем, суть кванторов излагается тут: https://plato.stanford.edu/entries/quantification/

Я хотел просто узнать о кванторах в естественном языке. Есть ли готовый полный список.

источник

15:07пожаловаться #12

Yurii in Natural Language Processing

Brenoritvrezorkre

Может подскажите еще зачем вам это надо?

источник

15:08пожаловаться #13

Brenoritvrezorkre in Natural Language Processing

Чтобы точнее подбирать кванторы в импликатурах, где кванторов нет )

источник

15:09пожаловаться #14

Brenoritvrezorkre in Natural Language Processing

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

источник

15:10пожаловаться #15

Brenoritvrezorkre in Natural Language Processing

Yuri Baburov

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

Вот по этому совету попробую посмотреть, но вряд ли это описывает кванторы точно.

источник

15:11пожаловаться #16

Brenoritvrezorkre in Natural Language Processing

Как раз проблема "small horses". Не ясно, что имеется в виду. Нужно подбирать. Но лучше иметь список, из чего подбирать, чтобы что-то не упустить.

источник

15:12пожаловаться #17

Brenoritvrezorkre in Natural Language Processing

Мол, может, тут говорится, что все лошади тут маленькие. А может, что найдутся маленькие. Или, быть может, большинство -- маленькие. Импликатуры!

источник

15:13пожаловаться #18

Yurii in Natural Language Processing

Brenoritvrezorkre

Тут вроде только один вариант.

источник

15:14пожаловаться #19

Brenoritvrezorkre in Natural Language Processing

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

источник

15:16пожаловаться #20