Page 57 - 6109

6 Об'єктне представлення знань.
Фреймові моделі

Відомо, що клас об'єктів може визначатися одним типовим об'єктом.
Об'єктне представлення можна одержати як з логічного, так і з мережевого. При
об'єктному представленні збирають з логічних формул, що містять одні і ті ж
конкретизації, крупніші структури, звані фреймами. Останні будуються
навколо конкретизації області міркування. Якщо потрібен доступ до інформації
по одному з цих об'єктів, то звертаються до відповідного фрейма і вже
усередині блоку знаходять властивості і факти щодо даного об'єкту.
Бінарна версія числення предикатів привела до графічних позначень
через семантичні мережі. Бінарний предикат можна представити трійкою
вигляду
( Об'єкт, атрибут_і, значення_і).
Зібравши всі трійки з даним об'єктом, одержимо об'єктне представлення
області міркувань щодо цього об'єкту. Загальна форма такого представлення
наступна:
Об'єкт (атрибут_і, значення_і) (і = 1,…, n).
Тобто замість побудови різних незалежних формул будуємо якусь
структуру з повною інформацією про об'єкт.

Ці об'єктні позначення прийняті в новому сімействі мов програмування,
особливо добре пристосованих до виразу знань в ШІ – об'єктно-орієнтованих
мовах.

6.1 Зчеплення

Припустимо, що ми хочемо представити фрази «Петро пише книгу,
посилає її Марії, яка її читає». У БД з цими фразами використовувалися
конкретизації Петро_2, Марія_4, Посилка_8 і Книга_22 для посилань в
об'єктній мові на імена концептів метамови, згадані в цих фразах. Якщо
розширити БД, то додадуться нові концепти і додаткова інформація про них.
Для використання знань корисно зібрати всі факти про даний концепт в
одну множину, що називається зчепленням (по-англійськи unit). У нашому
елементарному прикладі зчепленням Петро_2, Марія_4 і Книга_22
відповідатимуть логічні формули:
Петро_2
Пише (Петро_2, Книга_22)
Посилає (Петро_2, Марія_4, Книга_22)
Марія_4
Посилає (Петро_2, Марія_4, Книга_22)
Читає (Марія_4, Книга_22)
Книга_22
Пише (Петро_2, Книга_22)
Посилає (Петро_2, Марія_4, Книга_22)
Читає (Марія_4, Книга_22)

57