Скачать презентацию АВТОМАТИЧНИЙ СЕМАНТИЧНИЙ АНАЛІЗ ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ ЛЕКЦІЯ 15 Скачать презентацию АВТОМАТИЧНИЙ СЕМАНТИЧНИЙ АНАЛІЗ ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ ЛЕКЦІЯ 15

KL-Lec15+.ppt

  • Количество слайдов: 55

АВТОМАТИЧНИЙ СЕМАНТИЧНИЙ АНАЛІЗ ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ ЛЕКЦІЯ № 15 АВТОМАТИЧНИЙ СЕМАНТИЧНИЙ АНАЛІЗ ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ ЛЕКЦІЯ № 15

ЗА ДОПОМОГОЮ МОВИ МИ МОЖЕМО КОДУВАТИ АБО РОЗКОДОВУВАТИ: ◦ ОПИС СВІТУ ◦ ПРО ЗА ДОПОМОГОЮ МОВИ МИ МОЖЕМО КОДУВАТИ АБО РОЗКОДОВУВАТИ: ◦ ОПИС СВІТУ ◦ ПРО ЩО МИ ДУМАЄМО ◦ ЩО МИ ДУМАЄМО ПРО ТЕ ПРО ЩО ДУМАЮТЬ ІНШІ ЛЮДИ ХОЧА НАСПРАВДІ, ЧИ МОЖЕМО МИ ПІДІБРАТИ ПОСЛІДОВНІСТЬ СЛІВ, ЯКА: ◦ ВІДПОВІДАЄ СВІТУ ◦ ГОВОРИТЬ, ПРО ЩО ВИ ДУМАЄТЕ ◦ ГОВОРИТЬ, ЩО ВИ ДУМАЄТЕ ПРО ЩО ДУМАЮТЬ ІНШІ ЛЮДИ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

РОЗМОВЛЯЮЧИ, МИ БУДУЄМО ПОСЛІДОВНОСТІ СЛІВ ТАКИМ ЧИНОМ, ЩОБ ІНШІ ЛЮДИ ПОЧУВШИ АБО ПРОЧИТАВШИ РОЗМОВЛЯЮЧИ, МИ БУДУЄМО ПОСЛІДОВНОСТІ СЛІВ ТАКИМ ЧИНОМ, ЩОБ ІНШІ ЛЮДИ ПОЧУВШИ АБО ПРОЧИТАВШИ ЇХ І ЇХ ЗРОЗУМІВШИ, ДІЗНАЛИСЯ, ЩО МИ ДУМАЄМО ПРО СВІТ МИ ПРЕДСТАВЛЯЄМО СВОЄ РОЗУМІННЯ, СВІЙ ОПИС СВІТУ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

АВТОМАТИЧНЕ РОЗУМІННЯ ТЕКСТУ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018 АВТОМАТИЧНЕ РОЗУМІННЯ ТЕКСТУ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ЗАГАЛЬНА СХЕМА ОБРОБКИ ТЕКСТІВ ПРИРОДНОЮ МОВОЮ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018 ЗАГАЛЬНА СХЕМА ОБРОБКИ ТЕКСТІВ ПРИРОДНОЮ МОВОЮ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

РЕЗУЛЬТАТИ АВТОМАТИЧНОГО СИНТАКСИЧНОГО АНАЛІЗУ ЧИ ДОЗВОЛЯЮТЬ РЕЗУЛЬТАТИ АСА ВСТАНОВИТИ ПРО ЩО ЙДЕТЬСЯ У РЕЧЕННІ, РЕЗУЛЬТАТИ АВТОМАТИЧНОГО СИНТАКСИЧНОГО АНАЛІЗУ ЧИ ДОЗВОЛЯЮТЬ РЕЗУЛЬТАТИ АСА ВСТАНОВИТИ ПРО ЩО ЙДЕТЬСЯ У РЕЧЕННІ, - ЗДІЙСНИТИ АВТОМАТИЧНЕ РОЗУМІННЯ РЕЧЕННЯ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

АВТОМАТИЧНИЙ СЕМАНТИЧНИЙ АНАЛІЗ. ВИЗНАЧЕННЯ. (ДАРЧУК Н. П. ) Комп'ютерна лінгвістика (2010) Романюк А. Б. АВТОМАТИЧНИЙ СЕМАНТИЧНИЙ АНАЛІЗ. ВИЗНАЧЕННЯ. (ДАРЧУК Н. П. ) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ПРЕДСТАВЛЕННЯ СМИСЛУ (ЗНАЧЕННЯ) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018 ПРЕДСТАВЛЕННЯ СМИСЛУ (ЗНАЧЕННЯ) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ПРЕДСТАВЛЕННЯ СМИСЛУ (ПРИКЛАД) I HAVE A CAR Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018 ПРЕДСТАВЛЕННЯ СМИСЛУ (ПРИКЛАД) I HAVE A CAR Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ПРЕДСТАВЛЕННЯ СМИСЛУ (ПРИКЛАД) ЛОГІКА ПЕРШОГО ПОРЯДКУ (ЛОГІКА ПРЕДИКАТІВ) СЕМАНТИЧНА МЕРЕЖА ДІАГРАМА КОНЦЕПТУАЛЬНИХ ЗАЛЕЖНОСТЕЙ ПРЕДСТАВЛЕННЯ ПРЕДСТАВЛЕННЯ СМИСЛУ (ПРИКЛАД) ЛОГІКА ПЕРШОГО ПОРЯДКУ (ЛОГІКА ПРЕДИКАТІВ) СЕМАНТИЧНА МЕРЕЖА ДІАГРАМА КОНЦЕПТУАЛЬНИХ ЗАЛЕЖНОСТЕЙ ПРЕДСТАВЛЕННЯ НА ОСНОВІ ФРЕЙМІВ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018 Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ВИМОГИ ДО ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ (МОВИ ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ) З ТОЧКИ ЗОРУ ЇХ РЕАЛІЗАЦІЇ В ОБЧИСЛЮВАЛЬНІЙ ВИМОГИ ДО ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ (МОВИ ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ) З ТОЧКИ ЗОРУ ЇХ РЕАЛІЗАЦІЇ В ОБЧИСЛЮВАЛЬНІЙ СИСТЕМІ ЗАБЕЗПЕЧЕННЯ МОЖЛИВОСТІ ПЕРЕВІРКИ ОДНОЗНАЧНІСТЬ ПРЕДСТАВЛЕННЯ КАНОНІЧНА ФОРМА ПРЕДСТАВЛЕННЯ ПІДТРИМКА ВИВОДУ І ВИКОРИСТАННЯ ЗМІННИХ ВИРАЗНІСТЬ І ВСЕОХОПНІСТЬ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ЗАБЕЗПЕЧЕННЯ МОЖЛИВОСТІ ПЕРЕВІРКИ Does Maharani serve vegetarian food? ОСНОВНА ВИМОГА – ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ ПОВИННО ЗАБЕЗПЕЧЕННЯ МОЖЛИВОСТІ ПЕРЕВІРКИ Does Maharani serve vegetarian food? ОСНОВНА ВИМОГА – ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ ПОВИННО ЗАБЕЗПЕЧУВАТИ МОЖЛИВІСТЬ ВИЗНАЧЕННЯ ВЗАЄМОЗВ’ЯЗКІВ МІЖ СМИСЛОМ РЕЧЕННЯ ТА СВІТОМ (ТАКИМ ЯК МИ ЙОГО УЯВЛЯЄМО) ПОТРІБНО ЗАБЕЗПЕЧИТИ МОЖЛИВІСТЬ ПЕРЕВІРКИ ПРАВДИВОСТІ ПРЕДСТАВЛЕННЯ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ЗАБЕЗПЕЧЕННЯ МОЖЛИВОСТІ ПЕРЕВІРКИ СИСТЕМА ПОВИННА МАТИ МОЖЛИВІСТЬ ПОРІВНЮВАТИ СИТУАЦІЮ ОПИСАНУ ЗА ДОПОМОГОЮ ПРЕДСТАВЛЕННЯ ІЗ ЗАБЕЗПЕЧЕННЯ МОЖЛИВОСТІ ПЕРЕВІРКИ СИСТЕМА ПОВИННА МАТИ МОЖЛИВІСТЬ ПОРІВНЮВАТИ СИТУАЦІЮ ОПИСАНУ ЗА ДОПОМОГОЮ ПРЕДСТАВЛЕННЯ ІЗ СИТУАЦІЄЮ В ПЕВНОМУ СВІТІ, МОДЕЛЛЮ ЯКОГО МОЖЕ БУТИ БАЗА ЗНАНЬ. Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ОДНОЗНАЧНІСТЬ ПРЕДСТАВЛЕННЯ I wanna eat someplace that's close to ICSI. ЯКЕ З МОЖЛИВИХ ПРЕДСТАВЛЕНЬ ОДНОЗНАЧНІСТЬ ПРЕДСТАВЛЕННЯ I wanna eat someplace that's close to ICSI. ЯКЕ З МОЖЛИВИХ ПРЕДСТАВЛЕНЬ СИСТЕМА ВИБЕРЕ ДЛЯ ПОРІВНЯННЯ З ПРЕДСТАВЛЕННЯМИ В БАЗІ ЗНАНЬ ОСТАТОЧНЕ ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ ПОВИННО БУТИ ОДНОЗНАЧНИМ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

НЕВИЗНАЧЕНІСТЬ I want to eat Italian food. ОСОБА, ЯКА ЗНАЄ ЩО ТАКЕ Italian food НЕВИЗНАЧЕНІСТЬ I want to eat Italian food. ОСОБА, ЯКА ЗНАЄ ЩО ТАКЕ Italian food МОЖЕ ЩОСЬ ЗАПРОПОНУВАТИ АЛЕ ЩО ВЛАСНЕ ХОЧЕ ЇСТИ МОВЕЦЬ – НЕВИЗНАЧЕНО ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ МОЖУТЬ МІСТИТИ ПЕВНІ НЕВИЗНАЧЕНОСТІ МОВА ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ ПОВИННА ПІДТРИМУВАТИ РІЗНІ РІВНІ НЕВИЗНАЧЕНОСТЕЙ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

КАНОНІЧНА ФОРМА ПРЕДСТАВЛЕННЯ Does Maharani have vegetarian dishes? Do they have vegetarian food at КАНОНІЧНА ФОРМА ПРЕДСТАВЛЕННЯ Does Maharani have vegetarian dishes? Do they have vegetarian food at Maharani? Are vegetarian dishes served at Maharani? Does Maharani serve vegetarian fare? СЛОВА В РЕЧЕННЯХ РІЗНІ, РЕЗУЛЬТАТИ СА РІЗНІ – ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ ТАКОЖ РІЗНІ. ЗБЕРІГАТИ В БАЗІ ЗНАНЬ ВСІ МОЖЛИВІ ПРЕДСТАВЛЕННЯ ОДНОГО І ТОГО САМОГО ФАКТУ НЕМОЖЛИВО Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

КАНОНІЧНА ФОРМА ПРЕДСТАВЛЕННЯ РІЗНИМ ВХІДНИМ ДАНИМ МОЖЕ ВІДПОВІДАТИ ОДНЕ І ТЕ САМЕ ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ, КАНОНІЧНА ФОРМА ПРЕДСТАВЛЕННЯ РІЗНИМ ВХІДНИМ ДАНИМ МОЖЕ ВІДПОВІДАТИ ОДНЕ І ТЕ САМЕ ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ, ЯКЕ НАЗИВАТЬ КАНОНІЧНОЮ ФОРМОЮ ПРЕДСТАВЛЕННЯ ОТРИМАННЯ КАНОНІЧНОЇ ФОРМИ – СКЛАДНА ЗАДАЧА СЕМАНТИЧНОГО АНАЛІЗУ ЯК ВСТАНОВИТИ ЩО “vegetarian dishes”, “vegetarian food”, “vegetarian fare” ЗВЕРТАЮТЬСЯ ДО ТІЄЇ САМОЇ РЕЧІ, serve = have, ДЕРЕВА РОЗБОРУ ВІДПОВІДАЮТЬ ОДНОМУ ПРЕДСТАВЛЕННЮ ЗНАЧЕННЯ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ОДЕРЖАННЯ КАНОНІЧНОЇ ФОРМИ ВИКОРИСТАННЯ ІНФОРМАЦІЇ ПРО ЗНАЧЕННЯ СЛІВ. СЛОВА “dishes”, “food”, “fare” МАЮТЬ СПІЛЬНЕ ОДЕРЖАННЯ КАНОНІЧНОЇ ФОРМИ ВИКОРИСТАННЯ ІНФОРМАЦІЇ ПРО ЗНАЧЕННЯ СЛІВ. СЛОВА “dishes”, “food”, “fare” МАЮТЬ СПІЛЬНЕ ЗНАЧЕННЯ. ВИКОРИСТАННЯ СИНТАКСИЧНОЇ ІНФОРМАЦІЇ. Maharani serves vegetarian dishes. Vegetarian dishes are served by Maharani. ВИКОРИСТОВУЮЧИ ЗНАННЯ ПРО ПАСИВНІ І АКТИВНІ КОНСТРУКЦІЇ “Maharani” І “vegetarian dishes” МАЮТЬ В ЦИХ РЕЧЕННЯ ОДНАКОВІ РОЛІ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ВИВІД І ВИКОРИСТАННЯ ЗМІННИХ Can vegetarians eat at Maharani? КАНОНІЧНА ФОРМА З ПОПЕРЕДНІХ ПРИКЛАДІВ ВИВІД І ВИКОРИСТАННЯ ЗМІННИХ Can vegetarians eat at Maharani? КАНОНІЧНА ФОРМА З ПОПЕРЕДНІХ ПРИКЛАДІВ НЕ ВІДПОВІДАЄ ЦЬОМУ ПИТАННЮ, НЕ ЗВАЖАЮЧИ ЩО ВІДПОВІДЬ В ОБОХ ВИПАДКАХ БУДЕ ОДНАКОВОЮ. ВІДПОВІДЬ БАЗУЄТЬСЯ НА ВСТАНОВЛЕННІ ЗВ’ЯЗКУ МІЖ ПОНЯТТЯМИ ”ЩО ЇДЯТЬ” І “ЩО ПОДАЮТЬ” СИСТЕМА ПОВИННА САМОСТІЙНО ВСТАНОВИТИ ВІДПОВІДНІСТЬ МІЖ ПРЕДСТАВЛЕННЯМ ВХІДНИХ ДАНИХ І ПРЕДСТАВЛЕННЯМ, ЯКЕ ВІДСУТНЄ, АЛЕ МОЖЕ БУТИ ВИВЕДЕНЕ З ПРЕДСТАВЛЕНЬ БАЗИ ЗНАНЬ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ВИКОРИСТАННЯ ЗМІННИХ I'd like to find a restaurant where I can get vegetarian food. ВИКОРИСТАННЯ ЗМІННИХ I'd like to find a restaurant where I can get vegetarian food. Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ВИРАЗНІСТЬ І ВСЕОХОПНІСТЬ ЧИ ДЛЯ ТЕКСТІВ З КОМП’ЮТЕРНОЇ ЛІНГВІСТИКИ І ДЛЯ ТЕКСТІВ З НОТНОЇ ВИРАЗНІСТЬ І ВСЕОХОПНІСТЬ ЧИ ДЛЯ ТЕКСТІВ З КОМП’ЮТЕРНОЇ ЛІНГВІСТИКИ І ДЛЯ ТЕКСТІВ З НОТНОЇ ГРАФІКИ МОЖНА ВИКОРИСТОВУВАТИ ОДНАКОВУ МОВУ ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ Исполнив произведение со всеми необходимими повторениями (репризами) до второго знака сеньо, нужно возвратиться к первому знаку сеньо, еще раз повторить все до первого фонаря и перейти на второй фонарь (coda). (Основи нотной графики. Дудкин Ф. А. 1985 р. с. 106) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ВИРАЗНІСТЬ І ВСЕОХОПНІСТЬ БУЛО Б ЧУДОВО МАТИ ОДНУ МОВУ ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ, ЗА ДОПОМОГОЮ ЯКОЇ ВИРАЗНІСТЬ І ВСЕОХОПНІСТЬ БУЛО Б ЧУДОВО МАТИ ОДНУ МОВУ ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ, ЗА ДОПОМОГОЮ ЯКОЇ Б БУЛО МОЖЛИВО АДЕКВАТНО ОПИСАТИ СМИСЛ БУДЬ – ЯКОГО ЗМІСТОВНОГО ВИСЛОВУ ПРИРОДНОЮ МОВОЮ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ЯКІ БУВАЮТЬ СЕМАНТИКИ? ФОРМАЛЬНА СЕМАНТИКА ◦ ПРИРОДНА МОВА – ФОРМАЛЬНА ЛОГІЧНА МОВА, МОЖЛИВО СКЛАДНІША ЯКІ БУВАЮТЬ СЕМАНТИКИ? ФОРМАЛЬНА СЕМАНТИКА ◦ ПРИРОДНА МОВА – ФОРМАЛЬНА ЛОГІЧНА МОВА, МОЖЛИВО СКЛАДНІША НІЖ “ЗВИЧАЙНА” ЛОГІЧНА МОВА. ПРИ ОПИСІ ПРИРОДНОЇ МОВИ ВИКОРИСТОВУЮТЬСЯ ПОНЯТТЯ ТА КОНСТРУКЦІЇ АНАЛОГІЧНІ ДО ОПИСУ ЛОГІЧНИХ МОВ. ЛЕКСИЧНА СЕМАНТИКА ◦ ВИВЧАЄ ЗНАЧЕННЯ СЛОВА. ОПИСАТИ ЗНАЧЕННЯ СЛОВА ЧЕРЕЗ ПРОСТІШІ ЗНАЧЕННЯ. КОГНІТИВНА СЕМАНТИКА ОБЧИСЛЮВАЛЬНА (КОМП’ЮТЕРНА СЕМАНТИКА) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ЯКІ БУВАЮТЬ СЕМАНТИКИ? КОГНІТИВНА СЕМАНТИКА ◦ МОВА ОПИСУЄ НЕ “ОБ’ЄКТИВНУ РЕАЛЬНІСТЬ” А “НАЇВНУ КАРТИНУ ЯКІ БУВАЮТЬ СЕМАНТИКИ? КОГНІТИВНА СЕМАНТИКА ◦ МОВА ОПИСУЄ НЕ “ОБ’ЄКТИВНУ РЕАЛЬНІСТЬ” А “НАЇВНУ КАРТИНУ СВІТУ”. РОЗГЛЯДАЄТЬСЯ ЛІНГВІСТИКА У ВЗАЄМОЗВ’ЯЗКУ З ІНШИМИ НАУКАМИ, ЯКІ ВИВЧАЮТЬ, ЯК ЛЮДИНА СПРИЙМАЄ СВІТ ОБЧИСЛЮВАЛЬНА (КОМП’ЮТЕРНА СЕМАНТИКА) ◦ РЕАЛІЗАЦІЯ СЕМАНТИЧНИХ МЕТОДІВ ДЛЯ ВИРІШЕННЯ ПРИКЛАДНИХ ЗАДАЧ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ФОРМАЛЬНА СЕМАНТИКА НА ОСНОВІ МОДЕЛЬНО – ТЕОРЕТИЧНОЇ СЕМАНТИКИ (Альфред Та рський, Член Львівсько - ФОРМАЛЬНА СЕМАНТИКА НА ОСНОВІ МОДЕЛЬНО – ТЕОРЕТИЧНОЇ СЕМАНТИКИ (Альфред Та рський, Член Львівсько - варшавської логікофілософської школи) ОПИСУЄТЬСЯ МОДЕЛЬ ПЕВНОГО “РЕАЛЬНОГО СВІТУ” МОДЕЛЬ ОПИСУЄ ОБ’ЄКТИ, ВЛАСТИВОСТІ ОБ’ЄКТІВ ТА ВЗАЄМОЗВ’ЯЗКИ МІЖ ОБ’ЄКТАМИ ОБ’ЄКТИ ВИЗНАЧАЮТЬ ДОМЕН (ОБЛАСТЬ, ГАЛУЗЬ), ЯКУ ОПИСУЄ МОДЕЛЬ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

МОДЕЛЬ “СВІТУ” Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018 МОДЕЛЬ “СВІТУ” Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

МОДЕЛЬ “СВІТУ” ОБ’ЄКТИ ВИЗНАЧАЮТЬ ЕЛЕМЕНТИ ДОМЕНА ВЛАСТИВОСТІ ВИЗНАЧАЮТЬ МНОЖИНИ ЕЛЕМЕНТІВ ДОМЕНА ВЗАЄМОЗВ’ЯЗКИ ВИЗНАЧАЮТЬ МНОЖИНИ МОДЕЛЬ “СВІТУ” ОБ’ЄКТИ ВИЗНАЧАЮТЬ ЕЛЕМЕНТИ ДОМЕНА ВЛАСТИВОСТІ ВИЗНАЧАЮТЬ МНОЖИНИ ЕЛЕМЕНТІВ ДОМЕНА ВЗАЄМОЗВ’ЯЗКИ ВИЗНАЧАЮТЬ МНОЖИНИ ПАР (КОРТЕЖІВ) ЕЛЕМЕНТІВ ДОМЕНА ЗА ДОПОМОГОЮ ІНТЕРПРЕТАЦІЙ (ФУНКЦІЙ ІНТЕРПРИТАЦІЇ) МОЖНА ВСТАНОВИТИ СМИСЛ ВИСЛОВЛЮВАННЯ ШЛЯХОМ ЙОГО ВІДОБРАЖЕННЯ НА ПОПЕРЕДНЬО ВИЗНАЧЕНІ МНОЖИНИ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ЛОГІКА ПЕРШОГО ПОРЯДКУ (ЛОГІКА ПРЕДИКАТІВ) – МОВА ПРЕДСТАВЛЕННЯ ЗНАНЬ, ЛОГІКА ПЕРШОГО ПОРЯДКУ (ЛОГІКА ПРЕДИКАТІВ) ЛОГІКА ПЕРШОГО ПОРЯДКУ (ЛОГІКА ПРЕДИКАТІВ) – МОВА ПРЕДСТАВЛЕННЯ ЗНАНЬ, ЛОГІКА ПЕРШОГО ПОРЯДКУ (ЛОГІКА ПРЕДИКАТІВ) – ВІДПОВІДАЄ ЗАЗНАЧЕНИМ ВИЩЕ ВИМОГАМ ЛОГІКА ПЕРШОГО ПОРЯДКУ (ЛОГІКА ПРЕДИКАТІВ) – МАЄ СВІЙ СИНТАКСИС І СЕМАНТИКУ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

КОНТЕКСТНО-ВІЛЬНА ГРАМАТИКА СИНТАКСИСУ ЛОГІКИ ПЕРШОГО ПОРЯДКУ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018 КОНТЕКСТНО-ВІЛЬНА ГРАМАТИКА СИНТАКСИСУ ЛОГІКИ ПЕРШОГО ПОРЯДКУ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ОСНОВНІ ПОНЯТТЯ ЛОГІКИ ПЕРШОГО ПОРЯДКУ ТЕРМ – ОПИСУЄ ОБ’ЄКТИ ТЕРМИ ВИЗНАЧАЮТЬСЯ СТАЛИМИ (КОНСТАНТАМИ), ОСНОВНІ ПОНЯТТЯ ЛОГІКИ ПЕРШОГО ПОРЯДКУ ТЕРМ – ОПИСУЄ ОБ’ЄКТИ ТЕРМИ ВИЗНАЧАЮТЬСЯ СТАЛИМИ (КОНСТАНТАМИ), ЗМІННИМИ ТА ФУНКЦІЯМИ СТАЛІ (КОНСТАНТИ) – ВІДПОВІДАЮТЬ ОБ’ЄКТАМ. ОДНА КОНСТАНТА ВІДПОВІДАЄ ОДНОМУ ОБ’ЄКТУ, АЛЕ ОБ’ЄКТ МОЖЕ МАТИ БАГАТО КОНСТАНТ, ЯКІ ЙОМУ ВІДПОВІДАЮТЬ ФУНКЦІЇ – СИНТАКСИЧНО ВІДПОВІДАЄ ПРЕДИКАТУ З ОДНИМ АРГУМЕНТОМ. ЗА ДОПОМОГОЮ ФУНКЦІЇ ЗРУЧНО ЗВЕРНУТИСЯ ДО ОБ’ЄКТУ БЕЗ ВИКОРИСТАННЯ КОНСТАНТ ◦ Location. Of(Frasca) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ОСНОВНІ ПОНЯТТЯ ЛОГІКИ ПЕРШОГО ПОРЯДКУ ЗМІННІ – ДОЗВОЛЯЮТЬ БУДУВАТИ ТВЕРДЖЕННЯ І ЗДІЙСНЮВАТИ ВИВІД ОСНОВНІ ПОНЯТТЯ ЛОГІКИ ПЕРШОГО ПОРЯДКУ ЗМІННІ – ДОЗВОЛЯЮТЬ БУДУВАТИ ТВЕРДЖЕННЯ І ЗДІЙСНЮВАТИ ВИВІД ПО ВІДНОШЕННЮ ДО АНОНІМНИХ ОБ’ЄКТІВ ДОЗВОЛЯЮТЬ БУДУВАТИ ТВЕРДЖЕННЯ ПРО НЕВІДОМИЙ ОБ’ЄКТ ДОЗВОЛЯЮТЬ БУДУВАТИ ТВЕРДЖЕННЯ ПРО ВСІ ОБ’ЄКТИ ПЕВНОГО “СВІТУ” ПРЕДИКАТ – СИМВОЛИ, ЯКІ ЗВЕРТАЮТЬСЯ ДО, АБО НАЗВА ЗВ’ЯЗКУ (ВІДНОШЕННЯ) МІЖ ФІКСОВАНОЮ КІЛЬКІСТЮ ОБ’ЄКТІВ В ПЕВНОМУ ДОМЕНІ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ПРИКЛАДИ Maharani serves vegetarian food Serves (Maharani, Vegetarian. Food) ФОРМУЛА В ТЕРМІНАХ FOL ПРЕДИКАТ ПРИКЛАДИ Maharani serves vegetarian food Serves (Maharani, Vegetarian. Food) ФОРМУЛА В ТЕРМІНАХ FOL ПРЕДИКАТ З ДВОМА АРГУМЕНТАМИ (ЗВ’ЯЗОК МІЖ ОБ’ЄКТАМИ , КОНСТАНТАМИ) Maharani is a restaurant Restaurant (Maharani) ПРЕДИКАТ З ОДНИМ АРГУМЕНТОМ (ВЛАСТИВІСТЬ ОБ’ЄКТА) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ПРИКЛАДИ ЗА ДОПОМОГОЮ ЛОГІЧНИХ СПОЛУЧНИКІВ МОЖНА БУДУВАТИ ПОШИРЕНІ ПРЕДСТАВЛЕННЯ I only have five dollars ПРИКЛАДИ ЗА ДОПОМОГОЮ ЛОГІЧНИХ СПОЛУЧНИКІВ МОЖНА БУДУВАТИ ПОШИРЕНІ ПРЕДСТАВЛЕННЯ I only have five dollars and I don't have a lot of time. Have(Speaker, Five. Dollars) ∧ −Have (Speaker, Lot. Of. Time) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ПОНЯТТЯ ЗМІННИХ ТА КВАНТОРІВ КВАНТОРИ: - ∀ всезагальності (- перевернута буква А, що є ПОНЯТТЯ ЗМІННИХ ТА КВАНТОРІВ КВАНТОРИ: - ∀ всезагальності (- перевернута буква А, що є першою буквою англійського слова ALL - "всі"); - ∃ існування ( - перевернута буква Е, перша буква англійського слова Exist "існування"). КВАНТОР ВКАЗУЄ, ЯКИМ ЧИНОМ ІНТЕРПРЕТУВАТИ ЗМІННУ В ПЕВНОМУ КОНТЕКСТІ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ПОНЯТТЯ ЗМІННИХ ТА КВАНТОРІВ A restaurant that serves Mexican food near ICSI. НЕВИЗНЧЕНИЙ ІМЕННИКОВИЙ ПОНЯТТЯ ЗМІННИХ ТА КВАНТОРІВ A restaurant that serves Mexican food near ICSI. НЕВИЗНЧЕНИЙ ІМЕННИКОВИЙ ВИРАЗ ∃x. Restaurant(x) ∧ Serves (x, Mexican. Food) ∧ Near((Location. Of(x), Location. Of(ICSI)) ВИРАЗ БУДЕ ПРАВДИВИМ , ЯКЩО ІСНУЄ ХОЧА Б ОДИН ТАКИЙ ОБ’ЄКТ, ЩО ЗАМІНА ЗМІННОЇ НА ЦЕЙ ОБ’ЄКТ ПРИВОДИТЬ ДО ПРАВДИВОГО РЕЧЕННЯ Restaurant (Ay. Caramba) ∧ Serves(Ay. Caramba, Mexican. Food) ∧ Near ((Location. Of (Ay. Caramba), Location. Of(ICSI)) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ПОНЯТТЯ ЗМІННИХ ТА КВАНТОРІВ All vegetarian restaurants serve vegetarian food. ∀x. Vegetarian. Restaurant(x) => ПОНЯТТЯ ЗМІННИХ ТА КВАНТОРІВ All vegetarian restaurants serve vegetarian food. ∀x. Vegetarian. Restaurant(x) => Serves(x, Vegetarian. Food) РЕЧЕННЯ БУДЕ ПРАВДИВЕ ЯКЩО ЗАМІНА ЗМІННОЇ НА БУДЬ-ЯКИЙ З ОБ’ЄКТІВ ПРИВОДИТЬ ДО ПРАВДИВОГО РЕЧЕННЯ Vegetarian. Restaurant(Maharani) => Serves(Maharani, Vegetarian. Food) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

СЕМАНТИКА ЛОГІКИ ПЕРШОГО ПОРЯДКУ Vegetarian. Restaurant(Maharani) => Serves(Maharani, Vegetarian. Food) Vegetarian. Restaurant(Ay. Caramba) => СЕМАНТИКА ЛОГІКИ ПЕРШОГО ПОРЯДКУ Vegetarian. Restaurant(Maharani) => Serves(Maharani, Vegetarian. Food) Vegetarian. Restaurant(Ay. Caramba) => Serves(Ay. Caramba, Vegetarian. Food) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ЛЯМБДА НОТАЦІЯ ВИКОРИСТОВУЄТЬСЯ ДЛЯ ЗДІЙСНЕННЯ ОПЕРАЦІЙ НАД ФОРМУЛАМИ ЛОГІКИ ПЕРШОГО ПОРЯДКУ λх. Ρ(х) ФОРМУЛА ЛЯМБДА НОТАЦІЯ ВИКОРИСТОВУЄТЬСЯ ДЛЯ ЗДІЙСНЕННЯ ОПЕРАЦІЙ НАД ФОРМУЛАМИ ЛОГІКИ ПЕРШОГО ПОРЯДКУ λх. Ρ(х) ФОРМУЛА ОТРИМУЄ ЗНАЧЕННЯ ПАРАМЕТРІВ І ПОВЕРТАЄ РЕЗУЛЬТАТ ОБЧИСЛЕНЬ, АЛЕ ЦЕ НЕ СПРИЧИНЯЄ ЗМІНИ У ВХІДНИХ ДАНИХ ВИКОРИСТОВУЮЧИ РЕДУКЦІЮ ОТРИМУЄМО λ х. Ρ(х)(Α) P(A) (λ x. x+1) 2 (2+1) 3 Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ЛЯМБДА НОТАЦІЯ λx. λy. Near(x, y) λx. λy. Νear (x, y) (Bacaro) λy. Near ЛЯМБДА НОТАЦІЯ λx. λy. Near(x, y) λx. λy. Νear (x, y) (Bacaro) λy. Near (Bacaro, y) λy. Νear(Bacaro, y) (Centro) Near (Bacaro, Centro) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ПРАВИЛО ВИВОДУ МОДУС ПОНЕНС Modus ponens (Латиною: метод що підтверджує) if-then ФОРМУЛА ПІД ЛІНІЄЮ ПРАВИЛО ВИВОДУ МОДУС ПОНЕНС Modus ponens (Латиною: метод що підтверджує) if-then ФОРМУЛА ПІД ЛІНІЄЮ МОЖЕ БУТИ ВИВЕДЕНА З ФОРМУЛ НАД ЛІНІЄЮ НА ОСНОВІ ВИВЕДЕННЯ ПЕВНОГО ВИДУ (якщо α виведено і α⟹β то β можна вивести ) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

Modus ponens ПРЯМИЙ ВИВІД – ВСІ ФАКТИ ПРИСУТНІ У БАЗА ЗНАНЬ ЯВНО АБО ВИВЕДЕНІ, Modus ponens ПРЯМИЙ ВИВІД – ВСІ ФАКТИ ПРИСУТНІ У БАЗА ЗНАНЬ ЯВНО АБО ВИВЕДЕНІ, ЯК ТІЛЬКИ ДОДАЄТЬСЯ НОВИЙ ФАКТ ВІДБУВАЄТЬСЯ ВИВЕДЕННЯ. ПЕРЕВАГА – ЗАВЖДИ В БАЗІ Є ВСІ ФАКТИ І ВІДПОВІДЬ НА ЗАПИТ РЕАЛІЗУЄТЬСЯ ПРОСТИМ ПОШУКОМ НЕДОЛІК - ЧИ ВСІ ЦІ ВИВЕДЕНІ ФАКТИ НЕОБХІДНІ? Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ЗВОРОТНІЙ ВИВІД ЗВОРОТНІЙ ВИВІД – ЦЕ ПЕРЕВІРКА ПРАВДИВОСТІ ЗАПИТУ ПЕРШИЙ КРОК – ЧИ ПРАВДИВИЙ ЗВОРОТНІЙ ВИВІД ЗВОРОТНІЙ ВИВІД – ЦЕ ПЕРЕВІРКА ПРАВДИВОСТІ ЗАПИТУ ПЕРШИЙ КРОК – ЧИ ПРАВДИВИЙ ЗАПИТ , ЧИ ПРИСУТНІ В БАЗІ ЗНАНЬ НЕОБХІДНІ ФАКТИ ЯКЩО НІ, ТО ЧИ Є МОЖНА ЗДІЙСНИТИ ВИВІД НА ОСНОВІ ПРИСУТНІХ В БАЗІ ФАКТІВ ПРЯМИЙ ТА ЗВОРОТНІЙ ВИВОДИ НЕ ЗАБЕЗПЕЧУЮТЬ ВСІХ ВИВЕДЕННЬ В ТАКИХ ВИПАДКАХ ВИКОРИСТОВУЄТЬСЯ правило резолюцій (відзначається великою обчислювальною складністю) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ОПИС СТАНІВ ТА ПОДІЙ В FOL ОДИН ПРЕДИКАТ ТА АРГУМЕНТИ (ОБ’ЄКТ, ЩО ПОДАЄ ТА ОПИС СТАНІВ ТА ПОДІЙ В FOL ОДИН ПРЕДИКАТ ТА АРГУМЕНТИ (ОБ’ЄКТ, ЩО ПОДАЄ ТА ТЕ ЩО ПОДАЮТЬ) Serves(Leaf, Vegetarian. Fare) ПРЕДИКАТ ОПИСУЄ ЗНАЧЕННЯ ДІЄСЛОВА І ЙОГО АРГУМЕНТИ (КІЛЬКІСТЬ АРГУМЕНТІВ) , ЯКІ ВИЗНАЧАЮТЬСЯ ФРЕЙМОМ СУБКАТЕГОРИЗАЦІЇ ДІЄСЛОВА (СИНТАКСИС) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ОПИС СТАНІВ ТА ПОДІЙ В FOL ПРОБЛЕМИ ◦ ЯК ВИЗНАЧИТИ ПРАВИЛЬНО КІЛЬКІСТЬ (СЕМАНТИЧНИХ РОЛЕЙ) ОПИС СТАНІВ ТА ПОДІЙ В FOL ПРОБЛЕМИ ◦ ЯК ВИЗНАЧИТИ ПРАВИЛЬНО КІЛЬКІСТЬ (СЕМАНТИЧНИХ РОЛЕЙ) АРГУМЕНТІВ ДЛЯ КОЖНОЇ ІЗ ЗАДАНИХ ПОДІЙ ◦ ЯК ПРЕДСТАВИТИ АРГУМЕНТИ (РОЛІ) ПОВ’ЯЗАНІ З ПОДІЄЮ ◦ ЯК ЗАБЕЗПЕЧИТИ ВИВІД ВСІХ ПРАВИЛЬНИХ ВИВОДІВ БЕЗПОСЕРЕДНЬО З ПРЕДСТАВЛЕННЯ ПОДІЇ ◦ ЯК ЗАБЕЗПЕЧИТИ НЕМОЖЛИВІСТЬ ВИВЕДЕННЯ НЕПРАВИЛЬНИХ ВИВОДІВ БЕЗПОСЕРЕДНЬО З ПРЕДСТАВЛЕННЯ ПОДІЇ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ОПИС СТАНІВ ТА ПОДІЙ В FOL СКІЛЬКИ АРГУМЕНТІВ МАЄ ПРЕДИКАТ – ВРАХОВАНО ВСІ ВИПАДКИ ОПИС СТАНІВ ТА ПОДІЙ В FOL СКІЛЬКИ АРГУМЕНТІВ МАЄ ПРЕДИКАТ – ВРАХОВАНО ВСІ ВИПАДКИ l ate. Eating 1 {Speaker) I ate a turkey sandwich. Eating 2 (Speaker, Turkey Sandwich) I ate a turkey sandwich at my desk. I ate at my desk. Eating 3 (Speaker, Turkey Sandwich, Desk) Eating 4 (Speaker, Desk) I ate lunch. Eating 5 (Speaker, Lunch) I ate a turkey sandwich for lunch. Eating 6 (Speaker, Turkey Sandwich, Lunch) Eating 7 (Speaker, Turkey Sandwich, Lunch, Desk) I ate a turkey sandwich for lunch at my desk. НЕДОЛІКИ: ДОРОЖНЕЧА, НЕ ВРАХОВУЮТЬСЯ ВЗАЄМОЗВ’ЯЗКИ МІЖ ПОДІЯМИ (ЯКЩО ОСТАННЄ РЕЧЕННЯ ПРАВДА ТО І ВСІ ІНШІ ТАКОЖ, ЯКЩО ПЕРЕДОСТАННЄ ПРАВДА ТО …. ) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ОПИС СТАНІВ ТА ПОДІЙ В FOL Eating 7 – ПРЕДИКАТ З АРГУМЕНТАМИ ∃ w, ОПИС СТАНІВ ТА ПОДІЙ В FOL Eating 7 – ПРЕДИКАТ З АРГУМЕНТАМИ ∃ w, x, y, z Eating ( w, x, y, z) ∃ w, x, y Eating (Speaker, w, x, y) ∃ w, x Eating (Speaker, Turkey Sandwich, w, x) ∃ w Eating (Speaker, Turkey Sandwich, w, Desk) ∃ w, x Eating (Speaker, w, x, Desk) ∃ w, x Eating (Speaker, w, Lunch, x) ∃ w Eating (Speaker, Turkey Sandwich, Lunch, w) Eating (Speaker, Turkey Sandwich, Lunch, Desk) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ОПИС СТАНІВ ТА ПОДІЙ В FOL ЧИ ЗАВЖДИ КОЛИ Є ПОДІЯ ПОЇДАННЯ ПРИСУТНЯ ЇЖА ОПИС СТАНІВ ТА ПОДІЙ В FOL ЧИ ЗАВЖДИ КОЛИ Є ПОДІЯ ПОЇДАННЯ ПРИСУТНЯ ЇЖА (ОБІД, ВЕЧЕРЯ, ПІКНІК…)? ∃ w, x Eating (Speaker, w, x, Desk) ∃ w, x Eating (Speaker, w, Lunch, x) Якщо ці твердження описують одну подію то чи не можна їх поєднати щоб отримати ∃ w, x Eating (Speaker, w, Lunch, Desk) На жаль це зробити неможливо бо невідомо чи йдеться про ту саму подію Eating Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ОПИС СТАНІВ ТА ПОДІЙ В FOL ЗМІННА ПОДІЇ ЯКЩО ВВЕСТИ ЗМІННУ ПОДІЇ, то значення ОПИС СТАНІВ ТА ПОДІЙ В FOL ЗМІННА ПОДІЇ ЯКЩО ВВЕСТИ ЗМІННУ ПОДІЇ, то значення останнього речення буде: ∃ e Eating(e, Speaker, Turkey Sandwich, Lunch, Desk) Якщо потрібно зробити додаткові твердження про цю подію то це легко зробити використовуючи цю змінну: ∃ e Eating(e, Speaker, Turkey Sandwich, Lunch, Desk) ∧ Time(e, Tuesday) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ОПИС СТАНІВ ТА ПОДІЙ В FOL ∃ e Eating(e) ∧ Εater (e, Speaker) ∧ ОПИС СТАНІВ ТА ПОДІЙ В FOL ∃ e Eating(e) ∧ Εater (e, Speaker) ∧ Eaten(e, Turkey. Sandwich) ∧ Meal(e, Lunch) ∧ Location(e, Desk) ∧ Time(e, Tuesday) ПРЕДСТАВЛЕННЯ ПОДІЇ ЗВОДИТЬСЯ ДО ОДНОГО АРГУМЕНТУ, ВСЕ ІНШЕ ПРЕДСТАВЛЯЄТЬСЯ ОКРЕМИМИ ПРЕДИКАТАМИ Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ПРЕДСТАВЛЕННЯ ЧАСУ В FOL ЧАС НЕВПИННО ЙДЕ І ПОДІЇ АСОЦІЮЮТЬСЯ З МОМЕНТАМИ ЧАСУ АБО ПРЕДСТАВЛЕННЯ ЧАСУ В FOL ЧАС НЕВПИННО ЙДЕ І ПОДІЇ АСОЦІЮЮТЬСЯ З МОМЕНТАМИ ЧАСУ АБО ПРОМІЖКАМИ ЧАСУ I arrived in New York. I am arriving in New York. I will arrive in New York. ∃ e. Arriving(e) ∧ Arriver(e, Speaker) ∧ Destination(e, New. York) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ПРЕДСТАВЛЕННЯ ЧАСУ В FOL ∃ e, i, n, t Arriving(e) ∧ Arriver(e, Speaker) ∧ ПРЕДСТАВЛЕННЯ ЧАСУ В FOL ∃ e, i, n, t Arriving(e) ∧ Arriver(e, Speaker) ∧ Destination(e, New. York)∧ Interval. Of (e, i) ∧ End. Point(i, e) ∧ Precedes(e, Now) ∃ e, i, n, t Arriving(e) ∧ Arriver(e, Speaker) ∧ Destination(e, New. York)∧ Interval. Of(e, i) ∧ Member. Of(i, Now) ∃ e, i, n, t Arriving(e) ∧ Arriver(e, Speaker) ∧ Destination(e, New. York)∧ Interval. Of(e, i) ∧ End. Point(e, n) ∧ Precedes(Now, e) Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ПРЕДСТАВЛЕННЯ ЧАСУ В FOL Ok, we fly from San Francisco to Boston at 10. ПРЕДСТАВЛЕННЯ ЧАСУ В FOL Ok, we fly from San Francisco to Boston at 10. Flight 1390 will be at the gate an hour now. МІЖ ЧАСАМИ ДІЄСЛІВ ТА МОМЕНТАМИ ЧАСУ ВІДСУТНЯ ПРЯМА ЗАЛЕЖНІСТЬ Flight 1902 arrived late. Flight 1902 had arrived late. Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

ПРЕДСТАВЛЕННЯ ЧАСУ В FOL REFERENCE POINT(опорна точка) When Mary's flight departed, I ate lunch. ПРЕДСТАВЛЕННЯ ЧАСУ В FOL REFERENCE POINT(опорна точка) When Mary's flight departed, I ate lunch. When Mary's flight departed, I had eaten lunch. DEPARTED – REFERENCE POINT Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018

НЕОБХІДНО ПРОЧИТАТИ Daniel Jurafsky, James H. Martin Speech and Language Processing: an Introduction to НЕОБХІДНО ПРОЧИТАТИ Daniel Jurafsky, James H. Martin Speech and Language Processing: an Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition - Second Edition Prentice Hall, 2008 -988. – Розділ, 17 ст. 545 - 582. Комп'ютерна лінгвістика (2010) Романюк А. Б. 2/7/2018