Разделы презентаций

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

Содержание

ЗА ДОПОМОГОЮ МОВИ МИ МОЖЕМО КОДУВАТИ АБО РОЗКОДОВУВАТИ:ОПИС СВІТУПРО ЩО МИ ДУМАЄМОЩО МИ ДУМАЄМО ПРО ТЕ ПРО ЩО ДУМАЮТЬ ІНШІ ЛЮДИХОЧА НАСПРАВДІ, ЧИ МОЖЕМО МИ ПІДІБРАТИ ПОСЛІДОВНІСТЬ СЛІВ, ЯКА:ВІДПОВІДАЄ СВІТУГОВОРИТЬ, ПРО

Слайды и текст этой презентации

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

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

Слайд 2ЗА ДОПОМОГОЮ МОВИ МИ МОЖЕМО КОДУВАТИ АБО РОЗКОДОВУВАТИ:
ОПИС СВІТУ
ПРО ЩО

МИ ДУМАЄМО
ЩО МИ ДУМАЄМО ПРО ТЕ ПРО ЩО ДУМАЮТЬ ІНШІ

ЛЮДИ
ХОЧА НАСПРАВДІ, ЧИ МОЖЕМО МИ ПІДІБРАТИ ПОСЛІДОВНІСТЬ СЛІВ, ЯКА:
ВІДПОВІДАЄ СВІТУ
ГОВОРИТЬ, ПРО ЩО ВИ ДУМАЄТЕ
ГОВОРИТЬ, ЩО ВИ ДУМАЄТЕ ПРО ТЕ ПРО ЩО ДУМАЮТЬ ІНШІ ЛЮДИ

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

ЗА ДОПОМОГОЮ МОВИ МИ МОЖЕМО КОДУВАТИ АБО РОЗКОДОВУВАТИ:ОПИС СВІТУПРО ЩО МИ ДУМАЄМОЩО МИ ДУМАЄМО ПРО ТЕ ПРО

Слайд 3РОЗМОВЛЯЮЧИ, МИ БУДУЄМО ПОСЛІДОВНОСТІ СЛІВ ТАКИМ ЧИНОМ, ЩОБ ІНШІ ЛЮДИ

ПОЧУВШИ АБО ПРОЧИТАВШИ ЇХ І ЇХ ЗРОЗУМІВШИ, ДІЗНАЛИСЯ, ЩО МИ

ДУМАЄМО ПРО СВІТ
МИ ПРЕДСТАВЛЯЄМО СВОЄ РОЗУМІННЯ, СВІЙ ОПИС СВІТУ

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

РОЗМОВЛЯЮЧИ, МИ БУДУЄМО ПОСЛІДОВНОСТІ СЛІВ ТАКИМ ЧИНОМ, ЩОБ ІНШІ ЛЮДИ ПОЧУВШИ АБО ПРОЧИТАВШИ ЇХ І ЇХ ЗРОЗУМІВШИ,

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

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

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

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

Слайд 6ЧИ ДОЗВОЛЯЮТЬ РЕЗУЛЬТАТИ АСА ВСТАНОВИТИ ПРО ЩО ЙДЕТЬСЯ У РЕЧЕННІ,

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

Романюк А.Б.
ЧИ ДОЗВОЛЯЮТЬ РЕЗУЛЬТАТИ АСА ВСТАНОВИТИ ПРО ЩО ЙДЕТЬСЯ У РЕЧЕННІ, - ЗДІЙСНИТИ АВТОМАТИЧНЕ РОЗУМІННЯ РЕЧЕННЯРЕЗУЛЬТАТИ АВТОМАТИЧНОГО СИНТАКСИЧНОГО

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

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

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

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

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

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

Слайд 10ЛОГІКА ПЕРШОГО ПОРЯДКУ (ЛОГІКА ПРЕДИКАТІВ)
СЕМАНТИЧНА МЕРЕЖА
ДІАГРАМА КОНЦЕПТУАЛЬНИХ ЗАЛЕЖНОСТЕЙ
ПРЕДСТАВЛЕННЯ НА ОСНОВІ

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

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

Слайд 11Комп'ютерна лінгвістика (2010) Романюк А.Б.

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

Слайд 12ЗАБЕЗПЕЧЕННЯ МОЖЛИВОСТІ ПЕРЕВІРКИ
ОДНОЗНАЧНІСТЬ ПРЕДСТАВЛЕННЯ
КАНОНІЧНА ФОРМА ПРЕДСТАВЛЕННЯ
ПІДТРИМКА ВИВОДУ І ВИКОРИСТАННЯ ЗМІННИХ
ВИРАЗНІСТЬ

І ВСЕОХОПНІСТЬ
ВИМОГИ ДО ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ (МОВИ ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ) З ТОЧКИ

ЗОРУ ЇХ РЕАЛІЗАЦІЇ В ОБЧИСЛЮВАЛЬНІЙ СИСТЕМІ

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

ЗАБЕЗПЕЧЕННЯ МОЖЛИВОСТІ ПЕРЕВІРКИОДНОЗНАЧНІСТЬ ПРЕДСТАВЛЕННЯКАНОНІЧНА ФОРМА ПРЕДСТАВЛЕННЯПІДТРИМКА ВИВОДУ І ВИКОРИСТАННЯ ЗМІННИХВИРАЗНІСТЬ І ВСЕОХОПНІСТЬВИМОГИ ДО ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ (МОВИ ПРЕДСТАВЛЕННЯ

Слайд 13Does Maharani serve vegetarian food?

ОСНОВНА ВИМОГА – ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ ПОВИННО

ЗАБЕЗПЕЧУВАТИ МОЖЛИВІСТЬ ВИЗНАЧЕННЯ ВЗАЄМОЗВ’ЯЗКІВ МІЖ СМИСЛОМ РЕЧЕННЯ ТА СВІТОМ (ТАКИМ

ЯК МИ ЙОГО УЯВЛЯЄМО)
ПОТРІБНО ЗАБЕЗПЕЧИТИ МОЖЛИВІСТЬ ПЕРЕВІРКИ ПРАВДИВОСТІ ПРЕДСТАВЛЕННЯ

ЗАБЕЗПЕЧЕННЯ МОЖЛИВОСТІ ПЕРЕВІРКИ

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

Does Maharani serve vegetarian food?ОСНОВНА ВИМОГА – ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ ПОВИННО ЗАБЕЗПЕЧУВАТИ МОЖЛИВІСТЬ ВИЗНАЧЕННЯ ВЗАЄМОЗВ’ЯЗКІВ МІЖ СМИСЛОМ РЕЧЕННЯ

Слайд 14СИСТЕМА ПОВИННА МАТИ МОЖЛИВІСТЬ ПОРІВНЮВАТИ СИТУАЦІЮ ОПИСАНУ ЗА ДОПОМОГОЮ ПРЕДСТАВЛЕННЯ

ІЗ СИТУАЦІЄЮ В ПЕВНОМУ СВІТІ, МОДЕЛЛЮ ЯКОГО Є БАЗА ЗНАНЬ.
ЗАБЕЗПЕЧЕННЯ

МОЖЛИВОСТІ ПЕРЕВІРКИ

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

СИСТЕМА ПОВИННА МАТИ МОЖЛИВІСТЬ ПОРІВНЮВАТИ СИТУАЦІЮ ОПИСАНУ ЗА ДОПОМОГОЮ ПРЕДСТАВЛЕННЯ ІЗ СИТУАЦІЄЮ В ПЕВНОМУ СВІТІ, МОДЕЛЛЮ ЯКОГО

Слайд 15I wanna eat someplace that's close to ICSI.

ЯКЕ З МОЖЛИВИХ

ПРЕДСТАВЛЕНЬ СИСТЕМА ВИБЕРЕ ДЛЯ ПОРІВНЯННЯ З ПРЕДСТАВЛЕННЯМИ В БАЗІ ЗНАНЬ
ОСТАТОЧНЕ

ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ ПОВИННО БУТИ ОДНОЗНАЧНИМ

ОДНОЗНАЧНІСТЬ ПРЕДСТАВЛЕННЯ

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

I wanna eat someplace that's close to ICSI.ЯКЕ З МОЖЛИВИХ ПРЕДСТАВЛЕНЬ СИСТЕМА ВИБЕРЕ ДЛЯ ПОРІВНЯННЯ З ПРЕДСТАВЛЕННЯМИ

Слайд 16I want to eat Italian food.

ОСОБА, ЯКА ЗНАЄ ЩО ТАКЕ

Italian food МОЖЕ ЩОСЬ ЗАПРОПОНУВАТИ
АЛЕ ЩО ВЛАСНЕ ХОЧЕ ЇСТИ МОВЕЦЬ

– НЕВИЗНАЧЕНО

ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ МОЖУТЬ МІСТИТИ ПЕВНІ НЕВИЗНАЧЕНОСТІ
МОВА ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ ПОВИННА ПІДТРИМУВАТИ РІЗНІ РІВНІ НЕВИЗНАЧЕНОСТЕЙ

НЕВИЗНАЧЕНІСТЬ

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

I want to eat Italian food.ОСОБА, ЯКА ЗНАЄ ЩО ТАКЕ Italian food МОЖЕ ЩОСЬ ЗАПРОПОНУВАТИАЛЕ ЩО ВЛАСНЕ

Слайд 17КАНОНІЧНА ФОРМА ПРЕДСТАВЛЕННЯ
Комп'ютерна лінгвістика (2010) Романюк А.Б.
Does Maharani have vegetarian

dishes?
Do they have vegetarian food at Maharani?
Are vegetarian dishes served

at Maharani?
Does Maharani serve vegetarian fare?

СЛОВА В РЕЧЕННЯХ РІЗНІ, РЕЗУЛЬТАТИ СА РІЗНІ – ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ ТАКОЖ РІЗНІ.
ЗБЕРІГАТИ В БАЗІ ЗНАНЬ ВСІ МОЖЛИВІ ПРЕДСТАВЛЕННЯ ОДНОГО І ТОГО САМОГО ФАКТУ НЕМОЖЛИВО


КАНОНІЧНА ФОРМА ПРЕДСТАВЛЕННЯКомп'ютерна лінгвістика (2010) Романюк А.Б.Does Maharani have vegetarian dishes?Do they have vegetarian food at Maharani?Are

Слайд 18РІЗНИМ ВХІДНИМ ДАНИМ МОЖЕ ВІДПОВІДАТИ ОДНЕ І ТЕ САМЕ ПРЕДСТАВЛЕННЯ

ЗНАЧЕННЯ, ЯКЕ НАЗИВАТЬ КАНОНІЧНОЮ ФОРМОЮ ПРЕДСТАВЛЕННЯ
ОТРИМАННЯ КАНОНІЧНОЇ ФОРМИ – СКЛАДНА

ЗАДАЧА СЕМАНТИЧНОГО АНАЛІЗУ
ЯК ВСТАНОВИТИ ЩО “vegetarian dishes”, “vegetarian food”, “vegetarian fare” ЗВЕРТАЮТЬСЯ ДО ТІЄЇ САМОЇ РЕЧІ, serve = have, ДЕРЕВА РОЗБОРУ ВІДПОВІДАЮТЬ ОДНОМУ ПРЕДСТАВЛЕННЮ ЗНАЧЕННЯ

КАНОНІЧНА ФОРМА ПРЕДСТАВЛЕННЯ

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

РІЗНИМ ВХІДНИМ ДАНИМ МОЖЕ ВІДПОВІДАТИ ОДНЕ І ТЕ САМЕ ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ, ЯКЕ НАЗИВАТЬ КАНОНІЧНОЮ ФОРМОЮ ПРЕДСТАВЛЕННЯОТРИМАННЯ КАНОНІЧНОЇ

Слайд 19ВИКОРИСТАННЯ ІНФОРМАЦІЇ ПРО ЗНАЧЕННЯ СЛІВ. СЛОВА “dishes”, “food”, “fare” МАЮТЬ

СПІЛЬНЕ ЗНАЧЕННЯ.

ВИКОРИСТАННЯ СИНТАКСИЧНОЇ ІНФОРМАЦІЇ.
Maharani serves vegetarian dishes.
Vegetarian dishes are served

by Maharani.
ВИКОРИСТОВУЮЧИ ЗНАННЯ ПРО ПАСИВНІ І АКТИВНІ КОНСТРУКЦІЇ “Maharani” І “vegetarian dishes” МАЮТЬ В ЦИХ РЕЧЕННЯ ОДНАКОВІ РОЛІ

ОДЕРЖАННЯ КАНОНІЧНОЇ ФОРМИ

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

ВИКОРИСТАННЯ ІНФОРМАЦІЇ ПРО ЗНАЧЕННЯ СЛІВ. СЛОВА “dishes”, “food”, “fare” МАЮТЬ СПІЛЬНЕ ЗНАЧЕННЯ.ВИКОРИСТАННЯ СИНТАКСИЧНОЇ ІНФОРМАЦІЇ.Maharani serves vegetarian dishes.Vegetarian

Слайд 20Can vegetarians eat at Maharani?
КАНОНІЧНА ФОРМА З ПОПЕРЕДНІХ ПРИКЛАДІВ НЕ

ВІДПОВІДАЄ ЦЬОМУ ПИТАННЮ, НЕ ЗВАЖАЮЧИ ЩО ВІДПОВІДЬ В ОБОХ ВИПАДКАХ

БУДЕ ОДНАКОВОЮ.
ВІДПОВІДЬ БАЗУЄТЬСЯ НА ВСТАНОВЛЕННІ ЗВ’ЯЗКУ МІЖ ПОНЯТТЯМИ ”ЩО ЇДЯТЬ” І “ЩО ПОДАЮТЬ”
СИСТЕМА ПОВИННА САМОСТІЙНО ВСТАНОВИТИ ВІДПОВІДНІСТЬ МІЖ ПРЕДСТАВЛЕННЯМ ВХІДНИХ ДАНИХ І ПРЕДСТАВЛЕННЯМ, ЯКЕ ВІДСУТНЄ, АЛЕ МОЖЕ БУТИ ВИВЕДЕНЕ З ПРЕДСТАВЛЕНЬ БАЗИ ЗНАНЬ

ВИВІД І ВИКОРИСТАННЯ ЗМІННИХ

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

Can vegetarians eat at Maharani?КАНОНІЧНА ФОРМА З ПОПЕРЕДНІХ ПРИКЛАДІВ НЕ ВІДПОВІДАЄ ЦЬОМУ ПИТАННЮ, НЕ ЗВАЖАЮЧИ ЩО ВІДПОВІДЬ

Слайд 21I'd like to find a restaurant where I can get

vegetarian food.

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

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

Слайд 22ЧИ ДЛЯ ТЕКСТІВ З КОМП’ЮТЕРНОЇ ЛІНГВІСТИКИ І ДЛЯ ТЕКСТІВ З

НОТНОЇ ГРАФІКИ МОЖНА ВИКОРИСТОВУВАТИ ОДНАКОВУ МОВУ ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ

Исполнив произведение со

всеми необходимими повторениями (репризами) до второго знака сеньо, нужно возвратиться к первому знаку сеньо, еще раз повторить все до первого фонаря и перейти на второй фонарь (coda).
(Основи нотной графики. Дудкин Ф.А. 1985р. с.106)

ВИРАЗНІСТЬ І ВСЕОХОПНІСТЬ

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

ЧИ ДЛЯ ТЕКСТІВ З КОМП’ЮТЕРНОЇ ЛІНГВІСТИКИ І ДЛЯ ТЕКСТІВ З НОТНОЇ ГРАФІКИ МОЖНА ВИКОРИСТОВУВАТИ ОДНАКОВУ МОВУ ПРЕДСТАВЛЕННЯ

Слайд 23БУЛО Б ЧУДОВО МАТИ ОДНУ МОВУ ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ, ЗА ДОПОМОГОЮ

ЯКОЇ Б БУЛО МОЖЛИВО АДЕКВАТНО ОПИСАТИ СМИСЛ БУДЬ – ЯКОГО

ЗМІСТОВНОГО ВИСЛОВУ ПРИРОДНОЮ МОВОЮ

ВИРАЗНІСТЬ І ВСЕОХОПНІСТЬ

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

БУЛО Б ЧУДОВО МАТИ ОДНУ МОВУ ПРЕДСТАВЛЕННЯ ЗНАЧЕННЯ, ЗА ДОПОМОГОЮ ЯКОЇ Б БУЛО МОЖЛИВО АДЕКВАТНО ОПИСАТИ СМИСЛ

Слайд 24ФОРМАЛЬНА СЕМАНТИКА
ПРИРОДНА МОВА – ФОРМАЛЬНА ЛОГІЧНА МОВА, МОЖЛИВО СКЛАДНІША НІЖ

“ЗВИЧАЙНА” ЛОГІЧНА МОВА. ПРИ ОПИСІ ПРИРОДНОЇ МОВИ ВИКОРИСТОВУЮТЬСЯ ПОНЯТТЯ ТА

КОНСТРУКЦІЇ АНАЛОГІЧНІ ДО ОПИСУ ЛОГІЧНИХ МОВ.
ЛЕКСИЧНА СЕМАНТИКА
ВИВЧАЄ ЗНАЧЕННЯ СЛОВА. ОПИСАТИ ЗНАЧЕННЯ СЛОВА ЧЕРЕЗ ПРОСТІШІ ЗНАЧЕННЯ.
КОГНІТИВНА СЕМАНТИКА
ОБЧИСЛЮВАЛЬНА (КОМП’ЮТЕРНА СЕМАНТИКА)

ЯКІ БУВАЮТЬ СЕМАНТИКИ?

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

ФОРМАЛЬНА СЕМАНТИКАПРИРОДНА МОВА – ФОРМАЛЬНА ЛОГІЧНА МОВА, МОЖЛИВО СКЛАДНІША НІЖ “ЗВИЧАЙНА” ЛОГІЧНА МОВА. ПРИ ОПИСІ ПРИРОДНОЇ МОВИ

Слайд 25КОГНІТИВНА СЕМАНТИКА
МОВА ОПИСУЄ НЕ “ОБ’ЄКТИВНУ РЕАЛЬНІСТЬ” А “НАЇВНУ КАРТИНУ СВІТУ”.

РОЗГЛЯДАЄТЬСЯ ЛІНГВІСТИКА У ВЗАЄМОЗВ’ЯЗКУ З ІНШИМИ НАУКАМИ, ЯКІ ВИВЧАЮТЬ, ЯК

ЛЮДИНА СПРИЙМАЄ СВІТ
ОБЧИСЛЮВАЛЬНА (КОМП’ЮТЕРНА СЕМАНТИКА)
РЕАЛІЗАЦІЯ СЕМАНТИЧНИХ МЕТОДІВ ДЛЯ ВИРІШЕННЯ ПРИКЛАДНИХ ЗАДАЧ

ЯКІ БУВАЮТЬ СЕМАНТИКИ?

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

КОГНІТИВНА СЕМАНТИКАМОВА ОПИСУЄ НЕ “ОБ’ЄКТИВНУ РЕАЛЬНІСТЬ” А “НАЇВНУ КАРТИНУ СВІТУ”. РОЗГЛЯДАЄТЬСЯ ЛІНГВІСТИКА У ВЗАЄМОЗВ’ЯЗКУ З ІНШИМИ НАУКАМИ,

Слайд 26НА ОСНОВІ МОДЕЛЬНО – ТЕОРЕТИЧНОЇ СЕМАНТИКИ (Альфред Та́рський, Член Львівсько -

варшавської логіко-філософської школи) ОПИСУЄТЬСЯ МОДЕЛЬ ПЕВНОГО “РЕАЛЬНОГО СВІТУ”
МОДЕЛЬ ОПИСУЄ ОБ’ЄКТИ,

ВЛАСТИВОСТІ ОБ’ЄКТІВ ТА ВЗАЄМОЗВ’ЯЗКИ МІЖ ОБ’ЄКТАМИ
ОБ’ЄКТИ ВИЗНАЧАЮТЬ ДОМЕН (ОБЛАСТЬ, ГАЛУЗЬ), ЯКУ ОПИСУЄ МОДЕЛЬ

ФОРМАЛЬНА СЕМАНТИКА

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

НА ОСНОВІ МОДЕЛЬНО – ТЕОРЕТИЧНОЇ СЕМАНТИКИ (Альфред Та́рський, Член Львівсько - варшавської логіко-філософської школи) ОПИСУЄТЬСЯ МОДЕЛЬ ПЕВНОГО “РЕАЛЬНОГО

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

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

Слайд 28ОБ’ЄКТИ ВИЗНАЧАЮТЬ ЕЛЕМЕНТИ ДОМЕНА
ВЛАСТИВОСТІ ВИЗНАЧАЮТЬ МНОЖИНИ ЕЛЕМЕНТІВ ДОМЕНА
ВЗАЄМОЗВ’ЯЗКИ ВИЗНАЧАЮТЬ МНОЖИНИ

ПАР (КОРТЕЖІВ) ЕЛЕМЕНТІВ ДОМЕНА

ЗА ДОПОМОГОЮ ІНТЕРПРЕТАЦІЙ (ФУНКЦІЙ ІНТЕРПРИТАЦІЇ) МОЖНА ВСТАНОВИТИ

СМИСЛ ВИСЛОВЛЮВАННЯ ШЛЯХОМ ЙОГО ВІДОБРАЖЕННЯ НА ПОПЕРЕДНЬО ВИЗНАЧЕНІ МНОЖИНИ

МОДЕЛЬ “СВІТУ”

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

ОБ’ЄКТИ ВИЗНАЧАЮТЬ ЕЛЕМЕНТИ ДОМЕНАВЛАСТИВОСТІ ВИЗНАЧАЮТЬ МНОЖИНИ ЕЛЕМЕНТІВ ДОМЕНАВЗАЄМОЗВ’ЯЗКИ ВИЗНАЧАЮТЬ МНОЖИНИ ПАР (КОРТЕЖІВ) ЕЛЕМЕНТІВ ДОМЕНАЗА ДОПОМОГОЮ ІНТЕРПРЕТАЦІЙ (ФУНКЦІЙ

Слайд 29ЛОГІКА ПЕРШОГО ПОРЯДКУ (ЛОГІКА ПРЕДИКАТІВ) – МОВА ПРЕДСТАВЛЕННЯ ЗНАНЬ,
ЛОГІКА

ПЕРШОГО ПОРЯДКУ (ЛОГІКА ПРЕДИКАТІВ) – ВІДПОВІДАЄ ЗАЗНАЧЕНИМ ВИЩЕ ВИМОГАМ
ЛОГІКА ПЕРШОГО

ПОРЯДКУ (ЛОГІКА ПРЕДИКАТІВ) – МАЄ СВІЙ СИНТАКСИС І СЕМАНТИКУ

ЛОГІКА ПЕРШОГО ПОРЯДКУ (ЛОГІКА ПРЕДИКАТІВ)

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

ЛОГІКА ПЕРШОГО ПОРЯДКУ (ЛОГІКА ПРЕДИКАТІВ) – МОВА ПРЕДСТАВЛЕННЯ ЗНАНЬ, ЛОГІКА ПЕРШОГО ПОРЯДКУ (ЛОГІКА ПРЕДИКАТІВ) – ВІДПОВІДАЄ ЗАЗНАЧЕНИМ

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

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

Слайд 31ТЕРМ – ОПИСУЄ ОБ’ЄКТИ
ТЕРМИ ВИЗНАЧАЮТЬСЯ СТАЛИМИ (КОНСТАНТАМИ), ЗМІННИМИ ТА ФУНКЦІЯМИ
СТАЛІ

(КОНСТАНТИ) – ВІДПОВІДАЮТЬ ОБ’ЄКТАМ. ОДНА КОНСТАНТА ВІДПОВІДАЄ ОДНОМУ ОБ’ЄКТУ, АЛЕ

ОБ’ЄКТ МОЖЕ МАТИ БАГАТО КОНСТАНТ, ЯКІ ЙОМУ ВІДПОВІДАЮТЬ
ФУНКЦІЇ – СИНТАКСИЧНО ВІДПОВІДАЄ ПРЕДИКАТУ З ОДНИМ АРГУМЕНТОМ. ЗА ДОПОМОГОЮ ФУНКЦІЇ ЗРУЧНО ЗВЕРНУТИСЯ ДО ОБ’ЄКТУ БЕЗ ВИКОРИСТАННЯ КОНСТАНТ
LocationOf(Frasca)

ОСНОВНІ ПОНЯТТЯ ЛОГІКИ ПЕРШОГО ПОРЯДКУ

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

ТЕРМ – ОПИСУЄ ОБ’ЄКТИТЕРМИ ВИЗНАЧАЮТЬСЯ СТАЛИМИ (КОНСТАНТАМИ), ЗМІННИМИ ТА ФУНКЦІЯМИСТАЛІ (КОНСТАНТИ) – ВІДПОВІДАЮТЬ ОБ’ЄКТАМ. ОДНА КОНСТАНТА ВІДПОВІДАЄ

Слайд 32ЗМІННІ – ДОЗВОЛЯЮТЬ БУДУВАТИ ТВЕРДЖЕННЯ І ЗДІЙСНЮВАТИ ВИВІД ПО ВІДНОШЕННЮ

ДО АНОНІМНИХ ОБ’ЄКТІВ
ДОЗВОЛЯЮТЬ БУДУВАТИ ТВЕРДЖЕННЯ ПРО НЕВІДОМИЙ ОБ’ЄКТ
ДОЗВОЛЯЮТЬ БУДУВАТИ ТВЕРДЖЕННЯ

ПРО ВСІ ОБ’ЄКТИ ПЕВНОГО “СВІТУ”

ПРЕДИКАТ – СИМВОЛИ, ЯКІ ЗВЕРТАЮТЬСЯ ДО, АБО НАЗВА ЗВ’ЯЗКУ (ВІДНОШЕННЯ) МІЖ ФІКСОВАНОЮ КІЛЬКІСЬТЮ ОБ’ЄКТІВ В ПЕВНОМУ ДОМЕНІ

ОСНОВНІ ПОНЯТТЯ ЛОГІКИ ПЕРШОГО ПОРЯДКУ

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

ЗМІННІ – ДОЗВОЛЯЮТЬ БУДУВАТИ ТВЕРДЖЕННЯ І ЗДІЙСНЮВАТИ ВИВІД ПО ВІДНОШЕННЮ ДО АНОНІМНИХ ОБ’ЄКТІВДОЗВОЛЯЮТЬ БУДУВАТИ ТВЕРДЖЕННЯ ПРО НЕВІДОМИЙ

Слайд 33Maharani serves vegetarian food
Serves (Maharani, VegetarianFood) - ФОРМУЛА В ТЕРМІНАХ

FOL
ПРЕДИКАТ З ДВОМА АРГУМЕНТАМИ (ЗВ’ЯЗОК МІЖ ОБ’ЄКТАМИ , КОНСТАНТАМИ)

Maharani is

a restaurant
Restaurant (Maharani)
ПРЕДИКАТ З ОДНИМ АРГУМЕНТОМ (ВЛАСТИВІСТЬ ОБ’ЄКТА)

ПРИКЛАДИ

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

Maharani serves vegetarian foodServes (Maharani, VegetarianFood) - ФОРМУЛА В ТЕРМІНАХ FOLПРЕДИКАТ З ДВОМА АРГУМЕНТАМИ (ЗВ’ЯЗОК МІЖ ОБ’ЄКТАМИ

Слайд 34ЗА ДОПОМОГОЮ ЛОГІЧНИХ СПОЛУЧНИКІВ МОЖНА БУДУВАТИ ПОШИРЕНІ ПРЕДСТАВЛЕННЯ

I only

have five dollars and I don't have a lot of

time.
Have(Speaker, FiveDollars) ∧ −Have (Speaker, LotOfTime) 

ПРИКЛАДИ

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

ЗА ДОПОМОГОЮ ЛОГІЧНИХ СПОЛУЧНИКІВ МОЖНА БУДУВАТИ ПОШИРЕНІ ПРЕДСТАВЛЕННЯ I only have five dollars and I don't have

Слайд 35КВАНТОРИ:  - ∀ всезагальності (- перевернута буква А, що є першою

буквою англійського слова ALL - "всі");  - ∃ існування ( - перевернута

буква Е, перша буква англійського слова Exist "існування").

КВАНТОР ВКАЗУЄ, ЯКИМ ЧИНОМ ІНТЕРПРЕТУВАТИ ЗМІННУ В ПЕВНОМУ КОНТЕКСТІ

ПОНЯТТЯ ЗМІННИХ ТА КВАНТОРІВ

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

КВАНТОРИ:  - ∀ всезагальності (- перевернута буква А, що є першою буквою англійського слова ALL -

Слайд 36A restaurant that serves Mexican food near ICSI.
НЕВИЗНЧЕНИЙ ІМЕННИКОВИЙ ВИРАЗ
∃xRestaurant(x)

∧ Serves (x, MexicanFood)
∧ Near((LocationOf(x),LocationOf(ICSI))
ВИРАЗ БУДЕ ПРАВДИВИМ , ЯКЩО ІСНУЄ

ХОЧА Б ОДИН ТАКИЙ ОБ’ЄКТ, ЩО ЗАМІНА ЗМІННОЇ НА ЦЕЙ ОБ’ЄКТ ПРИВОДИТЬ ДО ПРАВДИВОГО РЕЧЕННЯ
Restaurant (AyCaramba) ∧ Serves(AyCaramba, MexicanFood) ∧ Near ((LocationOf (AyCaramba), LocationOf(ICSI))


ПОНЯТТЯ ЗМІННИХ ТА КВАНТОРІВ

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

A restaurant that serves Mexican food near ICSI.НЕВИЗНЧЕНИЙ ІМЕННИКОВИЙ ВИРАЗ∃xRestaurant(x) ∧ Serves (x, MexicanFood)∧ Near((LocationOf(x),LocationOf(ICSI))ВИРАЗ БУДЕ ПРАВДИВИМ

Слайд 37All vegetarian restaurants serve vegetarian food.
∀xVegetarianRestaurant(x) => Serves(x,VegetarianFood)

РЕЧЕННЯ БУДЕ ПРАВДИВЕ

ЯКЩО ЗАМІНА ЗМІННОЇ НА БУДЬ-ЯКИЙ З ОБ’ЄКТІВ ПРИВОДИТЬ ДО ПРАВДИВОГО

РЕЧЕННЯ
VegetarianRestaurant(Maharani) => Serves(Maharani,VegetarianFood)

ПОНЯТТЯ ЗМІННИХ ТА КВАНТОРІВ

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

All vegetarian restaurants serve vegetarian food.∀xVegetarianRestaurant(x) => Serves(x,VegetarianFood)РЕЧЕННЯ БУДЕ ПРАВДИВЕ ЯКЩО ЗАМІНА ЗМІННОЇ НА БУДЬ-ЯКИЙ З ОБ’ЄКТІВ

Слайд 38СЕМАНТИКА ЛОГІКИ ПЕРШОГО ПОРЯДКУ
Комп'ютерна лінгвістика (2010) Романюк А.Б.
VegetarianRestaurant(Maharani) => Serves(Maharani,VegetarianFood)

VegetarianRestaurant(AyCaramba)

=> Serves(AyCaramba,VegetarianFood)



СЕМАНТИКА ЛОГІКИ ПЕРШОГО ПОРЯДКУКомп'ютерна лінгвістика (2010) Романюк А.Б. VegetarianRestaurant(Maharani) => Serves(Maharani,VegetarianFood) VegetarianRestaurant(AyCaramba) => Serves(AyCaramba,VegetarianFood)

Слайд 39ВИКОРИСТОВУЄТЬСЯ ДЛЯ ЗДІЙСНЕННЯ ОПЕРАЦІЙ НАД ФОРМУЛАМИ ЛОГІКИ ПЕРШОГО ПОРЯДКУ
λх.Ρ(х)
ФОРМУЛА ОТРИМУЄ

ЗНАЧЕННЯ ПАРАМЕТРІВ І ПОВЕРТАЄ РЕЗУЛЬТАТ ОБЧИСЛЕНЬ, АЛЕ ЦЕ НЕ СПРИЧИНЯЄ

ЗМІНИ У ВХІДНИХ ДАНИХ
ВИКОРИСТОВУЮЧИ РЕДУКЦІЮ ОТРИМУЄМО
λ х.Ρ(х)(Α) (λ x.x+1) 2
P(A) (2+1)
3

ЛЯМБДА НОТАЦІЯ

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

ВИКОРИСТОВУЄТЬСЯ ДЛЯ ЗДІЙСНЕННЯ ОПЕРАЦІЙ НАД ФОРМУЛАМИ ЛОГІКИ ПЕРШОГО ПОРЯДКУλх.Ρ(х)ФОРМУЛА ОТРИМУЄ ЗНАЧЕННЯ ПАРАМЕТРІВ І ПОВЕРТАЄ РЕЗУЛЬТАТ ОБЧИСЛЕНЬ, АЛЕ

Слайд 40λx. λy.Near(x,y)

λx. λy.Νear (x,y) (Bacaro)
λy.Near (Bacaro, y)

λy. Νear(Bacaro, y) (Centro)
Near

(Bacaro, Centro)
ЛЯМБДА НОТАЦІЯ
Комп'ютерна лінгвістика (2010) Романюк А.Б.

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

Слайд 41Modus ponens (Латиною: метод що підтверджує) if-then



ФОРМУЛА ПІД ЛІНІЄЮ МОЖЕ БУТИ ВИВЕДЕНА

З ФОРМУЛ НАД ЛІНІЄЮ НА ОСНОВІ ВИВЕДЕННЯ ПЕВНОГО ВИДУ

ПРАВИЛА ВИВОДУ
Комп'ютерна

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

Слайд 42Modus ponens
Комп'ютерна лінгвістика (2010) Романюк А.Б.
ПРЯМИЙ ВИВІД – ВСІ ФАКТИ

ПРИСУТНІ У БАЗА ЗНАНЬ ЯВНО АБО ВИВЕДЕНІ, ЯК ТІЛЬКИ ДОДАЄТЬСЯ

НОВИЙ ФАКТ ВІДБУВАЄТЬСЯ ВИВЕДЕННЯ.
ПЕРЕВАГА – ЗАВЖДИ В БАЗІ Є ВСІ ФАКТИ І ВІДПОВІДЬ НА ЗАПИТ РЕАЛІЗУЄТЬСЯ ПРОСТИМ ПОШУКОМ
НЕДОЛІК - ЧИ ВСІ ЦІ ВИВЕДЕНІ ФАКТИ НЕОБХІДНІ?

Modus ponensКомп'ютерна лінгвістика (2010) Романюк А.Б.ПРЯМИЙ ВИВІД – ВСІ ФАКТИ ПРИСУТНІ У БАЗА ЗНАНЬ ЯВНО АБО ВИВЕДЕНІ,

Слайд 43ЗВОРОТНІЙ ВИВІД – ЦЕ ПЕРЕВІРКА ПРАВДИВОСТІ ЗАПИТУ
ПЕРШИЙ КРОК – ЧИ

ПРАВДИВИЙ ЗАПИТ , ЧИ ПРИСУТНІ В БАЗІ ЗНАНЬ НЕОБХІДНІ ФАКТИ
ЯКЩО

НІ, ТО ЧИ Є МОЖНА ЗДІЙСНИТИ ВИВІД НА ОСНОВІ ПРИСУТНІХ В БАЗІ ФАКТІВ

ПРЯМИЙ ТА ЗВОРОТНІЙ ВИВОДИ НЕ ЗАБЕЗПЕЧУЮТЬ ВСІХ ВИВЕДЕННЬ
В ТАКИХ ВИПАДКАХ ВИКОРИСТОВУЄТЬСЯ правило резолюцій (відзначається великою обчислювальною складністю)

ЗВОРОТНІЙ ВИВІД

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

ЗВОРОТНІЙ ВИВІД – ЦЕ ПЕРЕВІРКА ПРАВДИВОСТІ ЗАПИТУПЕРШИЙ КРОК – ЧИ ПРАВДИВИЙ ЗАПИТ , ЧИ ПРИСУТНІ В БАЗІ

Слайд 44ОДИН ПРЕДИКАТ ТА АРГУМЕНТИ (ОБ’ЄКТ, ЩО ПОДАЄ ТА ТЕ ЩО

ПОДАЮТЬ)

Serves(Leaf, VegetarianFare)

ПРЕДИКАТ ОПИСУЄ ЗНАЧЕННЯ ДІЄСЛОВА І ЙОГО АРГУМЕНТИ (КІЛЬКІСТЬ АРГУМЕНТІВ)

ВИЗНАЧАЄТЬСЯ ФРЕЙМОМ СУБКАТЕГОРИЗАЦІЇ ДІЄСЛОВА (СИНТАКСИС)

ОПИС СТАНІВ ТА ПОДІЙ В FOL

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

ОДИН ПРЕДИКАТ ТА АРГУМЕНТИ (ОБ’ЄКТ, ЩО ПОДАЄ ТА ТЕ ЩО ПОДАЮТЬ)Serves(Leaf, VegetarianFare)ПРЕДИКАТ ОПИСУЄ ЗНАЧЕННЯ ДІЄСЛОВА І ЙОГО

Слайд 45ПРОБЛЕМИ
ЯК ВИЗНАЧИТИ ПРАВИЛЬНО КІЛЬКІСТЬ (СЕМАНТИЧНИХ РОЛЕЙ) АРГУМЕНТІВ ДЛЯ КОЖНОЇ ІЗ

ЗАДАНИХ ПОДІЙ
ЯК ПРЕДСТАВИТИ АРГУМЕНТИ (РОЛІ) ПОВ’ЯЗАНІ З ПОДІЄЮ
ЯК ЗАБЕЗПЕЧИТИ

ВИВІД ВСІХ ПРАВИЛЬНИХ ВИВОДІВ БЕЗПОСЕРЕДНЬО З ПРЕДСТАВЛЕННЯ ПОДІЇ
ЯК ЗАБЕЗПЕЧИТИ НЕМОЖЛИВІСТЬ ВИВЕДЕННЯ НЕПРАВИЛЬНИХ ВИВОДІВ БЕЗПОСЕРЕДНЬО З ПРЕДСТАВЛЕННЯ ПОДІЇ

ОПИС СТАНІВ ТА ПОДІЙ В FOL

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

ПРОБЛЕМИЯК ВИЗНАЧИТИ ПРАВИЛЬНО КІЛЬКІСТЬ (СЕМАНТИЧНИХ РОЛЕЙ) АРГУМЕНТІВ ДЛЯ КОЖНОЇ ІЗ ЗАДАНИХ ПОДІЙЯК ПРЕДСТАВИТИ АРГУМЕНТИ (РОЛІ) ПОВ’ЯЗАНІ З

Слайд 46ОПИС СТАНІВ ТА ПОДІЙ В FOL
Комп'ютерна лінгвістика (2010) Романюк

А.Б.

ОПИС СТАНІВ ТА ПОДІЙ В FOL Комп'ютерна лінгвістика (2010) Романюк А.Б.

Слайд 47Eating7 – ПРЕДИКАТ З АРГУМЕНТАМИ
∃ 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)
ЧИ ЗАВЖДИ КОЛИ Є ПОДІЯ ПОЇДАННЯ ПРИСУТНЯ ЇЖА (ОБІД, ВЕЧЕРЯ,ПІКНІК…)?

ОПИС СТАНІВ ТА ПОДІЙ В FOL

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

Eating7 – ПРЕДИКАТ З АРГУМЕНТАМИ∃ w, x, y, z Eating ( w, x, y, z)∃ w, x,

Слайд 48∃ w,x Eating (Speaker, w, x, Desk)
∃ w,x Eating

(Speaker, w, Lunch,x)
Якщо ці твердження описують одну подію то

чи не можна їх поєднати для одержання
∃ w,x Eating (Speaker, w, Lunch, Desk)

ЯКЩО ВВЕСТИ ЗМІННУ ПОДІЇ:
∃ e Eating(e, Speaker, Turkey Sandwich, Lunch, Desk)
∃ e Eating(e, Speaker, Turkey Sandwich, Lunch, Desk) ∧ Time(e, Tuesday)


ОПИС СТАНІВ ТА ПОДІЙ В FOL ЗМІННА ПОДІЇ

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

∃ w,x Eating (Speaker, w, x, Desk) ∃ w,x Eating (Speaker, w, Lunch,x) Якщо ці твердження описують

Слайд 49∃ e Eating(e)
∧ Εater (e, Speaker)
∧ Eaten(e, TurkeySandwich)


∧ Meal(e,Lunch)
∧ Location(e,Desk)
∧ Time(e, Tuesday)
ОПИС СТАНІВ ТА ПОДІЙ

В FOL

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

∃ e Eating(e) ∧ Εater (e, Speaker) ∧ Eaten(e, TurkeySandwich) ∧ Meal(e,Lunch) ∧ Location(e,Desk) ∧ Time(e, Tuesday)ОПИС

Слайд 50ЧАС НЕВПИННО ЙДЕ І ПОДІЇ АСОЦІЮЮТЬСЯ З МОМЕНТАМИ ЧАСУ АБО

ПРОМІЖКАМИ ЧАСУ

I arrived in New York.
I am arriving in New

York.
I will arrive in New York.

∃ eArriving(e) ∧ Arriver(e, Speaker)
∧ Destination(e,NewYork)

ПРЕДСТАВЛЕННЯ ЧАСУ В FOL

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

ЧАС НЕВПИННО ЙДЕ І ПОДІЇ АСОЦІЮЮТЬСЯ З МОМЕНТАМИ ЧАСУ АБО ПРОМІЖКАМИ ЧАСУI arrived in New York.I am

Слайд 51∃ e,i,n,t Arriving(e) ∧ Arriver(e, Speaker) ∧ Destination(e,NewYork)∧ IntervalOf (e,

i) ∧ EndPoint(i, e) ∧ Precedes(e,Now)

∃ e, i,n,t Arriving(e) ∧

Arriver(e, Speaker) ∧ Destination(e,NewYork)∧ IntervalOf(e, i) ∧ MemberOf(i,Now)

∃ e, i, n, t Arriving(e) ∧ Arriver(e, Speaker) ∧ Destination(e,NewYork)∧ IntervalOf(e, i) ∧ EndPoint(e, n) ∧ Precedes(Now, e)

ПРЕДСТАВЛЕННЯ ЧАСУ В FOL

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

∃ e,i,n,t Arriving(e) ∧ Arriver(e, Speaker) ∧ Destination(e,NewYork)∧ IntervalOf (e, i) ∧ EndPoint(i, e) ∧ Precedes(e,Now)∃ e,

Слайд 52Ok, 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.

ПРЕДСТАВЛЕННЯ ЧАСУ В FOL

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

Ok, we fly from San Francisco to Boston at 10. Flight 1390 will be at the gate

Слайд 53When Mary's flight departed, I ate lunch.
When Mary's flight departed,

I had eaten lunch.
DEPARTED – REFERENCE POINT
ПРЕДСТАВЛЕННЯ ЧАСУ В FOL REFERENCE

POINT

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

When Mary's flight departed, I ate lunch.When Mary's flight departed, I had eaten lunch.DEPARTED – REFERENCE POINTПРЕДСТАВЛЕННЯ

Слайд 54Daniel 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) Романюк А.Б.

Daniel Jurafsky, James H. Martin Speech and Language Processing: an Introduction to Natural Language Processing, Computational Linguistics,

Похожие презентации

Область: Социум Раздел: Ознакомление с окружающим миром Тема: Мебель Цель: Область: Социум Раздел: Ознакомление с окружающим миром Тема: Мебель Цель: 226
Основные понятия управления качеством Основные понятия управления качеством 207
Древний Восток Древний Восток 393
Министерство образования и науки Российской Федерации ФГБОУ ВО Политехнический Министерство образования и науки Российской Федерации ФГБОУ ВО Политехнический 187
Учимся рисовать Поезд Победы Учимся рисовать Поезд Победы 278
ГУ ГУ "CШ №35"Алматинской области,Илийского района,с.Жана-Арна 464
Санкт-Петербургское государственное бюджетное профессиональное образовательное Санкт-Петербургское государственное бюджетное профессиональное образовательное 183
Музеи Белгорода - The Museums of Belgorod Музеи Белгорода - The Museums of Belgorod 339
От Средневековья к Новому времени От Средневековья к Новому времени 157
Улыбайтесь! Улыбайтесь! 210
Штандортные теории (теории размещения производства) Штандортные теории (теории размещения производства) 305
Распределение Максвелла Распределение Максвелла 514
География центров народных художественных промыслов России География центров народных художественных промыслов России 248
Ландшафтоведение доцент Д.Н. Козлов СЕМИНАР №1 7 февраля 2013 весенний семестр Ландшафтоведение доцент Д.Н. Козлов СЕМИНАР №1 7 февраля 2013 весенний семестр 236
"Дикие и домашние животные" 194
Основные принципы лечения туберкулеза Основные принципы лечения туберкулеза 313
Parkinson 's disease : diagnosis and treatment Parkinson 's disease : diagnosis and treatment 166
13 занятие 13 занятие 234
Презентация Норм. док Презентация Норм. док 172
Сочетательное свойство умножения Сочетательное свойство умножения 448

Обратная связь

Если не удалось найти и скачать доклад-презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:

Email: Нажмите что бы посмотреть 

Что такое TheSlide.ru?

Это сайт презентации, докладов, проектов в PowerPoint. Здесь удобно  хранить и делиться своими презентациями с другими пользователями.

Для правообладателей

Яндекс.Метрика