(фактами) БД бібліо. br/>
19. Концептуальні графи. Приклад і термінологія
Концептуальні графи містять прямокутники для представлення аргументів і кола для імен предикатів. Коло з'єднується стрілкою з прямокутником, якщо вони представляють відповідно ім'я й аргумент одного і того ж предиката. p align="justify"> Предикати можуть мати кілька аргументів. Отже, кола можуть мати кілька вхідних та/або виходять стрілок. Більшість предикатів, використовуваних для представлення знань, володіє двома аргументами (бінарні предикати). Тоді круги з'єднані з прямокутниками двома стрілками: вхідної та вихідної. p align="justify"> Знову звернемося до прикладу. На малюнку зображений концептуальний граф предиката Посилка (Жак_2, Марі_4, Кніга_22), формалізує фразу В«Жак посилає книгу МаріВ». br/>В
На наступному малюнку наведено концептуальний граф логічного представлення тієї ж фрази бінарними предикатами, тобто граф, відповідною формулою
Відправник (Посилка_8, Жак_2)
Одержувач (Посилка_8, Марі_4)
Об'єкт (Посилка_8, Кніга_22)
Елем (Посилка_8, посилки).
В
При графічному поданні бінарних предикатів круги іноді опускають, а імена предикатів вказують на стрілках. Нагадаємо, що в одній з минулих лекцій було описано загальне правило перетворення m-арного предиката (m2) виду
Предікатное_імя (знченіе_1, знченіе_2, ..., значеніе_ m) у твір m бінарних предикатів
Функція_j (предікатное_імя, значеніе_j).
Зв'яжемо з кожним бінарним оператором концептуальний граф, як показано на наступному малюнку. <В
Стрілки предикатів спрямовані від першого аргументу предиката (предикатное ім'я) до імені предиката (Функція_j) і від імені предиката до другого аргументу (значеніе_j). У записі, званої по-англійськи slot-assertion, ім'я предиката відповідає "імені слота", а значення - "значенням слоту". Взагалі в концептуальних графах "значення слота" відповідає деякому концепту. p align="justify"> Графічне подання m-арних предикатів засноване на наступному угоді. Стрілка, відповідна m-арному аргументу, спрямована до прямокутника, репрезентує такий аргумент. Всі інші стрілки спрямовані від прямокутників до кола, який представляє ім'я предиката. Стрілки позначені від 1 до m, щоб явно показати відповідність між стрілкою і аргументом (перший малюнок нашого прикладу). p align="justify"> Взагалі ім'я бінарного предиката представляє якусь функцію. Вузол концептуального графа, який вказує це ім'я, називається зв'язуючою вузлом, бо він пов'язує два концепти, представлених двома аргументами бінарного предиката. Функція, представлена ​​цим зв'язує вузлом, носить з тієї ж причини назва концептуального відносини. Терміни "ім'я бінарного предиката" і "аргумент", що представляють відповідно функцію і концепт, часто замінюються на "зв'язуючий вузол" і "вузол-концепт" в графічному поданні. p align="justify"> 20. Мова Prolog. Змінні. Анонімні змінні
Використання змінних в Пролозі аналогічно, але не ідентично використанню їх в логіці. Запитання, що включають змінні носять перечіслітельний характер (на відміну від так-ні-питань): відповіді в цьому випадку являють собою списки термів. Наприклад, запитання В«Хто в підпорядкуванні у Анрі?В» Є питанням В«перечислительногоВ» (В«списковогоВ») типу. Відповідь БД бібліо міг би бути [Еміль, Жозеф]. p align="justify"> Прологовскім еквівалентом займенника В«хтоВ» є змінна:
? - Начальник (Х, анрі). p align="justify"> Відповідь тут хотілося б отримати за допомогою заміни Х на таку константу, для якої в БД знайдеться відповідний факт. Взявши константу Еміль отримуємо:
? - Начальник (Х, анрі). p align="justify"> -> Х = Еміль
Система відповіла одним значенням змінної, перетворивши питання в істинний предикат, але почему не Жозеф і не [Еміль, Жозеф]? Для пояснення довільності вибору вникнемо в алгоритм отримання відповіді. Факти і правила БД - це не безліч, а список. Зазвичай вони текстуально впорядковані. Для отримання відповіді система переглядає БД у відповідному порядку і обирає перше задовольняє предикату питання вираз. p align="justify"> Предикат питання являє собою мету. Тут це начальник (Х, анрі). p align="justify"> Мета досягнута, якщо в БД вдалося знайти факт або правило, який (яке) задовольняє цій предикату. Щоб задовольнити наведеним тільки що простому предикату, потрібно мати факт виду начальник (_, анрі), тобто факт, який містить:
В· таке ж ім'я предиката (начальник),
В· стільки ж аргументів (два),
В· ті ж константи на тих же м...
