用答案集编程高效求解动作语言C+，速度显著提升。
Cplus2ASP: Computing Action Language C+ in Answer Set Programming
- 通过组合最新理论成果，将C+描述转化为ASP输入
- 增量执行下速度远超旧版，利用iclingo的增量接地机制
- 支持外部原子调用和交互模式，可扩展至B/BC等语言
我们介绍了Cplus2ASP系统的第2版，该系统实现了动作语言C+的确定性片段。其输入语言与因果计算器第2版完全兼容，但得益于现代答案集求解技术，新系统速度显著提升。系统中的翻译基于多个近期理论成果的组合。系统通过f2lp、clingo、iclingo和as2transition组成的工具链进行协同工作。在增量执行模式下，系统将C+描述转换为iclingo的输入语言，并利用其增量接地机制。该执行的正确性由扩展至嵌套表达式的模块定理所保证。此外，系统输入语言具备多种实用功能，如通过Lua调用实现外部原子，以及用户交互模式。系统还支持可扩展的多模态翻译，可用于其他动作语言（如B和BC）。
原文摘要 · Abstract (English)
We present Version 2 of system Cplus2ASP, which implements the definite fragment of action language C+. Its input language is fully compatible with the language of the Causal Calculator Version 2, but the new system is significantly faster thanks to modern answer set solving techniques. The translation implemented in the system is a composition of several recent theoretical results. The system orchestrates a tool chain, consisting of f2lp, clingo, iclingo, and as2transition. Under the incremental execution mode, the system translates a C+ description into the input language of iclingo, exploiting its incremental grounding mechanism. The correctness of this execution is justified by the module theorem extended to programs with nested expressions. In addition, the input language of the system has many useful features, such as external atoms by means of Lua calls and the user interactive mode. The system supports extensible multi-modal translations for other action languages, such as B and BC, as well.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。