Search papers, labs, and topics across Lattice.
This paper introduces a hybrid quantitative-qualitative method based on answer set programming (ASP) for computing constrained motion trajectories in dynamic environments. By employing a constrained traversal of an environment graph, the method generates stable models that represent distinct trajectory modes, integrating both domain-specific and general factors. The empirical evaluation on the Argoverse 2 benchmark demonstrates the method's applicability and its advantage in providing verifiable interpretability compared to purely learned approaches.
Trajectories computed through this method are not only efficient but also traceable to their underlying models, offering a level of interpretability that traditional learning methods lack.
We present a general answer set programming based hybrid quantitative-qualitative method for computing constrained branching trajectory modes for moving objects in real-world settings. The method performs constrained traversal of an environment graph, enumerating geometrically admissible motion behaviours as stable models, each constituting a distinct trajectory mode characterised by both domain-dependent and independent factors such as derived event sequence, map topology, and domain norms. The hybrid trajectory computation method is generally applicable across motion characteristics typically encountered in diverse dynamic domains with moving objects, e.g., autonomous driving. We demonstrate applicability and highlight how computed trajectories are traceable to their underlying stable model, thereby affording verifiable interpretability that purely learned approaches cannot provide. We also perform an empirical evaluation with Argoverse 2, a large-scale real-world autonomous driving benchmark representative of the class of dynamic domains within the scope of the proposed method.
