1. Особливості подання знань за допомогою фреймів Подання знань за допомогою фреймів явл. альтернативним по отнош. до систем продукції та лог. моделями. Воно дає можливість зберігати родовідових ієрархію в явній формі.
Фрейм - складова структурна одиниця, призначена для опису відносяться до стеріотіпной ситуації на об'єкті
Осн. елемент одиниць фрейму явл. слот, кіт. ісп. для зберігання одиничного знання. Станд. стр-ра слота слід.:
{Ім'я слота; <f1> <S1> ;...< fm> <Sm>; <q1> <q2> ... <qn>.}
fi - ім'я атрибута, характерного для слота
Si - значення атрибута
qi - посилання на інші слоти або фрейми
Стр-ра слота слід-я:
ім'я файлу
ім'я слота1 значення слота1
ім'я слота n значення слота n
Якщо стр-ра знань дозволяє, то при описі потрібно исп-ть прості слоти, тобто слоти, кіт. мають одне значення. Значенням слота м.б. не Т. константа або посилання на ін фрейм, але і функція, кіт. вимагає певної деталізації в процесі вирішення. Т. функції отримали назву фасет.
Фрейми-прототипи - це готовий. стр-ри для опису законів опр. п / о. У них відсутні конкр. значення слотів. При заповненні слотів конкр. значеннями, вони перетворюються на конкретні фрейми. Часто в системах фрейми исп-ся для стереотипних послід-й дій і тоді вони зв. Сушар.
При заповненні фреймів-прототипів, частина слотів м. залишатися порожній фреймової стр-ри дають мож-ть описувати об'єкти різного рівня ієрархії, кіт. явл. ключовим поняттям.
Ієрархія об'єктів реалізується через апарат дослідження властивостей, коли класи об'єктів певного рівня успадковують будови класів фреймів більш високого рівня. Якщо об'єкт, кіт. описується деякою групою фреймів знаходиться в концептуальній зв'язку з верхнім і нижнім рівнями фреймів, то соотв. йому фрейми конструюються з учетомі ієрархічних відносин і при цьому успадкування властивостей осущ. через слоти або фрейми з однаковим ім'ям.
2. Апарат логічного висновку фреймової моделі
Логічний висновок у фреймовій системі осущ. шляхом обміну повідомленнями між фреймами різного рівня ієрархії, спочатку отримує управління кореневої фрейм, далі динам. формується необхідна для реалізації запитів ланцюжок фреймів слід. рівня ієрархії. Т.ч. у фреймовій системі кожному з фреймів задається суворо опр-е.
Основною операцією при роботі з фреймами явл. пошук за зразком. У рамках фреймової моделі зразок - це фрейм, в кіт. заповнені не всі сторінки од-ці, а т. ті, кіт. б. використані в якості ключа для реалізації дій в конкр. фреймах.
Використовуються спец. процедури наповнення слотів спец. значеннями, а т. введення в систему нових фреймів-прототипів і нових зв'язків між ними.
3. Приклади-додатки фреймової моделі
У наст. час фреймова модель явл. основою всіх об'єктно-орієнтованих систем прог-я. Як найбільш популярних додатків м. назвати мови FRL, KRL, FSM, Small Talk, а також доповнення до процедурних мов: C + +, Delphi і т.д.
FRL
Реалізований на базі мови LISP.
Кожен кадр предст. собою станд. стр-ру з мах ступенем вкладеності <= 5. Стр-ра фрейму слід-я:
(Ім'я фрейма
(Ім'я першого слота
(Ім'я першого осередку
(Перший коментар)
(Другий коментар) ...
(I-й коментар))
(Ім'я другого осередку
(...
))
(Ім'я другого слота
(...
))
Для вказівки місцеположення некіт. порції інформації у фреймі шлях
.