у БД бібліо і наступні вирази зі зв'язкою диз'юнкції, обозначаемой крапкою з комою: начальник (Х, анрі); бібліотекар (Х)
Воно є аналогом логічного формули
.
Для досягнення мети, яка містить диз'юнкцію, система спершу намагається задовольнити ліву частину розглянутої диз'юнкції, а якщо це не вдається, то переходить до пошуку задоволення для правої частини тієї ж диз'юнкції. Для нашого прикладу маємо:
? - Начальник (Х, анрі); бібліотекар (Х). p> -> Х = Еміль;
-> Х = Жозеф;
-> Х = Еміль;
-> немає.
У цьому простому прикладі диз'юнкція не включена ні в якій більш складний предикат і тому вся справа звелося до двох послідовним питань. Перший предикат задоволений двічі, другий - один раз (причому незалежно від першого). p> Заперечення
У Пролозі заперечення має ім'я not і для представлення заперечення будь-якого виразу Р використовується запис not (P). Мета not (P) досяжна тоді і тільки тоді, коли не задовольняється предикат (мета) Р. При цьому змінним значення не присвоюються. Справді, якщо досягається Р, то чи не досягається not (P); значить, треба стерти всі присвоювання, що призводять до цього результату, навпаки, якщо Р не досягається, то змінні не приймають ніяких значень. Розглянемо приклад, пов'язаний з БД бібліо:
? - Not (начальник (Еміль, арсен)). p> -> так
? - Not (начальник (Еміль, Х)). p> -> немає
Щоб обробити заперечення, Пролог розглядає можливість проведення докази як еквівалент значення Л. Отже not (P) вважається істинним тоді і тільки тоді, коли не задовольняється Р. Підхід цей найвищою мірою прагматичний, що не має еквівалента в логіці.
25. Мережеве уявлення знань. Тимчасові і модальні оператори
Використовувані в логіці знання дієслова (наприклад, В«вважатиВ» і В«знатиВ») відносяться до об'єктів, які можуть бути цілими фразами. Ці дієслова пронизують ієрархічну графічну структуру, в якій цілі графи можна інтерпретувати як вузли графів вищого порядку. p align="justify"> Фразу В«Жак посилає книгу МаріВ» зображують класичним концептуальним графом на відміну від фрази В«Поль вважає, що Жак посилає книгу МаріВ», відбитий (з позначкою (с)) у центральній частині графа на наступному малюнку. З цього малюнка видно, що Мисль_8 належить типу думка. Об'єкт Мисль_8 - концепт типу (точніше, з В«міткою типуВ») висловлювання. Посилання Мисль_8 - граф фрази В«Жак посилає книгу МаріВ». Який вважає це людина - Поль_6. p align="justify"> Будь-яку форму модальної логіки можна розглядати в дусі цього прикладу. У модальної логікою завжди можна відокремити Пропозіціональние частина фрази (виразність в логіці предикатів) від власне модальності. При зображенні концептуальних графів пропозіціональная частина поля посилання концепту позначена типом висловлювання. Такі модальності, як?,?, Вважає, знає суть концептуального відносини графа. На малюнку фраза В«Не може бути так, щоб Поль вважав, ніби Жак посилає книгу МаріВ» представлена ​​у вигляді концептуального графа. <В
26. Мова Prolog. Області дії імен
предикат логіка знання логічний
У Пролозі програміст вільний у виборі імен констант, змінних, функцій і предикатів. Виняток становлять резервовані імена і числові константи. Змінні не оголошуються, відрізняючись від констант першою літерою (рядкова або прописна). Різні позначення представляють різні об'єкти. Є досить очевидні винятки. Наприклад, 133.1 і 133.10 - одне і те ж число. p align="justify"> Область дії імені являє собою частину програми, де це ім'я має один і той же зміст (як у всіх мовах програмування). У Пролозі:
В· для змінної областю дії є вираз (факт, правило або питання), її містить,
В· для решти імен (констант, функцій або предикатів) - вся програма.
Багаторазово можна використовувати в одній програмі лише імена змінних. У наводиться нижче фрагменті з БД сім'я є: два входження імені кароліна - це одна і та ж константа, чотири входження імені (предикатного) мати - один і той же предикат (всюди двомісний). Але змінні першого і втирайте правил незалежні (це інтуїтивно ясно). p align="justify"> мати (кароліна, юлія).
мати (кароліна, Альбертіна).
дід (Х, Y):-батько (Х, Z), батько (Z, Y).
бабка (Х, Y):-мати (Х, Z), мати (Z, Y).
27. Канонічні графи. Правила побудови. Успадковані властивості
У концептуальному графі є вузли-концепти й вузли-зв'язку (зв'язують вузли). Кожна входить до зв'язуючий вузол стрілк...
