COA Decision Support Agent Operational Research & BDI

Simulation and Analytical Decision Support Platform for Resource-Constrained & Degraded Operational Environments

Parameters & Beliefs Configuration
COA1
COA2
COA3
COA4
COA5
COA6
BDI Agent Mental State (⟨B, D, I⟩)
Total1 Budget 80.0
Replanning Count 0
Pair(COA1+COA5 | R1=75.0 score=0.96)
BDI Deliberation & Reconsideration Cycles
4 Cycles
Agent Execution Console Output
Probabilistic Success Parameters

COAs with scalar success probabilities $p \in [0, 1]$. Surviving pair after BDI replanning is COA3 + COA4.

COA1
COA2
COA3
COA4
COA5
COA6
Reliability Comparison
Theoretical Joint $p$ 0.760
Empirical Rate 0.767

Empirical simulation converges closely to theoretical joint probability $p = 0.80 \times 0.95 = 0.760$.

Monte Carlo Convergence Trajectory
Simulation Output Terminal
Dual Resource Constraints & Weights
P1_A
P1_B
P2_X
P2_Y
Selected Pair Result
Selected: P1_B + P2_X | R1=6, R2=5, Score=16.0

Under $w_2=2.0$, Resource 2 is penalized twice as heavily. P1_B+P2_X is selected over P1_A+P2_X (score 21.0) because its lower R2 usage (5 vs 8) outweighs slightly higher R1.

Combination Evaluation & Pruning Table
Combination Comb. R1 (≤7) Comb. R2 (≤8) Feasibility Weighted Score Status
Resource Trade-Off Comparison
High-Dimensional Setup ($5^5 = 3125$ states)
Search Space Summary
Total Combinations 3,125
Optimal Cost Score 67.98
P1_C4 + P2_C0 + P3_C0 + P4_C3 + P5_C0
Combined Resource Vector Consumption vs Budget
Selected Optimal Vector Breakdown
Plan & COA Res 1 (w=1) Res 2 (w=2) Res 3 (w=1) Res 4 (w=3) Res 5 (w=1)
COA Candidates & Parameters

COA Candidates (Editable Parameters):

COA Req (r₁) Base (bᵢ) Rob (ρᵢ)
COA_1
COA_2
COA_3
COA_4
COA_5
Phase-by-Phase Score Derivation Across Degradation Levels
Multi-Criteria Assessment
Phase / Event Degradation ($\delta$) Active/Selected COA 4 Score COA 1 Score COA 3 Score COA 2 Score COA 5 Score
Phase Detail Breakdown (Current State)
COA Executability ($E_i$) Resilience ($S_i$) Viability ($V_i$) Adjusted Score ($\Phi_i$) Ranking
Resource Sweep ($R_1 \in [40, 80]$)

Reveals the sharp S-shaped phase transition around $R_1 = 65-70$, with crossover at $R_1 \approx 68$.

COA Selection Transition Curve (Crossover at $R_1 \approx 68$)
Resource Sensitivity Analysis ($N=1000$)
$R_1$ COA1 Wins COA4 Wins Uncertainty Comms Disruption Adversary Interference Degradation
Viability Coefficient $\alpha$ Sweep

Evaluates sensitivity to $\alpha \in [0.25, 0.75]$ with $R_1 = 70$. Demonstrates steeper crossover between $\alpha = 0.375$ and $0.500$.

Viability Coefficient $\alpha$ Transition Curve
Variance of Viability Weight $\alpha$ ($R_1 = 70, N=1000$)
$\alpha$ COA1 Wins COA4 Wins Uncertainty Comms Disruption Adversary Interference Degradation
Continuous Degradation Spectrum

Continuous analytical evaluation of Adjusted Scores $\Phi_i(\delta)$ for $\delta \in [0, 1.0]$.

Analytical Crossover ($\delta$) 0.841
Continuous Crossover Analysis: Resilience vs Baseline Performance Trade-off
Global Monte Carlo Sampling

Uniform random sampling $(u, d_c, d_a) \sim U(0, 1)^3$ across the entire operational envelope.

Spearman Rank Correlations
Stress VectorCorrelation with Score
Adversary Interference-0.571
Uncertainty-0.569
Comms Disruption-0.560
Adjusted Score1.000
COA Win Frequency Distribution
Summary Statistics by Selected Winning COA
Selected COA Win Frequency Mean Uncertainty Mean Comms Disruption Mean Adversary Interference Mean Adjusted Score
Sobol Sensitivity Analysis ($N=2048$)

Variance-based global sensitivity analysis using Saltelli sampling to isolate first-order ($S_1$) and total-order ($S_T$) indices.

Second-Order Interactions ($S_2$)
Interaction Pair$S_2$ Index
Uncertainty × Comms Disruption0.0039
Uncertainty × Adversary Interference0.0040
Comms Disruption × Adversary Interference0.0038

Negligible cross-variance confirms the additive nature of environmental degradation in the reasoning engine.

First-Order ($S_1$) vs Total-Order ($S_T$) Sobol Indices
Sobol Decomposition Summary Table
Stress Vector First-Order ($S_1$) Total-Order ($S_T$) Difference ($S_T - S_1$)