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

. Здесь введены обозначения: x1, x2– вероятности с которыми игрок A выбирает первую (A1) или вторую (A2) стратегию (первую или вторую строчку матрицы A); аналогично (y1y2) – распределение вероятностей на стратегиях B1,B2 (столбцах матрицы 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 для распознавания стратегий противника использует разные признаки: для В1 использует некоторый признак 1, а признак 2 – для стратегии В2. Допустим, что данные признаки приводят к успешному распознаванию с одинаковой вероятностью . Использование признаков увеличивает математическое ожидание выигрыша, если вероятность > 0.5.

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

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

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

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