«ТЭИС» Великанова

Рассмотрим конструкции естественного языка, декомпозиция которых невозможна без утраты смысла, т. е. высказывания. Структура высказываний оказывается достаточной для выражения закономерностей, присутствующих в предметной области и ЭИС. Элементами высказываний служат атомарные факты. Способ представления атомарного факта состоит в указании объектов, их взаимо-действий и свойств, которые описывают событие, соответствующее атомарному факту, а также указании времени наступления этого события.
Атомарный факт представляется тремя компонентами (х,у,t), где х — множество объектов 01, 02, 0k; у — свойство или связь объектов; t — время.
Варианты соответствий между сущностя-ми и связями:
а) N-арные связи; б) рекурсивные связи; в) несколько связей для одной и той же пары
объектов.
Модель «Сущность-связь» для базы данных:
Пример семантической сети для отображения связи понятий:
Пример семантической сети для отображения связи событий:
База знаний содержит:
? сведения, которые отражают существующие в предметной области закономерности и позволя-ют выводить новые факты, справедливые в дан-ном состоянии предметной области, но отсутст-вующие в БД, а также прогнозировать потенци-ально возможные состояния предметной облас-ти;
? сведения о структуре ЭИС и БД (метаинфор-мация);
? сведения, обеспечивающие понимание входного языка, т. е. перевод входных запросов во внут-ренний язык.
Продукционная модель состоит из трех основных компонентов. Первый из них — это набор правил, представляющий собой в продукционной системе базу знаний. Вторым компонентом является рабочая память, в которой хранятся исходные факты и результаты выводов, получен-ных из этих фактов. Третьим компо-нентом служит механизм логического вы-вода, использующий правила в соответ-ствии с содержимым рабочей памяти и формирующий новые факты.
Фрейм представляет собой таблицу, струк-тура и принципы организации которой явля-ются развитием понятия отношения в реля-ционной модели данных. Новизна фреймов определяется двумя условиями:
? Имя атрибута может в ряде случаев занимать в фрейме позицию значения.
? Значением атрибута может служить имя другого фрейма или имя программно реализованной процедуры.
Структура фрейма, показана ниже. Слотом фрейма называется элемент данных, предназ-наченный для фиксации знаний об объекте, которому отведен данный фрейм.
Перечислим параметры слотов:
? Имя слота. Каждый слот должен иметь уникальное имя во фрейме, к которому он принадлежит. Имя слота в не-которых случаях может быть служебным.
? Указатель наследования. Он показывает, какую инфор-мацию об атрибутах слотов во фрейме верхнего уровня исследуют слоты с теми же именами во фрейме нижнего уровня. Приведём типичные указатели наследования:
? S (тот же). Слот наследуется, но данные в каждом фрейме могут принимать любые значения;
? I (независимый). Слот не наследуется.