она визначає, куди веде дуга «об'єкт володіння» (в вершині якої в мережі-запиті стоїть знак питання) за умови, що дуга «власник» спрямована до вершини «Кеша». Дуга «об'єкт володіння» спрямована до вершини «золота клітка». Значить, відповідь така: «Кеша володіє золотою кліткою».
Щоб зрозуміти, яким чином семантичні мережі можна використовувати в БЗ, розглянемо більш складну семантичну мережу (рис. 6):
Рис. 6. Семантична мережа, що відображає взаємини між атрибутами птиці та літака
На підставі такої семантичної мережі створюються старші структури ПТИЦЯ і ЛІТАК:
ІМ'Я СТРУКТУРИ=ПТИЦЯ
ЧИСЛО АТРИБУТІВ (тобто число дуг, що йдуть від вузла «птах» («має», «вміє», «використовує», «має», «має»)=5
АТРИБУТ=КРИЛА
АТРИБУТ=ЛІТАТИ
АТРИБУТ=АЕРОДИНАМІЧНІ ПРИНЦИПИ
АТРИБУТ=ДЗЬОБ
АТРИБУТ=оперенням
Аналогічно створюється старша структура ЛІТАК. На основі старших структур будуються структури конкретних об'єктів (наприклад, ОРЕЛ і ВОРОБЕЙ). Так, для об'єкта ОРЕЛ відповідна структура виглядає наступним чином:
ІМ'Я СТРУКТУРИ=ПТИЦЯ
ІМ'Я ОБ'ЄКТА=ОРЕЛ
КРИЛА=ШИРОКІ
ЛІТАТИ=ВИСОКО
АЕРОДИНАМІЧНІ ПРИНЦИПИ=ПЛАНУВАННЯ
ДЗЬОБ=ДОВГИЙ
оперенням=чорно-сіре
Зіставляючи старшу структуру і структуру конкретного об'єкта, можна відзначити, що в структурі об'єкта атрибути приймають конкретні, специфічні тільки для даного об'єкта значення.
Таке уявлення об'єктів дозволяє створювати БЗ з використанням логічних правил виводу. Наприклад:
ЯКЩО АТРИБУТ ОБ'ЄКТА=КРИЛА
ТО літаючий об'єкт=ПТИЦЯ
АБО літаючий об'єкт=ЛІТАК.
ЯКЩО АТРИБУТ ОБ'ЄКТА=КРИЛА
І АТРИБУТ ОБ'ЄКТА=ДЗЬОБ
І АТРИБУТ=оперенням
ТО літаючий об'єкт=ПТИЦЯ.
ЯКЩО літаючий об'єкт=ПТИЦЯ
І ДЗЬОБ=ДОВГИЙ
І КРИЛА=ШИРОКІ
І ЛІТАЄ ВИСОКО
ТО літаючий об'єкт=ОРЕЛ.
Говорячи про фреймової способі подання знань, необхідно позначити наступні його характеристики:
) В якості одиниці представлення знань використовується фрейм, що складається з певного числа слотів (від англ. slot - «щілину, відсік»).
) Ієрархічність структури одиниць представлення знань.
) Різниця ступеня абстракції одиниць знань.
) Можливість комбінації декларативних і процедурних знань.
Варто згадати, що теорія фреймів була вперше запропонована М. Мінським в 1974 р [12]. Під фреймом розуміється одного разу певна одиниця подання знань, яку можна змінювати лише в деталях згідно з поточною ситуацією. В основі даної моделі подання знань лежить властивість концептуальних об'єктів мати аналогії, які дозволяють будувати ієрархічні структури відносин типу абстрактне - конкретне.
Кожен фрейм слід розглядати як мережу з декількох вершин і відносин. На самому верхньому рівні фрейму представляється фіксована інформація про стан модельованого об'єкта, яка є істинною незалежно від контексту розгляду об'єкта і відповідає імені фрейму.
Наступний рівень - рівень термінальних слотів (терміналів), який відображає відноситься до модельованого об'єкту конкретну інформацію. У кожному слоті задається умова, яка повинна виконуватися при встановленні відповідності між значеннями (слот або сам встановлює відповідність, або зазвичай це робить більш дрібна складова фрейму). В одній системі різні фрейми можуть мати спільні термінали. Кілька терміналів одного фрейма зазвичай заздалегідь визначаються значеннями за замовчуванням, що дозволяє представляти інформацію загального характеру при вирішенні подібних завдань. Серед слотів окремого фрейма виділяють слоти, які визначаються системою і визначені користувачем. Прикладами системних слотів можуть служити: IS_A (вказівка ??на фрейм-батько), слот покажчиків дочірніх фреймів, слоти дат створення і зміни інформації фрейма.
Фрейми, що відповідають опису окремих об'єктів, називаються шаблонами, а фрейми верхнього рівня, використовувані для представлення цих шаблонів, називаються фреймами класів.
Фрейми характеризуються наступними основними властивостями:
) Базовий тип (базовий фрейм), за допомогою якого запам'ятовують...
