Расширение Дескриптивной Логики Текст научной статьи по специальности «Компьютерные и информационные науки»

Материалы Международной конференции

“Интеллектуальные САПР”

УДК 007:681.518.2

В.И. Городецкий, О.В. Карсаев, И.В. Котенко, А.В. Хабалов * МОДЕЛЬ МНОГОАГЕНТНОЙ СИСТЕМЫ ЗАЩИТЫ ИНФОРМАЦИИ

В докладе предлагается подход к построению систем защиты информации, как комплексных интеллектуальных многоагентных систем. Основное внимание уделяется предлагаемой модели многоагентной системы защиты информации (МАСЗИ).

Предполагается, что МАСЗИ размещается на хостах компьютерной сети и состоит из нескольких типов агентов, предназначенных для решения специализированных задач защиты. Выделяются агенты следующих типов: агенты обнаружения вторжения в систему; агенты разграничения доступа; агенты идентификации и аутентификации; агенты "преследования", идентификации и обезвреживания атакующего; агенты оценки повреждений и восстановления целостности данных; агенты криптографической и стеганографической защиты информации. Координация поведения агентов и кооперация при решении задач защиты информации осуществляется агентами специального типа, называемыми мета-агентами.

Взаимодействие агентов в МАСЗИ имеет целью обеспечение кооперации агентов для комплексной защиты информации и осуществляется с помощью обме-.

МАСЗИ и решения по построению распределенной базы знаний предусматривают, что каждый агент "знает", какие задачи он должен решать сам и к какому агенту он должен обратиться с целью получения такой информации, если это вне его компетенции. Сообщения одних агентов представляются в такой форме и в таких терми, , только о себе, но и о знаниях других агентов.

УДК 519.14

..

РАСШИРЕНИЕ ДЕСКРИПТИВНОЙ ЛОГИКИ

Для определённых классов предметных областей, не имеющих хорошо структурированной понятийной системы и формальных средств описания, наиболее адекватными языками являются языки фреймов. В то же время для них не существует единых теоретических подходов, позволяющих характеризовать условия при, , .

С этой целью представляется интересным изучение различных логических , -чения потребностей задач представления и обработки знаний. В настоящее время Дескриптивная Логика является одной из таких подходящих теорий. Исследование и модификация этой теории может дать интересные результаты.

* Данная работа поддерживается грантом РФФИ №99-01-00733

Известия ТРТУ

Тематический выпуск

В работе установлена связь между теоретико-множественной моделью неоднородной семантической сети, описанной в [1-4], и конструкциями Дескриптивной Логики [5]. Построена функция интерпретации взаимно - однозначно отображающая конструкции Дескриптивной Логики в неоднородную семантическую сеть.

Для этого проведено расширение Дескриптивной Логики в направлении включе-

ния дополнительных отношений из неоднородной семантической сети.

Отношения R1 - Rg [1] дополняют связи между основными конструкциями , .

. -

. -

.

Представляется интересным перенесение алгоритмов рассуждений из неоднородной семантической сети в Дескриптивную Логику и обратно. Такое взаимопроникновение вышеописанных формализмов может дать интересные результаты.

ЛИТЕРАТУРА:

1. Осипов ГС. Приобретение знаний интеллектуальными системами. - М: Наука- Физмат-лит, 1997.

2. Беляев А.Б., Годовников ММ., Голубев С.А., Загоровский И.М., КомаровС.И., Куршев ЕМ., Осипов ГС., Сазонова ЛМ. Технология создания распределённых интеллектуальных сетей. - Переславль-Залесский: УГП, 1997.

3. Осипов ГС. Инструментарий для экспертных систем. Теория SIMER+MIR // Программные продукты и системы. - 1990. - Вып.3. - С. 23-32.

4. Осипов ГС. Построение моделей предметных областей. Неоднородные семантические сети // Изв.РАН СССР.Техн. кибернетика. - 1990. - Вып.5. - С. 32-45.

5. Donini F.M., Lenzerini M. Nardi D. Schaerf A. Reasoning in Description Logics // In. Principles of Artificial Intelligence. Ed: G. Brewska, Springer Verlag, 1995

УДК 681.3.01(047)

C.B. Духин

МОДЕЛИРОВАНИЕ СТРУКТУР ДАННЫХ С ЦЕЛЬЮ УЛУЧШЕНИЯ ЛОГИЧЕСКОЙ СХЕМЫ ИНФОРМАЦИОННОГО ОБЕСПЕЧЕНИЯ САПР

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

,

, , , .

, , точных правил построения логических схем в настоящее время не существует. Ма, , -тирования логических схем (которые по сути являются средствами автоматизации