Ы, їхні види, структура

Фреймова модель (ФМ).

Фіксується жорстка структура інформаційних одиниць, яка називається протовреймом.

Фрейм(англ. frame - рамка, каркас) - структура даних для представлення деякого концептуального об'єкта. Інформація, що відноситься до кадру, міститься в його слотах.

Слот- може бути термінальним (аркушем ієрархії) або являти собою фрейм нижнього рівня.

Загалом він виглядає слідом. чином

Ім'я слота1 (знач. слота 1)

Ім'я слота k (знач. слота k))

Прим. (Список раб-ів:

Прізвище (знач. слота 1)

Рік народж. (Зн.Сл. 2)

Спеціальність (Зн.Сл. 3)

Фреймове представлення даних дозволяє відображати знання за допомогою:

Фрейм-структур (для познач. об'єктів та понять)

Фрейм-ролей (для познач. рольових обяз-ей)

Фрейм-сценаріїв (для познач. поведінки)

Фрейм-ситуації (для познач. режимів діяльності, станів)

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

Св-ва кадрів успадковуються зверху вниз через АКО зв'язку. Слот з ім'ям АКО свідчить про ім'я кадру вищого рівня ієрархії.

У слоті можуть зберігатися процедури та правила:

- процедури-демони - запуск-ся автоматично при вип-ні некот.усл-ия

- процедури-слуги – активізуються лише за спеціальним запитом

Розрізняють дві сист. фрейму :

Статич. (Не м.б. змінені в процесі розв. зад.)

Динаміч. (це допустимо)

Спец. яз. представл. зн. в мережах кадрів (FRL-frame representation language) дозволяють ефективно будувати промислові експертні системи.

Фреймово орієнтовані експертні сист. Analyst,Модіс

43. Формальні логічні моделі. Їхні приклади

В основі моделі такого типу лежить формальн.сист., що задається 4-ї виду:

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

Р- мн-во синтаксич.правил,з пом-ю кіт. зі мн-ва базових ел-ов будуються т.зв. синтакс-і правильно. совок-ти. (Зі слів пропозиції, з деталей машина)

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

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

- Представл. знань засноване на алгебрі висловлювань та предикатів, на сист. аксіом цієї алгебри та її правила виведення

У логіч.мод. знань

Слова,опис-щі сутн-ти предм.обл.-терми(конст-ти,перем-і, ф-ції)

Слова, що описують відносини сутн-тей предикати

Предикат -логічна N-арна пропорційна-а ф-ція, визначена для предм.обл-ти і приймаючи знач. істинності чи хибності.

Пропозиційної -наз-ся ф-ція,кіт. ставить у соотв-ие об'єктам з обл-ти опр-ия одне з істиннісних знач.(«Істина» «брехня»)

Зручні для предст-ия логіч.возм-тей між фактами

Їх ісп-ия є удобн. та адекватний. Інструментарій (яз.логіч.програмір-ія)

Переваги Логіч. Мод.

1) У кач-ві «фундаменту» ісп-ся класич. апарат мат. логіки

2) Існують досить ефективні процедури виведення, реалізовані мовою логічного програмування Пролог

3)У основі знань можна зберігати лише мн-во аксіом,арешта знань отримувати з них.

---