Концептуальні графи
ЛЕКЦІЯ 14
Графічні представлення знань служать для структуризації й узагальнення знань.
Концептуальний граф представляє логічну формулу. Імена й аргументи предикатів представлені в ньому двома типами вузлів. Дуги графа з'єднують імена предикатів з їх аргументами.
Концептуальний граф
Концептуальний граф представлення з бінарними предикатами
При графічному представленні бінарних предикатів кола іноді опускають, а імена предикатів пишуть безпосередньо над стрільцями. Кожен бінарний предикат представимо у виді найпростішого концептуального графа:
Стрілки спрямовані від першого аргументу бінарного предиката (Ім'я_предиката) до другого (Значення_j).
Концептуальні графи n-арных предикатів використовують наступні угоди. Останній, n-й аргумент вважається вихідним, тобто стрілка до цього аргументу виходить з окружності, що представляє предикат. Всі інші аргументи – вхідні, тобто стрлки від них входять в окружність.
Звичайно усе-таки використовують бінарні предикати. Ім'я бінарного предиката представляє деяку функцію. Відповідний йому вузол називається сполучним вузлом – він зв'язує два аргументи бінарного предиката. Ці аргументи бінарного предиката називаються концептами. Тому такі графи одержали назва концептуальних. Вузли, що відповідають імені предиката називається сполучними, а вузли, що відповідають аргументам, – вузлами-концептами.