Reasonable Motion: A General ASP Foundation for Environment Constrained Movement Trajectory Computation
合理运动:环境约束下移动轨迹计算的一般ASP基础
机构 * Örebro University(厄勒布鲁大学) ; Constructor University Bremen(不来梅康斯特大学) ; CoDesign Lab(CoDesign实验室)
专题命中 规划控制 :autonomous driving(abstract);分类 cs.RO、cs.AI
AI总结 提出一种基于回答集编程的混合定量-定性方法,用于计算真实环境中移动对象的约束分支轨迹模式,通过枚举几何上可行的运动行为作为稳定模型,实现可验证的可解释性,并在自动驾驶基准上验证。
Comments Accepted at: LPNMR 2026 - 18th International Conference on Logic Programming and Non-monotonic Reasoning, 7 - 11 September 2026 - Klagenfurt, Austria