Рефлексивные процессы и управление. Сборник материалов XI Международного симпозиума 16-17 октября 2017 г., Москва - стр. 44
Признак β называется достаточным признаком для распознавания стратегии, если из факта наблюдения признака β(логическая формула признака приняла значение истина) следует выбор стратегии S. В символах математической логики это отображается импликацией β → S и правилом вывода (распознавания) β/β → S/S: если наблюдается признак β, то противник выбрал стратегию S.
Признак γ является необходимым и достаточным для распознавания стратегии S, если утверждения γ и S одновременно истинны или одновременно ложны. С прикладной точки зрения наблюдение признака γ позволяет делать безошибочный прогноз о выборе противника.
Из факта наблюдения признака α не следует достоверное заключение о выборе стратегии. Следует лишь возможность реализации распознаваемой стратегии S, поскольку множество истинности признака а шире, чем множество истинности необходимого и достаточного признака у. Однако, из факта ложности признака α (наблюдается ā) следует, что стратегия S не будет реализована. Действительно, это следует из закона логики (S → а) → (а → S). Из факта отсутствия признака β не следует, что стратегия S не будет реализована, поскольку множество истинности достаточного признака уже, чем множество истинности признака γ.
Для игры 2×2, описанной выше, из изложенного следует: 1) если γ необходимый и достаточный признак для S, то γ есть необходимый и достаточный признак для; 2) если а необходимый признак для S, то ā есть достаточный признак для S¯; 3) Если β достаточный признак для S, то β¯ есть необходимый признак для S¯.
Пусть игра, описанная выше, такова что, игрок 𝒜 для распознавания стратегий противника использует разные признаки: для В>1 использует некоторый признак δ>1, а признак δ>2 – для стратегии В>2. Допустим, что данные признаки приводят к успешному распознаванию с одинаковой вероятностью θ. Использование признаков увеличивает математическое ожидание выигрыша, если вероятность θ > 0.5.
Если в игре2×2: 1) игрок 𝒜 для распознавания стратегии В>1 использует только необходимый признак а>1; 2) достаточный признак α>2 реализуется в разных ситуациях с вероятностью θ; 3) вместе признаки дают необходимый и достаточный признак; 4) для распознавания стратегии В>2 используется признак α>1¯. Тогда: 1) если игрок ℬ использует равновесную стратегию, то математическое ожидание 𝜈>𝒜 выигрыша игрока 𝒜 равно
