42.Фреймы, их виды, структура. Сети фреймов. Примеры фреймов.

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

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

Фрейм (англ. frame – рамка, каркас) – структура данных для представления некоторого концептуального объекта. Информация, относящаяся к фрейму, содержится в составляющих его слотах.

Слот - может быть терминальным (листом иерархии) или представлять собой фрейм нижнего уровня.

В общем виде он выглядит след. образом

(имя фрейма:

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

……

Имя слота k (знач. cлота k))

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

Фамилия (знач. слота 1)

Год рожд. (зн.сл. 2)

Специальность (зн.сл. 3)

Стаж (зн.сл.4))

Фреймовое представл-ие данных позволяет отображать знания с помощью:

• Фрейм-структур(для обознач. объектов и понятий)

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

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

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

В качестве знач. слота могут выступать имя др. фрейма,что позволяет объединять фреймы в сеть.

Св-ва фреймов наследуются сверху вниз через АКО связи. Слот с именем АКО указывает на имя фрейма более высокого уровня иерархии.

В слоте могут храниться процедуры и правила:

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

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

Различают две сист. фрейма:

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

• Динамич. (это допустимо)

Спец. яз. представл. зн. в сетях фреймов (FRL-frame representation language) позволяют эффективно строить промышл-ые экспертные сист.

Фреймово ориентир-ые экспертные сист. Analyst, МОДИС

43.Формальные логические модели. Их примеры

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

M=<T, P, A, B>

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

Р – мн-во синтаксич.правил,с пом-ью кот. из мн-ва базовых эл-ов строятся т.н. синтакс-и правильн. совок-ти.(из слов предлож-ия,из деталей машина)

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

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

Логическая (предикатная)модель

– представл. знаний основано на алгебре высказываний и предикатов,на сист. аксиом этой алгебры и её правилах вывода

В логич.мод. знаний

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

• Слова,опис-щие отнош-ия сущн-тей предикаты

Предикат – логическая N-арная пропорцион-ая ф-ция, определенная для предм.обл-ти и приним-ая знач. истинности либо ложности.

Пропозиционной – наз-ся ф-ция,кот. ставит в соотв-ие объектам из обл-ти опр-ия одно из истинностных знач.(«истина» «ложь»)

Логич. Мод.

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

• Формализованы

• Строги теоретически

• Для их исп-ия имеется удобн. и адекватн. Инструментарий (яз.логич.программир-ия)

Достоинства Логич. Мод.

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

2)Существуют достаточно эффективные процедуры вывода,реализованные на языке логич-ого программир-ия Пролог

3)В базе знаний можно хранить лишь мн-во аксиом,а все остальные знания получать из них.