Формалізація семантичної мережі

Primary tabs

Формалізація семантичної мережі. Опис ієрархічних структур понять семантичною мережею (IS-A, PART-OF).

У процесівирішення проблеми подання було введено поняттярозбиття на блоки, що дозволило згрупувати вершини та дуги семантичної мережі вокремі структури, названі блоками.

Ці структури ототожнюються з важливими об'єктами у предметній галузі системи. Якщо системі потрібна інформація про один з цих об'єктів, товідкривається доступ до відповідного блоку і відшукуються відразу всі можуть виявитися корисними відомості про цей об'єкт. Для таких схем подання використовується термінструктуровані об'єкти, оскільки основний наголос робиться на структуру уявлення.

Найважливішим у блочній організації семантичних мереж є запровадження відносин =

  1. "множина - підмножина"
  2. і "ціле - частина".

Діти класифікуються на \

і т.п. (подальша конкретизація)

Такого виду класифікації формалізуються у семантичних мережах за допомогою відношення

(Від англійської is a - є деякий). Однією з найважливіших рис isa – ієрархії і те, що властивості " вищих " типів автоматично переносяться на " нижчі " , тобто. попередні по is a ієрархії. Наприклад, властивість мати "вагу" притаманна фізичним об'єктам, отже, вона притаманна одушевленим об'єктам, людині, чоловікові, жінці і т.д. Isa – ієрархія дозволяє уникнути значної частини дублювання інформації у мережі. Так, якщо деякий факт істинний для кожної підмножини деякої множини, то його можна зберігати тільки вструктурі знань для цієї множини.

Не менш важливим є також відношення "ціле - частина". Воно зветься part of (частина чого-небудь). Це ставлення дозволяє розбивати інформацію щодо рівня деталізації.Part of – структура може бути деревом, у якому кожна батьківська вершина є part of – структурою для її нащадків. Приклад:

формалізація