Publication
Right in Time: Reactive Reasoning in Regulated Traffic Spaces
Simon Kohaut; Benedict Flade; Julian Eggert; Kristian Kersting; Devendra Singh Dhami
In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2603.03977, Pages 1-6, arXiv, 2026.
Abstract
Exact inference in probabilistic First-Order Logic
offers a promising yet computationally costly approach for regu-
lating the behavior of autonomous agents in shared traffic spaces.
While prior methods have combined logical and probabilistic data
into decision-making frameworks, their application is often limited
to pre-flight checks due to the complexity of reasoning across
vast numbers of possible universes. In this work, we propose a
reactive mission design framework that jointly considers uncertain
environmental data and declarative, logical traffic regulations. By
synthesizing Probabilistic Mission Design (ProMis) with reactive
reasoning facilitated by Reactive Circuits (RC), we enable online,
exact probabilistic inference over hybrid domains. Our approach
leverages the Frequency of Change inherent in heterogeneous
data streams to subdivide inference formulas into memoized,
isolated tasks, ensuring that only the specific components affected
by new sensor data are re-evaluated. In experiments involving
both real-world vessel data and simulated drone traffic in dense
urban scenarios, we demonstrate that our approach provides
orders of magnitude in speedup over ProMis without reactive
paradigms. This allows intelligent transportation systems, such
as Unmanned Aircraft Systems (UAS), to actively assert safety
and legal compliance during operations rather than relying solely
on preparation procedures.