ісцях (анрі на другому місці)
При виконанні цих умов факт відповідає (отже, задовольняє) предикату. У нашому прикладі годиться факт начальник (Еміль, Анрі). p align="justify"> Мінлива Х приймає значення тієї константи, яка стоїть на відповідному місці в знайденому факт. Хоча пояснювати кілька довго, але це саме те, що підказує інтуїція. p align="justify"> Анонімні змінні
Змінні, які розглядалися вище, мали імена. Існують і анонімні змінні. Припустимо, що ми цікавимося наявністю в БД бібліо хоча б однієї книги Віктора Гюго. Питання
? - Книга (Гюго, Х, Y). викличе послідовність відповідей
-> Х = знедолені, Y = іздат (пош, 1984);
-> Х = Ернані, Y = іздат (Галлімар, 1974);
-> немає
Це не зовсім те, що треба: - передбачалося отримати В«такВ» чи В«ніВ». Однак, замінюючи Х і Y анонімними змінними (знак підкреслення), отримуємо те, що хотіли: на запитання
? - Книга (Гюго, _, _). відповідь буде
-> так
Для отримання списку авторів, книги яких є в наявності, ставимо наступне питання:
? - Книга (А, _, _). Це дає нам такий список
-> А = грем;
-> А = конділяк;
-> А = Дьєдоне;
-> А = Гюго;
-> А = Гюго;
-> А = Хартман;
-> немає
Анонімні змінні не відрізняються від звичайних при пошуку відповідностей, але не приймають значень і не з'являються у відповідях. Зазначимо, що різні входження знака підкреслення означають різні анонімні змінні. br/>
21. Семантичні мережі. Правила кон'юнкції та спрощення
Раніше вказувалося, що кожен концептуальний граф представляє одну логічну формулу. Семантична мережа набагато складніше. Вона представляє не тільки набір (з'єднання) формул, але також описує їх взаємозв'язку і занурення їх у контекст області міркувань. Семантичні мережі виходять з концептуальних графів за правилами з'єднання, які будуть введені допомогою прикладів. p align="justify"> Правила кон'юнкції і упр ощенилася
Розглянемо набір з трьох фраз:
Фраза 1: Жак пише книгу.
Фраза 2: Жак посилає цю книгу Марі.
Фраза 3: Марі читає цю книгу (яку Жак їй послав).
Кожну з цих фраз можна представити або формулою обчислення предикатів, або концептуальним графом. Перший етап побудови семантичної мережі заснований на використанні двох наступних формальних правил отримання концептуального графа g з двох графів g1 і g2. p align="justify"> Правило кон'юнкції. Якщо вузол-концепт з1 в g1 ідентичний вузлу-концепту с2 в g2, то g виходить видаленням с2 і з'єднанням з з1 всіх зв'язують вузлів, які були пов'язані з с2 в g2. p align="justify"> Правило спрощення. Якщо концептуальний граф g містить два ідентичних (з'єднаних з одними і тими ж вузлами-концептами) зв'язують вузла, то можна видалити один з них разом з пов'язаними з ним стрілками. p align="justify"> Застосуємо правило кон'юнкції до наведеного прикладу. "Книга, яку написав Жак, яку він послав Марі і яку Марі читала" представляється конкретизацією Кніга_22. Ця конкретизація книги з'являється в концептуальних графах, що представляють розглянуті вище фрази 1), 2), 3). Групування конкретизацій Кніга_22, Жак_2 і Марі_4 породжує концептуальний граф, зображений на наступному малюнку. На ньому рамками виділені графи фраз 1, 2, 3 та граф групи фраз. br/>В
22. Мова Prolog. Правила. Рекурсивні правила
Останнім і самим потужним видом виразів у Пролозі є правила узагальнюючі поняття факту. Наприклад, для побудови сімейного БД можна перерахувати батьківські стосунки за допомогою списку фактів: мати (кароліна, юлія). мати (кароліна, Альбертіна). Висловлювати фактами відносини онуків з дідами необхідності немає, бо вони можуть бути виведені з відносин передування В«Х є дідом Y, якщо існує суб'єкт Z, батько якого Х і який сам батько або мати YВ». На Пролозі це висловлювання записується у вигляді двох правил: дід (Х, Y):-батько (Х, Z), мати (Z, Y). дід (Х, Y):-батько (Х, Z), батько (Z, Y)., де символ В«: -" читається В«якщоВ» (В«за умови, щоВ»).
Взагалі правило виглядає так: Н:-Р1, Р2, ..., Рn, де Н, Р1, Р2, ..., Рn - прості предикати. Це вираз читається так: В«Н якщо (Р1 і Р2 ... і Рn)В». Предикат Н називається заголовком правила, а послідовність Р1, Р2, ..., Рn - тілом правила. p> Наведені щойно правила є аналогом пропозиції Н, я...
