93. Вивід та використання змінних.

• Can vegetarians eat at Maharani?

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

• ВІДПОВІДЬ БАЗУЄТЬСЯ НА ВСТАНОВЛЕННІ ЗВЯЗКУ МІЖ ПОНЯТТЯМИ ”ЩО ЇДЯТЬ” І “ЩО ПОДАЮТЬ”

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

94. Виразність а всеохопність представлення значення.

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

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

95. Поняття формальної семантики.

Які є Семантики?

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

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

• ЛЕКСИЧНА СЕМАНТИКА

  • ВИВЧАЄ ЗНАЧЕННЯ СЛОВА. ОПИСАТИ ЗНАЧЕННЯ СЛОВА ЧЕРЕЗ ПРОСТІШІ ЗНАЧЕННЯ.

• КОГНІТИВНА СЕМАНТИКА

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

• ОБЧИСЛЮВАЛЬНА (КОМП’ЮТЕРНА СЕМАНТИКА)

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

• РЕАЛІЗАЦІЯ СЕМАНТИЧНИХ МЕТОДІВ ДЛЯ ВИРІШЕННЯ ПРИКЛАДНИХ ЗАДАЧ

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

• МОДЕЛЬ ОПИСУЄ ОБ’ЄКТИ, ВЛАСТИВОСТІ ОБ’ЄКТІВ ТА ВЗАЄМОЗВ’ЯЗКИ МІЖ ОБ’ЄКТАМИ

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

96. Модель «світу » в формальній семантиці.

• ОБ’ЄКТИ ВИЗНАЧАЮТЬ ЕЛЕМЕНТИ ДОМЕНА

• ВЛАСТИВОСТІ ВИЗНАЧАЮТЬ МНОЖИНИ ЕЛЕМЕНТІВ ДОМЕНА

• ВЗАЄМОЗВ’ЯЗКИ ВИЗНАЧАЮТЬ МНОЖИНИ ПАР (КОРТЕЖІВ) ЕЛЕМЕНТІВ ДОМЕНА

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

• СЕМАНТИКА УМОВНОЇ ІСТИНИ

97. Загальна характеристика логіки першого порядку.

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

• МАЄ СВІЙ СИНТАКСИС І СЕМАНТИКУ

98. Основні поняття логіки першого порядку.

• ТЕРМ – ОПИСУЄ ОБ’ЄКТИ

• ТЕРМИ ВИЗНАЧАЮТЬСЯ ПОСТІЙНИМИ (КОНСТАНТАМИ), ЗМІННИМИ ТА ФУНКЦІЯМИ

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

• ФУНКЦІЇ – СИНТАКСИЧНО ВІДПОВІДАЄ ПРЕДИКАТУ З ОДНИМ АРГУМЕНТОМ. ЗА ДОПОМОГОЮ ФУНКЦІЇ ЗРУЧНО ЗВЕРНУТИСЯ ДО ОБ’ЄКТУ БЕЗ ВИКОРИСТАННЯ КОНСТАНТ

  • LocationOf(Frasca)

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

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

• ДОЗВОЛЯЮТЬ БУДУВАТИ ТВЕРДЖЕННЯ ПРО ВСІ ОБ’ЄКТИ ПЕВНОГО “СВІТУ”

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

99. Поняття змінних в ЛПП.

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

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

• ДОЗВОЛЯЮТЬ БУДУВАТИ ТВЕРДЖЕННЯ ПРО ВСІ ОБ’ЄКТИ ПЕВНОГО “СВІТУ”

100. Поняття кванторів в ЛПП.

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

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

• Maharani serves vegetarian food

• Serves (Maharani, VegetarianFood)

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

• Maharani is a restaurant

• Restaurant (Maharani)

101. Семантика ЛПП.

VegetarianRestaurant(Maharani) => Serves(Maharani,VegetarianFood)

102. Поняття лямбда-нотації.

• ВИКОРИСТОВУЄТЬСЯ ДЛЯ ЗДІЙСНЕННЯ ОПЕРАЦІЙ НАД ФОРМУЛАМИ ЛОГІКИ ПЕРШОГО ПОРЯДКУ

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

• λх.Ρ(х)

• ВИКОРИСТОВУЮЧИ РЕДУКЦІЮ ОТРИМУЄМО

• λ х.Ρ(х)(Α) (λ x.x+1) 2

• P(A) (2+1)

  • 3

  • λx. λy.Near(x,y)

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

  • λy.Near (Bacaro, y)

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

  • Near (Bacaro, Centro)

103. Правила виводу.

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

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

104. Прямий вивід.

• ПРЯМИЙ ВИВІД – ВСІ ФАКТИ ПРИСУТНІ У БАЗА ЗНАНЬ ЯВНО АБО ВИВЕДЕНІ,

• АЛЕ ЧИ ВСІ ЦІ ВИВЕДЕНІ ФАКТИ НЕОБХІДНІ

105. Зворотній вивід.

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

106. Опис станів та подій в ЛПП.

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