ідносини підкласу («собака») від відносин конкретного екземпляра («Тузик»). Графічного або символьного виділення таксономії (ієрархії) понять в семантичних графах не передбачено. У концептуальних графах всередині вершини, що позначає поняття, можна вказувати імена його типу та примірника (різновиди типу). Наприклад, «персона: Маша», «ссавець: собака» або «собака: Тузик».
При описі конкретних, але різних неназваних (анонімних) примірників, використовується маркер «#». Наприклад, «персона: # +1234» або «собака: # 4321».
Використання анонімних примірників дозволяє спростити опис і представлення предметної області (бази знань), як набору концептуальних графів. Зокрема, факт, що три собаки «Тузик», «Мухтар» і «Байкал» чорного кольору можна описати замість одного графа двома (малюнок 5).
Малюнок 5 - Приклад використання анонімних примірників
Замість звернення до примірника по імені можна використовувати маркер «*», що позначає будь-який екземпляр типу. Імена понять «собака» і «собака: *» є еквівалентними.
Додатково до узагальнюючого маркеру «*» допускається використання змінних для більш спрощеного та наочного відображення графів. Зокрема, для мінімізації пересічний і поворотів стрілок. Наприклад, факт «Собака чеше лапою вухо» представлений на малюнку 6.
Малюнок 6 - Приклад використання змінної
Як зазначено раніше, база знань являє собою набір концептуальних графів. Кожен окремий граф являє собою один факт (вислів, правило) з предметної області, описуваний через асоціативні відносини між поняттями. Для представлення другого базового механізму структурування знань - узагальнення понять - в теорії концептуальних графів використовуються ієрархії типів. Окрема ієрархія представляється у вигляді решітки, яка описує таксономічні відносини (відносини спадкування) між поняттями, включаючи множинне спадкування. Для представлення ієрархії типів у вигляді решітки в неї включається два спеціальні типи:
. універсальний тип (англ. universal type), що є супертіп для всіх типів. Позначається символом «?»;
. абсурдний тип (англ. absurd type), що є підтипом для всіх типів. Позначається символом «?».
На малюнку 7 наведено приклад ієрархії типів.
Малюнок 7 - Приклад ієрархії типів геометричної фігури
Ієрархії типів дозволяють описати статичну складову предметної області, а безпосередньо концептуальні графи як статичну, так і динамічну.
Теорія концептуальних графів передбачає чотири види операцій, що дозволяють створювати нові графи на основі існуючих. До них відносяться:
копіювання - створення точної копії будь - якого графа;
об'єднання двох графів в один, якщо вони мають семантично загальні вершини-поняття. Для графів, відображених на рис lt; https: //sites.google/site/anisimovkhv/learning/knowledge/lecture/tema5gt; унке 8, результат об'єднання виглядає наступним чином:
Малюнок 8 - Приклад об'єднання двох графів
обмеження - заміна вершини-поняття графа інший вершиною-поняттям, що представляють його спеціалізацію, або заміна імені типу на ім'я підтипу (примірника). Приклад застосування операції для графів, відображених на рис lt; https: //sites.google/site/anisimovkhv/learning/knowledge/lecture/tema5gt; унке 9:
Малюнок 9 - Приклад застосування операції «обмеження»
спрощення - виключення дублюючих понять або відносин. Дублювання часто виникає в результаті операції об'єднання. Приклад застосування операції для графа, відображеного на малюнку 10:
Малюнок 10 - Приклад застосування операції «спрощення»
На додаток до можливості визначення відносин між поняттями предметної області, вираженими в одному висловлюванні, за допомогою концептуальних графів можна виражати відносини між висловлюваннями. Наприклад, пропозиція: «Вася припускає, що Маша любить морозиво». Тут «припускає» є відношенням між суб'єктом «Вася» і висловлюванням «Маша любить морозиво». Всі пропозицію цілком є ??висловлюванням про висловлюванні (метависказиваніем).
У формалізмі концептуальних графів виділяється особливий клас понять - твердження (англ. proposition). Поняття «твердження» включає в себе один або кілька концептуальних графів, що і дозволяє визначати метависказиванія. Візуально «затвердження» виражається у вигляді прямокутника, усередині якого розташовуються інші концептуальні графи (малюнок 11).
Малюнок 11 - Приклад метависказиванія
Крім відображення висловлювань у вигляді графів, найбільш наочною і доступною для розуміння формі, вони можуть бути виражен...
