Page 46 - 6109
P. 46
5 Мережеве представлення знань.
Семантичні мережі
Раніше розглянути було використання числення предикатів для
представлення знань. Числення предикатів можна комбінувати з такими
порівняно ефективними механізмами висновку, як резолюція. Таким чином,
логічні формалізми представлення знань охоплюють проблему міркувань
достатньо витончено.
Недолік логічного формалізму – його неструктурованість: наприклад, для
збору всієї інформації по одному об'єкту (конкретизації) приходиться
переглянути всю множину логічних формул якоїсь бази даних (БД). Графічні
уявлення, служать глобалізації і структуризації інформації. Граф збирає
навколо одного вузла всю інформацію по деякому об'єкту. Графічні уявлення,
такі, як концептуальні графи і семантичні мережі, дозволяють візуалізувати
модель світу, якому належить вирішувана проблема. Такий тип представлення
більше відображає об’єкти предметної області, чим правила, що відносяться до
самого цьому світу.
Концептуальний граф представляє логічну формулу. Імена і аргументи
предикатів представлені в ньому відповідно двома типами вузлів. Дуги графа
сполучають імена предикатів з їх аргументами. Ці графи близькі до моделей,
використовуваних фахівцями з БД. Одна з проблем при створенні БД – облік
структури області експертизи. Візьмемо, наприклад, структури, що існують в
надрах якогось підприємства. Різні відділи, секції, бюро і суб'єкти, їх що
заповнюють, утворюють ієрархічну структуру. Її можна представити набором
концептуальних графів.
Семантичні мережі представляють складніші структури. Така мережа
складається з безлічі концептуальних графів, що представляють логічні
формули. Вона дозволяє візуалізувати множину відносин між концептуальними
графами, її складовими. Нею описується також універсум, в який занурені
концептуальні графи (що є глобальною областю експертизи).
Концептуальні графи і семантичні мережі складають графічну версію
числення предикатів.
5.1 Концептуальні графи
Логіка предикатів – це мова, яку можна інтерпретувати в термінах області
міркувань (експертизи): логічні формули представляють фрази метамови.
Аргументи предикатів і логічних Функцій істотно використовуються для
представлення атрибутів, подій і станів. Імена предикатів указують спосіб
пов'язання цих понять. Зокрема, ці імена представляють правила з'єднання,
правила граматики і процедури.
Концептуальні графи містять прямокутники для представлення
аргументів і круги для імен предикатів. Круг з'єднується стрілкою з
прямокутником, якщо вони представляють відповідно ім'я і аргумент одного і
того ж предиката.
Предикати можуть мати декілька аргументів. Отже, круги можуть мати
46