Size: a a a

Compiler Development

2019 October 08

B

Brenoritvrezorkre in Compiler Development
Не работал с этим. Я сейчас ищу иллюстрации к тому, что писал.
источник

B

Brenoritvrezorkre in Compiler Development
Вот страница про синтаксические структуры
источник

B

Brenoritvrezorkre in Compiler Development
Затем лингвисты начали задумываться над формальной семантикой именно естественных языков и решили, что помимо описания для каждого конкретного предложения дерева его синтаксического разбора следует указать семантическую структуру для элементов, которые там встретятся.
источник

M

MaxGraey in Compiler Development
источник

B

Brenoritvrezorkre in Compiler Development
Но это ещё не порождающая семантика
источник

B

Brenoritvrezorkre in Compiler Development
Вот здесь семантические элементы (тут: tense) стали включаться прямо в процесс синтаксического разбора.
источник

B

Brenoritvrezorkre in Compiler Development
Ещё картинка с деревом, по которому разбросаны семантические элементы
источник

B

Brenoritvrezorkre in Compiler Development
Тут уже генеративная семантика, насколько я понимаю.
источник

AT

Alexander Tchitchigin in Compiler Development
Несколько смущает то, что для описания семантики всё ещё используются слова естественного языка. 😉
источник

B

Brenoritvrezorkre in Compiler Development
В общем, заключается она в том, что вместо грамматического разбора предложения и интерпретативной подстановки семантики к этому разобранному предложению мы производим одновременный грамматико-семантический разбор.
источник

B

Brenoritvrezorkre in Compiler Development
Alexander Tchitchigin
Несколько смущает то, что для описания семантики всё ещё используются слова естественного языка. 😉
Ну, это не беда, так как это здесь буквально заглушки.
источник

AT

Alexander Tchitchigin in Compiler Development
Brenoritvrezorkre
Ну, это не беда, так как это здесь буквально заглушки.
Почему нельзя word2vec-вектора рассматривать как такие заглушки?
источник

B

Brenoritvrezorkre in Compiler Development
Есть два типичных подхода к определению того, что значит то или иное слово: через теорию дескрипций и через теорию имён. Отличие в первую очередь в том, как производится референция. Если быть точнее, так определяется значение именно как extension, т.е. буквально в том виде, что слова обозначают в области объектных значений. Чтобы получить содержательное значение (meaning), мы обычно обращаемся к интенсионалам, отдельно к свойствам используемой модели и так далее.
источник

B

Brenoritvrezorkre in Compiler Development
А то, какие именно вещи будет значить (экстенсионально) некоторое конкретное имя или некоторая конкретная дескрипция, семантиков уже не интересует, если это не вызывает семантических вопросов.

Например, имя "яблоко" стандартно обозначает яблоко. Вот и всё.

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

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

B

Brenoritvrezorkre in Compiler Development
Так что заглушки — норм, там не этим занимались. Там пытались понять, как адекватно определить применимость порождающих грамматик относительно к естественному языку, и оказывалось, что местами были проблемы, приходилось добавлять семантические элементы в сам разбор и так далее.
источник

B

Brenoritvrezorkre in Compiler Development
Так вот, такое у компиляторщиков есть? ЯП и компиляторы, где мы в ходе синтаксического разбора имеем те или иные семантические элементы.
источник

AT

Alexander Tchitchigin in Compiler Development
Brenoritvrezorkre
Так вот, такое у компиляторщиков есть? ЯП и компиляторы, где мы в ходе синтаксического разбора имеем те или иные семантические элементы.
Да. C++. 😂
источник

AT

Alexander Tchitchigin in Compiler Development
Не говоря уже про Perl 5! 😂😂😂
источник

B

Brenoritvrezorkre in Compiler Development
Alexander Tchitchigin
Почему нельзя word2vec-вектора рассматривать как такие заглушки?
Ну это просто определяет близость слов, как мы их употребляем.

Например, "королева" в определённом смысле близко к "женщина".

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

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

AT

Alexander Tchitchigin in Compiler Development
Brenoritvrezorkre
Ну это просто определяет близость слов, как мы их употребляем.

Например, "королева" в определённом смысле близко к "женщина".

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

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