ражати родовидові ієрархію понять в БЗ в явній формі. p> Фреймом називається структура для опису стереотипної ситуації, що складається з характеристик ситуації та їх значень, причому характеристики називаються слотами, а значення - заповнювачами слотів.
Одна з переваг системи, що використовує фрейми - елементи, які традиційно присутні в описі об'єкта чи події, групуються, і завдяки цьому, можуть вилучатись і оброблятимуться як єдине ціле.
Опишемо відомості про службовця компанії за допомогою фреймової структури.
Ім'я: КЕРІВНИК
ім `я: __________________
вік: ________________
адреса: __________________
відділ: __________________
зарплатня: ________________
дата початку: ______________
до: _____________________
Рис.3 - В«скелетнийВ» фрейм.
Проаналізуємо рис.3 - по-перше, фрейм має ім'я для ідентифікації описуваного ним поняття, по-друге, він складається з слотів (на рис.3 ліворуч) - тут всі слоти порожні. Заповнимо слоти - рис.4
Ім'я: КЕРІВНИК
ім'я: агрегат (прізвище, ім'я, по батькові)
вік: агрегат (роки)
адреса: АДРЕСА
відділ: діапазон (виробництво, адміністрація)
зарплата: ЗАРПЛАТА
дата початку: агрегат (місяць, рік)
до: агрегат (місяць, рік) (за замовчуванням: тепер)
Рис.4
Тут присутні різні типи заповнювачів слів:
Г? константи,
Г? імена інших фреймів системи, на які робиться посилання (АДРЕСА, ЗАРПЛАТА)
Г? позначення агрегат, діапазон - звані фасетами слота - використовуються для того, щоб у процесі обробки систем фреймів можна було накласти обмеження на тип об'єкту, використаний при заповнення слота.
Заповнимо фрейм "ЗАРПЛАТА", що відноситься до фрейму В«Рукова-никВ», що містить 4 слота, один з яких вимагає подвійного заповнення.
Ім'я: ЗАРПЛАТА
погодинна заробітна плата: агрегат (у.о. на годину)
код податку: агрегат: (код податку) (за замовчуванням: непередбачений)
податок на дату: агрегат (місяць, рік)
обчислити ((ОПЛАТА ПОДАТКУ) (код податку))
Рис.5
Тут демонструється можливості вставляння у фрейми звичайних програм - заповнення слоту В«податок на датуВ» (обчислити ((ОПЛАТА ПОДАТКУ) (Податок)). Щоб зв'язати всі фрейми системи воєдино, вони зазвичай організовуються в мережі. Коли скелетний фрейм заповнюється конкретною інформацією, той йому присвоюється унікальне ім'я.
Заповнимо фрейм, зображений на рис.3. - Його унікальне ім'я В«См-1В»:
Ім'я: см-1
ім'я: смит, джон
вік: 40
адреса: адр-1
відділ: виробничий
зарплата: зар-1
дата початку: квітень 20001
до: тепер
Рис.6
У розглянутому прикладі ім'я В«см-1В» використовується спільно з іменами загального вигляду фреймів В«зар-1В» і В«адр-1В», службовців для ідентифікації відомостей про зарплату та адресі суб'єктів В«сміт, джонВ».
Розрізняють статичні і динамічні системи фреймів. У системах першого типу фрейми не можуть бути змінені в процесі виконання завдання, у системах другого типу це припустимо.
Про системи програмування, заснованих на фреймах, кажуть, що вони є об'єктно-орієнтованими. Кожен фрейм відповідає деякому об'єкту предметної області, а слоти містять описують цей об'єкт дані, тобто у слотах знаходяться значення ознак об'єктів.
Недоліки фреймових систем:
В· висока складність, що позначається у зниженні швидкості роботи механізму введення-виведення і у збільшенні трудомісткості внесень змін до родовидові ієрархію;
В· велика вартість ЕС, де для подання знань використовуються фрейми. br/>
3.Правила продукцій
Це один з найпоширеніших форматів для представлення знань, заснований на продукційних правилах типу:
"ЯКЩО умова, ТО дія",
причому перша їх частина - антецедент (посилка правил) - складається з елементарних пропозицій, з'єднаних логічними зв'язками І, АБО, НЕ;
друга частина, називається консеквент (висновок) - це одне або декількох пропозицій, які утворюють видається правилом рішення або вказують на дію, яка підлягає виконанню. p> Антецедент являє собою зразок правила, призначеного для розпізнавання ситуації. Причому правило спрацьовує, якщо факти з пам'яті при зіставленні збіглися зі зразком, після чого правило вважається відпрацьованим.
В основі правил продукцій лежить простий принцип : вони визначають набір дозволених перетворень, за допомогою яких відбувається просування від початкового стану до остаточного вирішення поставленого завдання. Поточне (проміжне) стан відбивається за допомогою безлічі фактів, що фіксуються в БД. У результаті виконання завдання відбувається зіставлення однієї з частин правила з вмістом БД.
...