ASP-Bench：从自然语言到逻辑程序

本文提出 ASP-Bench 基准，旨在评估将自然语言规范自动转化为答案集程序（ASP）的系统。该基准包含 128 个问题实例，系统覆盖选择规则、聚合及优化等 ASP 特性，并从优化、时空推理等七个独立维度刻画建模难度。研究采用基于 ReAct 框架的代理方法，利用求解器反馈进行迭代 refinement，实现了完全饱和，证明了该方法在自然语言建模中的可靠性，并深入分析了决定问题建模难度的关键因素。