Опубликовать статью Вход и регистрация
Расширенный поиск
Разделы статьи

ФОРМАЛИЗАЦИЯ ЗНАНИЙ КОНФЛИКТА И ВЗАИМОДЕЙСТВИЯ ЦЕЛЕУСТРЕМЛЕННЫХ СИСТЕМ

Научная статья
Счастный К.С.
Мазаков Е.Б.
Выпуск: № 9 (40), 2015
Опубликована:
2015/09/15
PDF

Счастный К.С.1, Мазаков Е.Б.2

1Магистр, 2Кандидат технических наук, Национальный минерально-сырьевой университет «Горный»

ФОРМАЛИЗАЦИЯ ЗНАНИЙ КОНФЛИКТА И ВЗАИМОДЕЙСТВИЯ ЦЕЛЕУСТРЕМЛЕННЫХ СИСТЕМ

Аннотация

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

Ключевые слова: управление системой, формализация, модель.

Schastnyy K.S.1, Mazakov E.B.2

1Master, 2Candidate of Technical Sciences, National Mineral Resources University (Mining University)

FORMALIZATION OF KNOWLEDGE OF THE CONFLICT AND INTERACTION OF PURPOSEFUL SYSTEMS

Abstract

The article describes the development of a method to formalize the conflict and interaction of purposeful systems, which is based on a modal-temporal logic. The method of formalization of the conflict and interaction of purposeful systems allows you to create models that more fully describes the processes of their interaction. The use of such models will take into account the reflection of the opposing sides and, ultimately, improve the overall efficiency of managerial decision-making.

Keywords: system management, formalization, model.

В настоящее время эффективное управление сложной системой при ее взаимодействии с другой системой или системами предполагает использование моделирования [1], как наиболее рациональный вариант изучения ее свойств. В связи с этим, для создания более полной модели системы возникает необходимость разработки методов формализации.

Предлагается вариант создания метода формализации конфликта и взаимодействия целеустремленных систем на основе модально – временной логики.

В качестве теоретической базы логики конфликта и взаимодействия можно принять модально – временную логику при условии введения некоторых дополнений и уточнения интерпретации ранее введенных операторов.

Рассмотрим две взаимодействующие системы s1 и s2 [2], каждая из которых располагает определенными возможностями (отражениями), применимыми в данной ситуации.

Введем вспомогательные предикаты [3], описывающие изменение состояние среды при изменении возможностей m1, m2 в ситуации α:

03-09-2015 13-59-34

 где 03-09-2015 13-59-47 - предикаты, описывающие возможности, применяемые в ситуации α в момент времени t1, для I1 и I1 соответственно;

03-09-2015 14-00-03 - предикат, принимающий значение «истина», если для ситуации α в момент времени t1 достижима ситуация β в момент времени t2 при применении стратегий m1 и m2;

03-09-2015 14-01-04

Множество достижимых результирующих ситуаций описывается предикатом

03-09-2015 14-01-17

Для введенных соотношений C1, C2 и C12 сохраняются все свойства (транзитивность, рефлексивность и т.п.) с модальной логики где C(α0,α,t0,t1) - предикат, принимающий значение «истина» в том и только том случае, когда существует такие действия системы или последовательность действий, которые переводят среду из состояния α0 в момент t0 в состояние α в момент времени t, причем t0- текущее время в момент отнесения высказываний.

Дополнительными свойствами являются:

03-09-2015 14-03-39

Введем следующие операторы логики конфликта и взаимодействия:

03-09-2015 14-08-35

Операторы достижимости для I1 и I2 определяются соответственно следующим образом:

03-09-2015 14-09-06

Свойства операторов 03-09-2015 14-09-27, аналогичны свойствам операторов необходимости 03-09-2015 14-09-34 модально – временной логики, а операторов 03-09-2015 14-09-45 - свойствами операторов 03-09-2015 14-10-01. Все аксиомы модально-временной логики остаются справедливыми при замене оператора L на операторы L1 или L2, а операторы M- на операторы G1 или G2.

В дополнение к этим аксиомам необходимо ввести следующие:

03-09-2015 14-10-46

Дополнительно к правилу вывода модально – временной логики R1 введем следующие правила:

R2. Правило ассиметрии: если выводима формула p, то выводима и g, полученная из p путем замены индекса i у оператора Gi, Li на индекс 2 и индекса 2 на i.

R3. Если выводима формула p, то выводима g,полученная из p путем замены оператора L на L1 или L2.

R4. Если выводима формула p, то выводима и g, полученная путем замены оператора M на G1 или G2.

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

Литература

  1. Гурко А.В., Степанов Ю.Л., Мазаков Е.Б. Представление и обработка знаний в системах искусственного интеллекта.- СПб.: СПВУРЭ ПВО, 1998.
  2. Арефьев И.Б., Мартыщенко Л.А. Теория управления (современные проблемы управления и принятия решений).-СПб.: СЗПИ, 2000.
  3. Ярушек В.Е., Прохоров В.П., Судаков Б.Н., Мишин А.В. «Теоретические основы автоматизации процессов выработки решений в системах управления».- Харьков, 1993 г.,443с.

References

  1. Gurko A.V., Stepanov Ju.L., Mazakov E.B. Predstavlenie i obrabotka znanij v sistemah iskusstvennogo intellekta.- SPb.: SPVURJe PVO, 1998.
  2. Aref'ev I.B., Martyshhenko L.A. Teorija upravlenija (sovremennye problemy upravlenija i prinjatija reshenij).-SPb.: SZPI, 2000.
  3. Jarushek V.E., Prohorov V.P., Sudakov B.N., Mishin A.V. «Teoreticheskie osnovy avtomatizacii processov vyrabotki reshenij v sistemah upravlenija».- Har'kov, 1993 g.,443s.