---
title: 'Hierarchical Hypergames: A Recursive Perspective'
url: https://www.emergentmind.com/topics/hierarchical-hypergames
type: topic
---

# Hierarchical Hypergames: A Recursive Perspective

Hierarchical hypergames are extensions of hypergame theory in which strategic interaction is modeled not by a single commonly known game, but by recursively organized **perceptual games** that encode how agents understand the conflict and how they attribute understanding to others. In this literature, the basic departure from classical game theory is that agents may disagree about the players, the available actions, the relevant outcomes, or the preference orderings, and hierarchy enters when those disagreements themselves become objects of strategic reasoning through beliefs about beliefs and higher-order expectations [2507.19593].

## 1. Formal basis in perceptual games

The contemporary hypergame literature defines a hypergame as a structured collection of agent-relative games. A baseline formalization is
\[
H=(N,\{G_i\}_{i\in N}),
\]
where \(N=\{1,2,\ldots,n\}\) is the set of agents and each \(G_i\) is agent \(i\)'s perceived game. Each perceived game is written as
\[
G_i=(N_i,A_i,R_i),
\]
with \(N_i\subseteq N\) the set of agents as perceived by \(i\),
\[
A_i=\bigtimes_{j\in N_i}A_{ij},
\]
\(A_{ij}\) agent \(i\)'s perception of player \(j\)'s available actions, and \(R_i=\{R_{ij}\}_{j\in N_i}\) the preference relations as perceived by \(i\). For outcomes \(x,y\in A_i\), the notation \(x>y\) indicates that \(i\) prefers outcome \(x\) to outcome \(y\) [2507.19593].

This formal move replaces the classical assumption of one objective game under common knowledge with a family of subjective strategic objects. The review literature emphasizes that this is motivated by multi-agent systems characterized by uncertainty, misaligned perceptions, and nested beliefs rather than by rationality, complete information, and common knowledge of payoffs. Hierarchical hypergames arise when this subjective structure is itself nested, so that an agent models not only its own perceptual game but also another agent’s perceptual game, and possibly that agent’s beliefs about further agents [2507.19593].

Hierarchical hypergames are one of the two major extensions highlighted in the recent systematic review of hypergame theory. That review analyzes 44 selected studies across cybersecurity, robotics, social simulation, communications, and general game-theoretic modeling, and reports the prevalence of hierarchical and graph-based models in deceptive reasoning together with a tendency for practical applications to simplify more extensive theoretical frameworks [2507.19593]. This suggests that hierarchical hypergames function both as a formal theory of misaligned perception and as a modeling template for applied strategic systems.

## 2. Recursive hierarchy and levels of perception

A standard recursive presentation introduces explicit levels of perception. In graph-based cyber-defense work, a level-1 hypergame is
\[
HG^1=\langle G_1,G_2\rangle,
\]
where each player has its own perceptual game but neither is aware of the other’s perception. A level-2 hypergame is
\[
HG^2=\langle HG^1,G_2\rangle,
\]
meaning that player 1 perceives the interaction as a level-1 hypergame while player 2 still perceives only \(G_2\). A general schema is also stated:
\[
HG^m=\langle HG^{m-1}_1,HG^n_2\rangle,\qquad n<m.
\]
In that formulation, hierarchy is recursive depth of perception rather than organizational rank or move order [2008.03210].

A second influential notation, attributed in later work to Wang et al. (1988), makes the indexing of nested perspectives explicit:
\[
H^3=\{H^2_i,H^2_j\},\qquad
H^2_i=\{H^1_{ii},H^1_{ji}\},\qquad
H^1_{ji}=\{H^0_{iji},H^0_{jji}\},
\]
with
\[
H^0_{iji}=G_{iji}.
\]
Here \(G_{iji}\) is described as player \(i\)'s perceptual game defining player \(i\)'s belief of player \(j\)'s belief of player \(i\)'s perspective of the base game. Recent work on beauty contest games connects this indexing to belief hierarchies through the proposed identification
\[
\beta_i(\beta_j(\beta_k)) \cong G_{ijk},
\]
while also stating that a rigorous proof of the relationship is beyond the scope of that work [2502.07443].

The same paper introduces a perspective-sequence notation
\[
\Psi=(\psi_1=\sigma,\psi_2,\ldots,\psi_\kappa),
\]
where \(\sigma\) is the interpreter or creator of the perceptual game and subsequent \(\psi\)'s encode nested perspectives. A player-specific perceptual game is then written as
\[
G_{i\ldots \kappa}=(i,\{i,j\},A,U,\Psi=(\psi_i,\ldots,\psi_\kappa)).
\]
Taken together, these notations show that hierarchical hypergames are not merely “games with asymmetric information.” They are recursively indexed representations of ordered perspectives, in which the object of strategic modeling is a hierarchy of perceived games rather than a single strategic form [2502.07443].

## 3. Rationality and solution concepts

Because players reason inside different perceptual games, solution concepts in hierarchical hypergames are typically defined relative to subjective models rather than a common ground-truth game. One recent computational framework defines a subjective game as
\[
G^i=(N,A^i,\Pi^i),
\]
and a subjective best response condition as
\[
\Pi^i(a_i^*,a_{-i}^*) \ge \Pi^i(a_i,a_{-i}^*), \forall a_i\in A^i.
\]
On this basis it defines **strong hypergame Nash equilibrium (s-HNE)** by
\[
\forall i\in N,\ a^* \in \mathrm{NE}(G^i),
\]
and **weak hypergame Nash equilibrium (w-HNE)** by
\[
\forall i\in N,\ \exists a_i^* \in \mathrm{NE}(G^i).
\]
The same framework explicitly supports \(H^0=G^*\), \(H^1=\{G^i\}_{i\in N}\), and \(H^2=\{G^i\}_{i\in N}\), and states that higher-level hypergames capture recursive reasoning and are specified by the highest order of expectation involved [2512.11942].

Dynamic hypergame work adopts a different vocabulary. In temporal-logic planning with incomplete information, the static hierarchy is
\[
HG^1(x)=\langle G(\varphi_1),G(x)\rangle,\qquad
HG^2(x)=\langle HG^1(x),G(x)\rangle,
\]
where \(G(\varphi_1)\) is the true game induced by player 1’s objective and \(G(x)\) is player 2’s perceived game under hypothesis \(x\). The solution concept is **subjective rationalizability (SR)**, refined dynamically into **behaviorally subjectively rationalizable (BSR)** strategies as the adversary updates its hypothesis from observed play. In this setting, player 2 best-responds in the game she believes she is playing, while player 1 best-responds in a perceptual game that includes both the true task and player 2’s misperception [2007.15726].

The recent review identifies a broader methodological fact: practical applications often simplify extensive theoretical frameworks, there is limited adoption of HNF-based models, and formal hypergame languages are lacking [2507.19593]. This suggests that hierarchical hypergames do not yet have a single settled equilibrium calculus. Instead, the field contains several solution families—subjective best response, strong and weak hypergame Nash equilibrium, subjectively rationalizable strategy—each tied to a particular representation of nested perception.

## 4. Dynamic and graph-based operationalizations

A major applied strand embeds hierarchical hypergames in dynamic state-transition systems. In cyber defense on graphs, the underlying attack-defend game is written as
\[
\mathcal G=\langle G,\varphi\rangle,\qquad
G=\langle S,A,T,AP,L\rangle,
\]
with finite state space \(S=S_1\cup S_2\), deterministic transition map
\[
T:(S_1\times A_1)\cup(S_2\times A_2)\to S,
\]
and defender objective \(\varphi\) expressed in LTL, often restricted to scLTL. Hierarchy enters through subjective arenas
\[
G_1=\langle S,A,T,AP,L_1\rangle,\qquad
G_2=\langle S,A,T,AP,L_2\rangle,
\]
where the defender knows the true labeling and the attacker acts on a misperceived labeling induced by deception. The resulting model is explicitly a level-2 hypergame,
\[
HG^2=\langle HG^1,G_2\rangle,\qquad HG^1=\langle G_1,G_2\rangle,
\]
which the paper characterizes as “a Hypergame on a Graph with One-sided Misperception of Labeling Function” [2008.03210].

A closely related dynamic formulation treats deception as control of the opponent’s evolving perception. The physical interaction is a two-player concurrent stochastic game
\[
TS=\langle S,A,P,s_0,AP,L\rangle,
\]
and the adversary’s evolving hypothesis is updated by
\[
\eta:X\times PrefPlays\to X.
\]
The corresponding dynamic hypergame augments state with the physical state, history, automaton state for an scLTL task, and current adversary hypothesis:
\[
\mathcal H=\langle V,A,\Delta,(s_0,h_0,q_0,x_0),\mathcal F\rangle,\qquad
V=S\times PrefPlays\times Q\times X.
\]
In this construction, one action simultaneously changes the world state, the task-progress automaton state, and the game the adversary thinks is being played. The paper’s central claim is that this makes deception operational: strategic planning proceeds by shaping both the physical trajectory and the opponent’s inference dynamics [2007.15726].

Optimization-based cyber-physical security provides another operationalization. There the defender minimizes
\[
J(u,\theta)\quad \text{subject to}\quad g(u,c)\le 0,
\]
while the attacker perturbs perceived parameters such as
\[
\hat\theta=\theta+\Delta\theta,\qquad \hat c=c+\Delta c.
\]
The paper explicitly states that the basic attack model is a **second-level hypergame**: the defender is unaware of deception, while the attacker knows the defender is solving a distorted optimization problem. It also studies defender awareness and “double-bluff” variants, which instantiate a deeper belief hierarchy in optimization form [1809.02240].

These formulations explain why the review finds hierarchical and graph-based hypergames especially prevalent in deceptive reasoning [2507.19593]. They are well suited to settings where one player shapes another’s perception of states, actions, labels, or objectives while preserving a dynamic model of interaction.

## 5. Agent-compatible implementations and computational formalisms

Recent work has moved hierarchical hypergames toward computationally explicit, agent-compatible architectures. In LLM-based strategic simulation, a two-player beauty contest is represented as
\[
G=(N,A,U,\Psi),
\]
with \(N=\{i,j\}\), \(A=A_i\times A_j\), \(A_i,A_j\subseteq \mathbb Z\), and
\[
U_i(a_i,a_j)=-|a_i-p\cdot \mu|,\qquad
\mu=\frac{a_i+a_j}{2}.
\]
An interpretation function
\[
I:G\times N\to G'
\]
constructs player-specific perceptual games; a reasoning function
\[
\rho:X\to \Xi,\mathbb R
\]
maps natural-language game descriptions to a reasoning trace and an expected opponent move; and a reasoning-analysis function
\[
\phi:\Xi\to\mathbb N,\qquad \phi(\xi_i)=\kappa
\]
estimates reasoning depth from the number of nested beliefs present in the trace. The paper then assembles an aggregate hierarchical hypergame \(H^\kappa\) from the set of individual perceptual games, with \(\kappa\) indexed by the maximal reasoning depth present [2502.07443].

The representational significance of this work is that hierarchy is encoded simultaneously by nested indices such as \(G_{ijk}\), by hypergame levels \(H^\kappa\), and by the ordered perspective sequence \(\Psi\). The paper emphasizes that this use of hypergames is both representational and operational: hypergames encode nested beliefs and asymmetric perceptions, and the system also constructs those perceptual games from LLM reasoning as part of the decision pipeline [2502.07443].

A different computational advance addresses a gap identified by the systematic review, namely the lack of formal hypergame languages [2507.19593]. “Hypergame Rationalisability” introduces a declarative, logic-based domain-specific language and an answer-set-programming pipeline. It starts from a base game
\[
G^*=(N,O,\Pi),\qquad \Pi:O^N\to \mathbb R^N,
\]
uses an interpretation function
\[
I:(G^*,\succ)\to G^i
\]
to generate subjective games, and formalizes an umpire as a rationaliser
\[
\mathcal U:(G^*,a^*)\mapsto \mathcal H,
\]
where \(\mathcal H\) is a set of hypergame structures under which the observed outcome \(a^*\) is rationalizable. The framework states explicitly that it supports hypergames up to level 2, not an arbitrary recursive hierarchy, and it uses the s-HNE and w-HNE criteria to filter candidate subjective-game structures [2512.11942].

This development is best read as a partial computational answer to the review’s concern about absent formal languages. It does not provide a full general theory of arbitrary-depth hierarchical hypergames, but it does turn level-1 and level-2 hypergame construction into a declarative search problem [2512.11942].

## 6. Boundaries, adjacent literatures, and open problems

The term **hypergame** is not unique to the literature on misaligned perceptions. In coalgebraic game theory, “hypergames” denote non-wellfounded Conway-style games, defined as the final coalgebra of
\[
F(A)=\mathcal P(A)\times \mathcal P(A),
\]
with infinite play treated as a draw and strategy theory centered on non-losing strategies. That usage concerns infinite or cyclic game trees rather than divergent subjective perceptions, and it is conceptually distinct from hierarchical hypergames in the perceptual-game sense [1107.1351].

A second boundary concerns the many works on **hierarchical games** that are not hypergames. Hierarchical simple games study ranked player classes and threshold rules for winning coalitions, not mismatched perceptions [1103.2487; 1205.2152]. Structured hierarchical games and Differential Backward Induction concern tree-structured move order and payoff dependence, again without subjective games [2106.04663]. Hierarchical pursuit-evasion decompositions, dynamic hierarchical reactive synthesis, and Stackelberg intervention methods all develop multilevel strategic architectures, but their hierarchies are objective, shared, and non-epistemic [2205.00885; 1510.07246; 2303.01101]. The hierarchical public-goods game likewise exhibits cross-level incentive conflict without perceptual divergence [1609.05896]. These are adjacent literatures, not instances of hierarchical hypergame theory.

The systematic review isolates several unresolved issues inside hypergame research proper. It identifies the limited adoption of HNF-based models, the lack of formal hypergame languages, and unexplored opportunities for modeling human-agent and agent-agent misalignment [2507.19593]. Recent computational papers partially address the language problem and the connection to recursive reasoning, but they typically stop at shallow hierarchies or application-specific semantics [2512.11942; 2502.07443]. This suggests that the central open problem is not only richer recursion, but also the construction of scalable representational standards and solution procedures for nested subjective games in dynamic multi-agent environments.

Source: https://www.emergentmind.com/topics/hierarchical-hypergames