Рефлексивные процессы и управление. Сборник материалов XI Международного симпозиума 16-17 октября 2017 г., Москва

1. Birshtein, B., Borsevici, V. (2002). Stratagems of Reflexive Control in Western and Oriental Cultures. International Interdisciplinary Scientific and Practical Journal -Reflexive Processes and Control, vol 1, nr. 2. Moscow: "Kogito Center" Publishing House

2. Lepskiy, V.E. (2010) Reflexive and Active Environments of Innovative Development. – Moscow: "Kogito Center" Publishing House

В. В. Карюкин, Ф. С. Чаусов (Военный учебно-научный центр «Военно-Морская Академия», Санкт-Петербург) Рефлексивные игры противодействия

Аннотация. Рассматриваются рефлексивные игры при наличии признаков распознавания.

Ключевые слова: рефлексивные игры противодействия, признаки распознавания.

V. V. Karjukin, F. S. Chausov (Military educational and scientific center «Naval Academy»,St. Petersburg)

REFLEXIVE GAMES COUNTER

Abstract. Reflexivity games if there are signs of recognition.

Keywords: reflexive games, signs of recognition.

Задачи противодействия, рассматриваемые нами [1–3], характеризуются тем, что сначала делает выбор один из игроков, а второй игрок, чтобы не быть обреченным на поражение, должен разгадать выбор противника. Таковы, например, игра «нападение и оборона»[1], «игра в прятки»[4]. Изучение таких игр требует привлечения признаков распознавания стратегии противника. Данная задача требует привлечения теории рефлексивных игр [4].

Необходимые определения и обозначения. Рассмотрим игру, задаваемую матрицами:

где первая матрица есть матрица выигрышей игрока A, а вторая дает выигрыши игрока B. Игрок A выбирает строчку (i 1,2), игрок B – столбец (j 1,2). После того как выбор сделан, игрок A получает выигрыш a_ij, а игрок B – выигрыш b_ij. Матрицы известны обоим игрокам. Данная игра является игрой с постоянной суммой a_ij + b_ij = 1, и ее равновесные смешанные стратегии одинаковы для обоих игроков

. Здесь введены обозначения: x₁, x₂– вероятности с которыми игрок A выбирает первую (A₁) или вторую (A₂) стратегию (первую или вторую строчку матрицы A); аналогично (y₁y₂) – распределение вероятностей на стратегиях B₁,B₂ (столбцах матрицы B). Математическое ожидание выигрыша для игрока A равно 0.5. Дополним описание данной игры допущением, что для каждой стратегии игроков известны признаки распознавания, известные обоим. Кроме того, для каждого такого признака существуют косвенные признаки, некоторые из которых носят рефлексивный характер. Будем считать, что скрытие косвенных признаков невозможно.

Приведем определения для признаков распознавания. Введем обобщенное обозначение S для некоторой стратегии игрока.

Признак называется необходимым признаком для распознавания стратегии, если он принимает значение истина всякий раз, когда реализуется распознаваемая стратегия. В символах математической логики это отображается импликацией S– > а и правилом вывода (распознавания) S,S -> /: если противник выбрал стратегию S, то должен наблюдаться признак .

Признак называется достаточным признаком для распознавания стратегии, если из факта наблюдения признака (логическая формула признака приняла значение истина) следует выбор стратегии S. В символах математической логики это отображается импликацией -> S и правилом вывода (распознавания) /– > S/S: если наблюдается признак , то противник выбрал стратегию S.

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

Из факта наблюдения признака не следует достоверное заключение о выборе стратегии. Следует лишь возможность реализации распознаваемой стратегии S, поскольку множество истинности признака а шире, чем множество истинности необходимого и достаточного признака у. Однако, из факта ложности признака (наблюдается a) следует, что стратегия S не будет реализована. Действительно, это следует из закона логики (S– > а) -> (а – > S). Из факта отсутствия признака не следует, что стратегия S не будет реализована, поскольку множество истинности достаточного признака уже, чем множество истинности признака .

Для игры 2x2, описанной выше, из изложенного следует: 1) если необходимый и достаточный признак для S, то есть необходимый и достаточный признак для; 2) если а необходимый признак для S, то a есть достаточный признак для S; 3) Если достаточный признак для S, то есть необходимый признак для S.

Пусть игра, описанная выше, такова что, игрок A для распознавания стратегий противника использует разные признаки: для В₁ использует некоторый признак ₁, а признак ₂ – для стратегии В₂. Допустим, что данные признаки приводят к успешному распознаванию с одинаковой вероятностью . Использование признаков увеличивает математическое ожидание выигрыша, если вероятность > 0.5.

Если в игре 2x2: 1) игрок A для распознавания стратегии В₁ использует только необходимый признак а₁; 2) достаточный признак ₂ реализуется в разных ситуациях с вероятностью ; 3) вместе признаки дают необходимый и достаточный признак; 4) для распознавания стратегии В₂ используется признак ₁. Тогда: 1) если игрок B использует равновесную стратегию, то математическое ожидание _A выигрыша игрока A равно

, в этом случае вероятность выигрыша игрока A больше равновесного при любом ; 2) для любых смешанных стратегий игрока B имеет место _A [; 1], и величина _A больше равновесного выигрыша при > 1/2. Следовательно, использование необходимого признака дает выигрыш больший, чем равновесный выигрыш 0.5 при > 0.5 для любых стратегий (у₁; у₂).

Если игроку A известны оба необходимых признака: ₁ – для стратегии В₁ и признак ₁ для В₂ (₁₁ = 0), то он делает безошибочный прогноз при любом выборе противника.

При распознавании стратегии противника, игрок может обнаружить несоответствие между признаком, установленным ранее, и признаком, наблюдаемым в данный момент. Это может быть обусловлено следующими причинами: ошибками распознавания; управляющим воздействием противника, который демонстрирует противоположные значения некоторых элементарных признаков; неполнотой признака, если признак достаточный.