Модель мови

Статистична моде́ль мо́ви (англ. language model) — це розподіл імовірності над послідовностями слів. Заданій такій послідовності, скажімо, довжини m, вона призначує ймовірність $P(w_{1},\ldots ,w_{m})$ усієї цієї послідовності.

Модель мови забезпечує контекст для розрізнювання слів та фраз, які звучать схоже. Наприклад, в американській англійській фрази «recognize speech» (розпізнавати мовлення) та «wreck a nice beach» (вбити гарний пляж) звучать схоже, але означають різні речі.

У побудові моделей мов основною проблемою є розрідженість даних. Більшість можливих послідовностей слів під час тренування не спостерігаються. Одним з розв'язків цієї проблеми є припустити, що ймовірність слова залежить лише від попередніх n слів. Це є відомим як n-грамна модель, або уніграмна модель, коли n = 1. Уніграмна модель є також відомою як модель «торба слів».

Оцінювання відносної правдоподібності різних фраз є корисним у багатьох застосуваннях обробки природної мови, особливо в тих, що породжують текст як вихід. Моделювання мов використовують у розпізнаванні мовлення, машиннім перекладі, розмічуванні частин мови, синтаксичнім аналізі, оптичнім розпізнаванні символів, розпізнаванні рукописного введення, інформаційнім пошуку та інших застосуваннях.

У розпізнаванні мовлення звуки зіставляють з послідовностями слів. Неоднозначності розв'язувати легше, коли свідчення від моделі мови поєднують з моделлю вимови та акустичною моделлю.

Моделі мови використовують в інформаційнім пошуку в моделі правдоподібності запитів. Там окрему модель мови пов'язують з кожним документом сукупності. Документи ранжують на основі ймовірності запиту Q в моделі мови документа $M_{d}$: $P(Q\mid M_{d})$. Для цього зазвичай використовують уніграмну модель.

Типи моделей

Уніграмна

Уніграмну модель (англ. unigram model) можливо розглядати як комбінацію декількох одностанових скінченних автоматів. Вона розділює ймовірності різних лексем (англ. term) у контексті, наприклад, з

$P(t_{1}t_{2}t_{3})=P(t_{1})P(t_{2}\mid t_{1})P(t_{3}\mid t_{1}t_{2})$

до

$P_{\text{uni}}(t_{1}t_{2}t_{3})=P(t_{1})P(t_{2})P(t_{3}).$

У цій моделі ймовірність кожного зі слів залежить лише від ймовірності цього слова в документі, тож як вузли ми маємо лише одностановий скінченний автомат. Сам цей автомат має розподіл імовірності над усім словником цієї моделі, що підсумовується до 1. Далі наведено ілюстрацію уніграмної моделі документа.

Лексеми	Ймовірність у документі
a	0.1
world	0.2
likes	0.05
we	0.05
share	0.3
…	…

$\sum _{\text{term in doc}}P({\text{term}})=1$

Ймовірність, яку формують для конкретного запиту (англ. query), обчислюють як

$P({\text{query}})=\prod _{\text{term in query}}P({\text{term}})$

Різні документи мають уніграмні моделі з різними ймовірностями влучання для слів у них. Розподіли ймовірностей з різних документів використовують для формування ймовірностей влучання для кожного запиту. Документи може бути ранжовано для запиту відповідно до цих імовірностей. Приклад уніграмних моделей двох документів:

Лексеми	Ймовірність у документі 1	Ймовірність у документі 2
a	0.1	0.3
world	0.2	0.1
likes	0.05	0.03
we	0.05	0.02
share	0.3	0.2
…	…	…

У контексті інформаційного пошуку уніграмні моделі мови часто згладжують, щоби уникати випадків, коли P(лексема) = 0. Одним з поширених підходів є формувати модель максимальної правдоподібності для всієї сукупності, й лінійно інтерполювати цю модель сукупності з моделлю максимальної правдоподібності для кожного з документів, щоби згладити її.

n-грамна

У n-грамній моделі (англ. n-gram model) ймовірність $P(w_{1},\ldots ,w_{m})$ спостерігання речення $w_{1},\ldots ,w_{m}$ наближують як

$P(w_{1},\ldots ,w_{m})=\prod _{i=1}^{m}P(w_{i}\mid w_{1},\ldots ,w_{i-1})\approx \prod _{i=1}^{m}P(w_{i}\mid w_{i-(n-1)},\ldots ,w_{i-1})$

Виходять з того, що ймовірність спостерігання i-того слова w_i в контексті історії попередніх i − 1 слів може бути наближено ймовірністю спостерігання його у скороченій історії контексту з попередніх n − 1 слів (марковська властивість n-того порядку).

Цю умовну ймовірність можливо обчислювати з частотних кількостей n-грамної моделі:

$P(w_{i}\mid w_{i-(n-1)},\ldots ,w_{i-1})={\frac {\mathrm {count} (w_{i-(n-1)},\ldots ,w_{i-1},w_{i})}{\mathrm {count} (w_{i-(n-1)},\ldots ,w_{i-1})}}$

Терміни бігра́мна (англ. bigram) та тригра́мна (англ. trigram) мовні моделі позначують n-грамні моделі з n = 2 та n = 3 відповідно.

Як правило, ймовірності n-грамних моделей не виводять із частотних кількостей напряму, оскільки моделі, що виводять таким чином, мають серйозні проблеми, коли вони стикаються з будь-якими не баченими раніше явно n-грамами. Натомість необхідним є згладжування якогось вигляду, що призначує якусь частину загальної маси ймовірності небаченим словам або n-грамам. Використовують різні методи, від згладжування «плюс один» (призначування небаченим n-грамам кількості 1, як неінформативного апріорного), і до витонченіших моделей, таких як дисконтування Ґуда — Тюрігна та моделі відступання.

Двоспрямована

Двоспрямовані представлення (англ. bidirectional representations) обумовлюються як попереднім, так і наступним контекстом (наприклад, словами) в усіх шарах.

Приклад

У біграмній (n = 2) моделі мови ймовірність речення «I saw the red house» наближують як

$P({\text{I, saw, the, red, house}})\approx P({\text{I}}\mid \langle s\rangle )P({\text{saw}}\mid {\text{I}})P({\text{the}}\mid {\text{saw}})P({\text{red}}\mid {\text{the}})P({\text{house}}\mid {\text{red}})P(\langle /s\rangle \mid {\text{house}})$

тоді як у триграмній (n = 3) моделі мови цим наближенням є

$P({\text{I, saw, the, red, house}})\approx P({\text{I}}\mid \langle s\rangle ,\langle s\rangle )P({\text{saw}}\mid \langle s\rangle ,I)P({\text{the}}\mid {\text{I, saw}})P({\text{red}}\mid {\text{saw, the}})P({\text{house}}\mid {\text{the, red}})P(\langle /s\rangle \mid {\text{red, house}})$

Зауважте, що контекст перших n – 1 n-грамів заповнено маркерами початку речення, які зазвичай позначують через <s>.

Крім того, без маркера кінця речення ймовірність неграматичної послідовності «*I saw the» буде завжди вищою за ймовірність довшого речення «I saw the red house».

Експоненційна

Максимально-ентропійні моделі мови (англ. maximum entropy language models) кодують взаємозв'язок між словом та n-грамною історією із застосуванням функцій ознак. Цим рівнянням є

$P(w_{m}|w_{1},\ldots ,w_{m-1})={\frac {1}{Z(w_{1},\ldots ,w_{m-1})}}\exp(a^{T}f(w_{1},\ldots ,w_{m}))$,

де $Z(w_{1},\ldots ,w_{m-1})$ є статистичною сумою, $a$ є вектором параметрів, а $f(w_{1},\ldots ,w_{m})$ є функцією ознак. У найпростішому випадку функція ознак є просто індикатором наявності певного n-граму. Корисно використовувати апріорне на $a$, або регуляризацію якогось вигляду.

Іншим прикладом експоненційної моделі мови є логарифмічно-білінійна модель.

Нейромережна

Нейромережні моделі мов (англ. neural language models, або неперервно-просторові моделі мови, англ. continuous space language models) щоби робити свої передбачування використовують неперервні представлення або вкладення слів. Ці моделі використовують нейронні мережі.

Неперервно-просторові вкладення допомагають пом'якшувати прокляття розмірності в моделюванні мов: що на більших і більших текстах тренуються моделі мов, то дедалі більшим стає число унікальних слів (словник). Число можливих послідовностей слів зростає експоненційно з розміром словника, спричинюючи проблему розрідженості даних через експоненційно велику кількість послідовностей. Таким чином, для належного оцінювання ймовірностей потрібні статистики. Нейронні мережі уникають цієї проблеми, представляючи слова розподіленим чином, як нелінійні комбінації ваг у нейронній мережі. Альтернативним описом є те, що нейронна мережа наближує функцію мови. Нейронна мережа може мати архітектуру прямого поширення або рекурентну, і тоді як перша є простішою, остання є поширенішою.^{[джерело?]}

Як правило, нейромережні моделі мов будують та тренують як імовірнісні класифікатори, що вчаться передбачувати розподіл імовірності

$P(w_{t}|\mathrm {context} )\,\forall t\in V$.

Тобто, мережа тренується передбачувати розподіл імовірності над словником за якогось заданого лінгвістичного контексту. Це здійснюють застосуванням стандартних алгоритмів тренування нейронних мереж, таких як стохастичний градієнтний спуск зі зворотним поширенням. Контекст може бути вікном попередніх слів фіксованої ширини, так, що мережа передбачує

$P(w_{t}|w_{t-k},\dots ,w_{t-1})$

з вектору ознак, що представляє попередні k слів. Іншим варіантом є використовувати як ознаки «майбутні» слова, так само як і «минулі», так, що оцінюваною ймовірністю є

$P(w_{t}|w_{t-k},\dots ,w_{t-1},w_{t+1},\dots ,w_{t+k})$.

Це називають моделлю торби слів. Коли вектори ознак для слів контексту поєднують неперервною операцією, цю модель називають архітектурою неперервної торби слів (НТС, англ. continuous bag-of-words, CBOW).

Третім варіантом, який тренується повільніше за НТС, але працює дещо краще, є обернути попередню задачу, і зробити так, щоби нейронна мережа вчилася контексту за заданого слова. Формальніше, за заданої послідовності слів $w_{1},w_{2},w_{3},\dots ,w_{T}$ максимізують усереднену логарифмічну ймовірність

${\frac {1}{T}}\sum _{t=1}^{T}\sum _{-k\leq j\leq k,j\neq 0}\log P(w_{t+j}|w_{t})$,

де k, розмір тренованого контексту, може бути функцією від центрального слова $w_{t}$. Це називають пропуск-грамною (англ. skip-gram) моделлю мови. Моделі торби слів та пропуск-грамна є основою програми word2vec.

Замість використовувати нейромережні моделі мови, щоби виробляти фактичні ймовірності, поширеним є натомість використання розподіленого представлення, закодованого в «прихованих» шарах мережі, як представлення слів. Тоді кожне слово відображують в n-вимірний дійсний вектор, званий вкладенням слова, де n є розміром шару безпосередньо перед шаром виходу. Представлення в пропуск-грамних моделях мають таку виразну характеристику, що вони моделюють семантичні відношення між словами як лінійні комбінації, вловлюючи свого роду композиційність. Наприклад, у деяких таких моделях, якщо v є функцією, що відображує слово w до його n-вимірного векторного представлення, то

$v(\mathrm {king} )-v(\mathrm {male} )+v(\mathrm {female} )\approx v(\mathrm {queen} )$,

де ≈ роблять точним, ставлячи умову, що його права частина мусить бути найближчим сусідом значення лівої частини.

Інші

Позиційна модель мови (англ. positional language model) оцінює ймовірність трапляння заданих слів близько в тексті одне до одного, не обов'язково безпосередньо суміжними. Подібним чином, моделі концепції торби слів використовують семантику, пов'язану з багатослівними виразами, такими як «buy_christmas_present», навіть якщо вони використовуються в інформаційно насичених реченнях на кшталт «today I bought a lot of very nice Christmas presents».

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

Еталони

Для оцінювання систем обробки мови було розроблено різноманітні наборі даних. До них належать:

• Corpus of Linguistic Acceptability
• GLUE benchmark
• Microsoft Research Paraphrase Corpus
• Multi-Genre Natural Language Inference
• Question Natural Language Inference
• Quora Question Pairs
• Recognizing Textual Entailment
• Semantic Textual Similarity Benchmark
• SQuAD question answering Test
• Stanford Sentiment Treebank
• Winograd NLI

Див. також

• Статистична модель
• Факторизована модель мови
• Кешувальна модель мови
• Модель відступання Каца
• Трансформер
• BERT
• GPT
• GPT-3

Джерела

• J M Ponte and W B Croft (1998). A Language Modeling Approach to Information Retrieval. Research and Development in Information Retrieval. с. 275—281. CiteSeerX 10.1.1.117.4237. (англ.)
• F Song and W B Croft (1999). A General Language Model for Information Retrieval. Research and Development in Information Retrieval. с. 279—280. CiteSeerX 10.1.1.21.6467. (англ.)
• Chen, Stanley; Joshua Goodman (1998). An Empirical Study of Smoothing Techniques for Language Modeling (Технічний звіт). Harvard University. CiteSeerX 10.1.1.131.5458. (англ.)

Посилання

Програмне забезпечення

• BERT на GitHub — Bidirectional Encoder Representations from Transformers
• CSLM — вільний інструментарій для моделей мови на нейронних мережах прямого поширення
• DALM на GitHub — швидке вільне програмне забезпечення для запитів до моделей мови
• Generative Pre-trained Transformer [Архівовано 1 березня 2019 у Wayback Machine.]
• IRSTLM [Архівовано 19 січня 2022 у Wayback Machine.] — вільне програмне забезпечення для моделювання мов
• Kylm [Архівовано 29 листопада 2020 у Wayback Machine.] (Kyoto Language Modeling Toolkit) — вільний інструментарій моделювання мов мовою Java
• KenLM [Архівовано 10 листопада 2020 у Wayback Machine.] — швидке вільне програмне забезпечення для моделювання мов
• LMSharp на GitHub — вільний інструментарій моделювання мов для n-грамних моделей зі згладжуванням Кнесера — Нея та рекурентно-нейромережних моделей
• MITLM на GitHub — інструментарій моделювання мов МТІ. Вільне програмне забезпечення
• NPLM [Архівовано 6 березня 2021 у Wayback Machine.] — вільний інструментарій для моделей мови на нейронних мережах прямого поширення
• OpenGrm NGram library [Архівовано 31 жовтня 2020 у Wayback Machine.] — вільне програмне забезпечення для моделювання мов. Побудовано на OpenFst.
• OxLM на GitHub — вільний інструментарій для моделей мови на нейронних мережах прямого поширення
• Positional Language Model [Архівовано 8 липня 2019 у Wayback Machine.]
• RandLM [Архівовано 20 січня 2022 у Wayback Machine.] — вільне програмне забезпечення для увипадковленого моделювання мов
• RNNLM — вільний інструментарій для рекурентно-нейромережних моделей мови
• SRILM [Архівовано 21 грудня 2020 у Wayback Machine.] — власницьке програмне забезпечення для моделювання мов
• VariKN [Архівовано 23 жовтня 2020 у Wayback Machine.] — вільне програмне забезпечення для створювання, вирощування та обрізання n-грамних моделей зі згладжуванням Кнесера — Нея
• Моделі мови, натреновані на даних newswire [Архівовано 18 травня 2021 у Wayback Machine.]