="justify"> n , G>, span>
де I - безліч одиниць інформації, 1 , ...... C n - безліч типів зв'язку між інформаційними одиницями,
G - завдання зв'язку з даного набору.
Залежно від типу зв'язку семантичні мережі поділяють на:
классифицирующие,
функціональні,
сценарії.
У классифицирующие мережі вводять різні ієрархічні відносини між одиницями інформації. Такі відносини використовуються в біології. Функціональні мережі описують процедури виведення одних інформаційних одиниць через інші. У сценаріях використовують казуальні відносини, тобто типу засоби - результат, знаряддя - дія. p align="justify"> Продукційні моделі. Даний тип моделі є проміжним між логічними і мережевими моделями. З логічних моделей тут запозичена ідея правил виводу, яка називається продукцією, з мережевих - опис знань у вигляді семантичної мережі. Даний тип представлення знань є зараз найбільш широко використовуваним. При роботі продукційні моделі в результаті застосування правил виводу відбувається трансформація семантичної мережі за рахунок зміни фрагментів і виключення додавання елементів.
Фреймові моделі. Під фреймових моделях жорстко фіксується структура представлення інформації, звана протофрейма. Протофрейма - структурна одиниця інформації, з якої породжуються інші типи інформації. Він складається з:
Ім'я фрейму
Ім'я слота (значення слота)
.
.
.
Ім'я слота (значення слота). p align="center"> 3. Продукційних МОДЕЛІ
Продукційна модель, або модель, заснована на правилах, дозволяє представити знання у вигляді пропозицій типу: Якщо (умова), то (дія).
Під умовою розуміється деяке пропозиція-зразок, за яким здійснюється пошук у базі знань, а під дією - дії, виконуються при успішному результаті пошуку (вони можуть бути проміжними, виступаючими далі як умови, і термінальними або цільовими, завершальними роботу системи).
При використанні продукційної моделі база знанні складається з набору правил. Програма, що управляє перебором правил, називається машиною виводу. Найчастіше висновок буває прямий (від даних до пошуку мети) або зворотний (від цілі для її підтвердження - до даних). Дані - це вихідні факти,...