混合离散-连续规划的符号设计研究

arXiv 论文提出从求解算法视角定义符号有用性：好的符号应暴露能简化原规划问题求解的离散决策。作者先针对有限时域分段仿射系统引入求解器充分符号化概念，并设计反例引导的符号发明算法，再将其扩展到以一般神经网络为能量函数的优化目标。 仿真与实机任务实验显示，所得符号在保持解质量的同时降低求解成本，并提升可解释性与可操控性。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。