Фреймовий моделі представлення знань

1. Особливості представлення знань за допомогою фреймів Представлення знань за допомогою фреймів явл. альтернативним по отнош. до систем продукції і лог. моделями. Воно дає можливість зберігати родовідовую ієрархію в явній формі.

Фрейм -- складова структурна одиниця, призначена для опису відносяться до стеріотіпной ситуації на об'єкті

Осн. елемент одиниць фрейма явл. слот, кот. ісп. для зберігання одиничного знання. Станд. стр-ра слота слід.:

(ім'я слота;  ; ... ; ....}

fi - ім'я атрибуту, характерного для слота

Si - значення атрибуту

qi - посилання на інші слоти або фрейми

Стор-ра слота слід-я:

назва файлу

ім'я слота1 значення слота1

ім'я слота n значення слота n

Якщо стр-ра знань дозволяє, то при описі потрібно исп-ть прості слоти, тобто слоти, кот. мають одне значення. Значним слота м.б. не т. константа або посилання на ін фрейм, але і функція, кот. вимагає певної деталізації в процесі вирішення. Т. функції отримали назву ФАСЕТ.

Фрейми-прототипи - Це готовий. стр-ри для опису законів опр. п/о. У них відсутні конкр. значення слотів. При заповненні слотів конкр. значеннями, вони перетворюються на конкретні фрейми. Часто в системах фрейми исп-ся для стереотипних послід-й дій і тоді вони з. сушаріямі.

При заповненні фреймів-прототипів, частина слотів м. залишатися порожній фреймової стр-ри дають віз-ть описувати об'єкти різного рівня ієрархії, кот. явл. ключовим поняттям.

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

2. Апарат логічного висновку фреймової моделі

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

Основний операцією при роботі з фреймами явл. пошук за зразком. У рамках фреймової моделі зразок - це фрейм, в кот. заповнені не всі стор од-ці, а т. ті, кот. б. використані в якості ключа для реалізації дій в конкр. фреймах.

Використовуються спец. процедури наповнення слотів спец. значеннями, а т. введення в систему нових фреймів-прототипів і нових зв'язків між ними.

3. Приклади-додатки фреймової моделі

У наст. час фреймова модель явл. основою всіх об'єктно-орієнтованих систем прог-а. У Як найбільш популярних програм м. назвати мови FRL, KRL, FSM, Small Talk, а також додатки до процедурних мов: C + +, Delphi і т.д.

FRL

Реалізовано на базі мови LISP.

Кожен фрейм предст. собою станд. стр-ру з мах ступенем вкладеності