Regret Dominates Surprise: Design-Time Requirements Engineering for Agentic-AI Safety

📅 2026-09-04
📈 Citations: 0
Influential: 0
📄 PDF
📝 Abstract
Requirements engineers for agentic-AI domains face challenges in evaluating, specifying, and operationalizing safe autonomy. Mainstream frameworks, such as Goal-Oriented Requirements Engineering (GORE), lack mechanisms to systematically address these challenges under epistemic uncertainty. We contribute an approach that builds on GORE to model and simulate safe autonomy in agentic-AI systems. We introduce a novel Regret-Dominance Mechanism (MS-RGR) to operationalize safe autonomy. MS-RGR uses two signals: epistemic surprise (novelty detection) and cognitive regret (evaluative risk) to address the trilemma problem: should the agent operate in routine autonomy, undergo reflective reasoning, or escalate to human? We instantiate MS-RGR in elderly care monitoring and autonomous driving. A 100-seed stochastic simulation shows MS-RGR reduces silent failures to near-zero and detects risk approximately 17.5 times faster than a sensor-only baseline, remaining formally traceable via LTL safety properties. A retrospective proxy instantiation applying the DRI gate post-hoc over execution traces from 208 AGENTHARM scenarios across seven LLMs shows the gate improves harmful-task refusal only for models with strong baseline safety (over 80% pre-gate refusal, e.g., 84.1% to 90.9%), indicating MS-RGR amplifies rather than substitutes for model-level safety training. We discuss threats to validity, positioning MS-RGR as initial feasibility evidence for design-time safety constraints in agentic-AI requirements engineering.
Problem

Research questions and friction points this paper is trying to address.

agentic-AI
safety
requirements engineering
epistemic uncertainty
autonomy
Innovation

Methods, ideas, or system contributions that make the work stand out.

Regret-Dominance Mechanism
epistemic surprise
cognitive regret
safe autonomy
agentic-AI
💼 Related Jobs
No related jobs found.
N
Nuwayyir Almohammadi
School of Computer Science, University of Birmingham, Birmingham, United Kingdom
Rami Bahsoon
Rami Bahsoon
Reader, School of Computer Science, University of Birmingham, UK. EiC: ACM TAAS
self_adaptive_systemsSoftware ArchitectureSoftware EngineeringEconomics and ComputationSBSE
T
Tao Chen
School of Computer Science, University of Birmingham, Birmingham, United Kingdom