Концептуальні графи

ЛЕКЦІЯ 14

Графічні представлення знань служать для структуризації й узагальнення знань.

Концептуальний граф представляє логічну формулу. Імена й аргументи предикатів представлені в ньому двома типами вузлів. Дуги графа з'єднують імена предикатів з їх аргументами.

Концептуальний граф

Концептуальний граф представлення з бінарними предикатами

При графічному представленні бінарних предикатів кола іноді опускають, а імена предикатів пишуть безпосередньо над стрільцями. Кожен бінарний предикат представимо у виді найпростішого концептуального графа:

Стрілки спрямовані від першого аргументу бінарного предиката (Ім'я_предиката) до другого (Значення_j).

Концептуальні графи n-арных предикатів використовують наступні угоди. Останній, n-й аргумент вважається вихідним, тобто стрілка до цього аргументу виходить з окружності, що представляє предикат. Всі інші аргументи – вхідні, тобто стрлки від них входять в окружність.

Звичайно усе-таки використовують бінарні предикати. Ім'я бінарного предиката представляє деяку функцію. Відповідний йому вузол називається сполучним вузлом – він зв'язує два аргументи бінарного предиката. Ці аргументи бінарного предиката називаються концептами. Тому такі графи одержали назва концептуальних. Вузли, що відповідають імені предиката називається сполучними, а вузли, що відповідають аргументам, – вузлами-концептами.