Мат.лингвистика

[dovub]

Какие разделы математики (мат.логика, тервер и статистика, анализ, теория категорий etc.) и как используется в лингвистике? Есть ли какие-нибудь курсы, литература, задачи об этом?

[Munin]

Там своя особая математика.

[Yuri Gendelman]

Наиболее разработанный раздел математической лингвистики - это теория формальных грамматик, основанная на теории алгоритмов и теории автоматов. Для начала посмотрите книгу:
Гладкий А. В., Мельчук И. А., Элементы математической лингвистики, 1969.
Ее авторы - математик и лингвист.

[Munin]

Yuri Gendelman
Ещё я слышал про какую-то ветвь матлогики, оперирующую вымышленными мирами, чтобы описывать всякие условные и сослагательные конструкции. Не просветите об этом?

[mihaild]

Munin в сообщении #1378537 писал(а):

ветвь матлогики, оперирующую вымышленными мирами, чтобы описывать всякие условные и сослагательные конструкции

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

[Pavia]

Модальная логика она же Логическая семантика.

Книг и статей по этой теме полно. Для примера:
Тейз А., Грибомон П., Юлен Г. и др.-Логический подход к искусственному интеллекту. Книга 2_ От модальной логики к логике баз данных-Мир (1998)

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

[dovub]

Указанные выше работы слишком абстрактные, "алгебраические" что ли.

В интернете есть давняя статья Р.Л.Добрушина Математические методы в лингвистике, где упоминается о применении теории вероятностей и статистики в лингвистике (подсчет слов, избыточность и пр.). Есть ли более подробные работы на этот счёт, не обязательно математиков?

[Munin]

Всякие применения теории вероятностей и статистики - не имеют ничего интересного математически, и не имеют ничего специфически-лингвистического. Стандартная обработка экспериментов и анализ данных.

И вообще, если вы уже знаете ответ, то зачем вы приходите и задаёте вопрос?

[george66]

Да, было бы интересно узнать. Там пытались использовать абстрактную логику (Ричард Монтегю известен и в лингвистике, и в теории множеств). Но впечатление, что не вышло ничего, судя по состоянию машинного перевода.

[Pavia]

dovub в сообщении #1378603 писал(а):

Есть ли более подробные работы на этот счёт, не обязательно математиков?

1) Чехов и статистика
https://www.google.ru/url?sa=t&source=web&rct=j&url=http://elar.urfu.ru/bitstream/10995/42927/1/nr_2016_58.pdf&ved=2ahUKEwji4oO-i9vgAhUp7KYKHXvsCYYQFjAAegQIAhAB&usg=AOvVaw1iVFt1ZQSPEfIeL-BJECIV
2)Статистика и выделение границ предложения .
http://www.dialog-21.ru/digests/dialog2008/materials/html/83.htm
3) Такое же есть статьи где статистику используют для рассстановки ударений и прочего.
4) Отнесенее слов к частям речи при помощи теоремы Байеса.
5) Синтез окончаний окончаний(склонение неизвестных слов) тоже Байес.
6) Векторная модель и поисковые системы:
https://www.google.ru/url?sa=t&source=web&rct=j&url=http://cache-mskstoredata06.cdn.yandex.net/download.yandex.ru/company/iworld-3.pdf&ved=2ahUKEwiYjuPEhNvgAhVN6KYKHWcjBEMQFjADegQIAxAB&usg=AOvVaw1CJmPfyuC_lapKBWMxwinb
7)Логика предикатов используется для ранжирования поисковых результатов.
8) Модальная логика имеет успехи в семантическом анализе.
https://cyberleninka.ru/article/v/slovoobrazovatelnoe-modelirovanie-semantiki-otglagolnyh-imen-v-aspekte-teorii-propozitsii

Работ полно, учитесь пользоваться поисковиком.

[arseniiv]

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

[Yuri Gendelman]

Munin в сообщении #1378537 писал(а):

Ещё я слышал про какую-то ветвь матлогики, оперирующую вымышленными мирами, чтобы описывать всякие условные и сослагательные конструкции.

mihaild уже ответил - это модальная логика.