ся найбільш важливі компоненти досліджуваного об'єкта. На підставі базових фреймів будуються фрейми для нових станів досліджуваного об'єкта. При цьому кожен фрейм містить слот, оснащений покажчиком підструктури, який дозволяє різним фреймам спільно використовувати однакові частини.
) Процес зіставлення, в ході якого перевіряється правильність вибору фрейма. Спочатку відповідно до поточної метою робиться спроба підтвердження релевантності деякого базового фрейму (в т.ч. за допомогою подфреймов), при підтвердженні процес зіставлення завершується. В іншому випадку для слота, в якому виникла помилка, робиться спроба присвоювання належного значення з урахуванням накладених слотом обмежень. У разі неуспіху управління передається іншому належному фрейму з розглянутої системи, потім - відповідному фрейму з іншого фреймової системи і т.д., поки не відбудеться успішного зіставлення. В іншому випадку для даної фреймової системи розглянута пошукова завдання рішення не має і потрібно або переформулювати поточну мета, або переглянути змістовну частину фреймової моделі, включаючи накладаються слотами обмеження.
) Ієрархічна структура. Її особливість полягає в тому, що інформація про атрибути, яку містить фрейм верхнього рівня, спільно використовується всіма фреймами нижніх рівнів, пов'язаних з ним.
) міжфреймової мережі. Утворюються шляхом з'єднання фреймів, що описують об'єкти з невеликими відмінностями, з використанням покажчиків відмінності.
) Значення за замовчуванням. Під ним розуміється значення слота, отримане шляхом розподілу людиною-експертом конкретних значень між термінальними слотами фрейму. Висновки, одержувані на підставі значень за замовчуванням, називаються висновками за замовчуванням. З їх допомогою можна заповнити недоліки спочатку заданої інформації. Як правило, коли використовується подібний спосіб виведення, передбачається наявність ефективно діючих міжфреймової мереж і демонів (див. Нижче).
) Відносини абстрактне - конкретне і ціле - частина. Відносини абстрактне - конкретне (IS_A) характерні тим, що на верхніх рівнях ієрархії розташовані більш абстрактні об'єкти, а на нижніх рівнях - більш конкретні об'єкти, причому об'єкти нижніх рівнів успадковують атрибути об'єктів верхніх рівнів. Ставлення ціле - частина (PART_OF) стосується структурованих об'єктів і показує, що об'єкт нижнього рівня є частиною об'єкта верхнього рівня. Однак у відносинах цього типу не можна використовувати спадкування атрибутів.
§3. Специфіка подання знань у вигляді фреймів
Як вже зазначалося вище, уявлення знань у вигляді фреймів - це розташування даних у вигляді ієрархічної структури. Структура даних фрейму виглядає наступним чином [5, с. 37-38]:
) Ім'я фрейму - присвоюється фрейму ідентифікатор, для заданої фреймової системи ім'я фрейма повинна бути унікальною.
) Ім'я слота - присвоюється слоту ідентифікатор. Слот повинен мати унікальне ім'я у фреймі, до якого він належить. Як правило, ці імена даються довільно, але іноді вони можуть мати специфічний сенс («посаду», «вік», «адреса», «автор», «тема», «дата» і т.п.).
) Покажчики успадкування. З їх допомогою визначається, яку інформацію про атрибути слотів фрейма верхнього рівня успадковують слоти з такими ж іменами у фреймі нижнього рівня.
Типовими покажчиками спадкування є: U (Unique, «унікальний») - слот успадковується, але дані в кожному фреймі можуть приймати будь значення; S (Same, «такий же») - успадкування тих же значень даних; R (Range) - значення слотів фрейма нижнього рівня повинні знаходитися в межах, зазначених значеннями слотів фрейма верхнього рівня; O - виконує одночасно функції покажчиків U і S, при відсутності вказівок працює як S.
) Вказівка ??типу даних, які будуть розташовуватися в слоті, або ж ім'я іншого фрейму: FRAME (покажчик на інший фрейм), INTEGER (цілий), REAL (дійсний), BOOL (булевский), LISP ( приєднана процедура), TEXT (текст), LIST (список), TABLE (таблиця), EXPRESSION (вираз).
) Конкретне значення слота має збігатися з вказаним типом даних цього слоту. Крім того, повинна виконуватися умова успадкування.
) Приєднана процедура є програмою процедурного типу, яка є значенням слота і запускається за повідомленням, переданим з іншого фрейму.
) Демон - особливий різновид приєднаної процедури, яка запускається при виконанні деякої умови, що визначається значенням відповідного слоту. Наприклад, демон IF-NEEDED (ЯКЩО ПОТРІБНО) запускається, якщо в момент звернення до слоту його значення не було встановлено, IF-ADDED (якщо додано) запускається, коли в слот поміщається нова інформація, IF-REMOVED (якщо видалити) - при необхідності видалити з ...
