Page 47 - 6109

декілька вхідних і/або вихідних стрілок. Більшість предикатів,
використовуваних для представлення знань, володіють двома аргументами
(бінарні предикати). Тоді круги сполучені з прямокутниками двома стрілками:
що входить і виходить. Проілюструємо ці поняття на прикладі.
Побудуємо концептуальний граф предиката Посилка(„Павло”, „Марія”,
„Книжка”), що формалізує фразу «Павло надсилає книгу Марії» (рис.5.1, а). На
рис.5.1, б приведений концептуальний граф логічного представлення тієї ж
фрази бінарними предикатами, тобто граф, відповідний формулі
Відправник(„Посилка”, „Павло”)
Одержувач(„Посилка”, „Марія”) 
Об'єкт(„Посилка”, „Книжка”) 
Є(„Посилка”, посилки).
При графічному представленні бінарних предикатів круги іноді
опускають, а імена предикатів указують на стрілках. Загальне правило

перетворення m-арного предиката (m2) вигляду:
Предикатне_ім'я(значення_1, значение_2,...,.., значение_m) в добуток m
бінарних предикатів
Функція_j(предикатне_ім’я, значення_ j).

Від-
прав. Павло

От-
Павло рим.. Марія
По- Конспект Посилка
силка
Марія Об’єкт Конспект

Є Посилки

а) б)

Рисунок 5.1 – Концептуальний граф (а), концептуальний граф логічного
представлення бінарними предикатами

Пов'яжемо з кожним бінарним предикатом концептуальний граф, що
відповідає тріаді „об’єкт – атрибут – значення” (рис.5.2).

Об’єкт Атрибут Значення

Предикатне функція_ j значення_ j
ім’я

Рисунок 5.2 – Концептуальний граф бінарного предикату

Графічне представлення m-арних предикатів засноване на наступній
угоді. Стрілка, що відповідає m-му аргументу, направлена до прямокутника, що

47