-
Computational Feasibility
The class of problem that asks, under live constraints and uncertainty, whether an outcome is still reachable — and with what confidence.
-
Feasibility Verdict
The output of a feasibility analysis: feasible, infeasible, or marginal — with a margin, confidence, and explicit assumptions.
-
Calibration (Brier Score)
The discipline of grading probabilistic forecasts against realised outcomes. Low Brier score = well-calibrated.
-
Reachability Analysis
Computing the set of future states a system can reach from a given initial state under bounded actions and disturbances.
-
Viability Kernel
The set of states from which a viable trajectory exists — i.e. from which the system can be kept inside a constraint envelope forever.
-
Monte Carlo Reachability
Sampling-based reachability analysis for high-dimensional state spaces where grid-based methods are intractable.
-
Adaptive Mesh Refinement
A reachability method that refines resolution only near the boundary of the reachable set, keeping computation tractable in 2D–5D.
-
Signal Intelligence
The layer of ARIAA that ingests heterogeneous real-time signals and structures them into the feasibility reasoning pipeline.
-
Signal Connector
A pluggable adapter that brings an external data source into ARIAA as a structured signal stream.
-
Decision Domain
A declarative spec of a state/action/disturbance system plus constraints and dynamics, describing a class of decisions ARIAA can reason about.
-
ASDL (ARIAA Stochastic Domain Language)
The declarative YAML language used to describe a decision domain — state, actions, disturbances, dynamics, constraints.
-
Cross-Domain Contagion
The propagation of a disturbance across traditionally siloed domains — e.g. weather → input cost → demand shock → covenant trigger.
-
Causal Inference
Identifying directional influence between variables (“X causes Y”), not just correlation, and running interventional queries against the graph.
-
Digital Twin
A live model of a physical or operational system kept in sync with sensor feeds, supporting feasibility checks and alert prediction.
-
Narrative Momentum
The rate of change of a narrative's salience across a media corpus — how fast it is accelerating or decaying.
-
Topic Ownership
The share-of-voice an entity commands on a given topic, computed from per-entity sentiment and topic-attribution analysis.
-
Coalition Feasibility
Whether a coalition can be formed that meets a seat-share threshold, modelled as a constraint-satisfaction problem.
-
Closed-Source by Design
ARIAA's posture: engines, domain packs, calibration records, and training corpora are proprietary and not open-sourced.
-
Differential Privacy
A mathematical framework for sharing aggregated data without exposing individual records. Used by ARIAA's federation layer.
-
Federated Signal Sharing
A protocol for consortium members (regulators, NGOs, corporates) to share signals between tenants without exposing raw data.
The CFaaS vocabulary.
20 terms that index how ARIAA talks about decisions, feasibility, calibration, and signals. Use this as a shortcut when walking the platform with a new stakeholder.