Cplus2ASP Version 2: Faster Action Language C+ via Answer Set Programming
The newly released Version 2 of system Cplus2ASP fully realizes the definite fragment of action language C+, ensuring compatibility with the input language of Causal Calculator Version 2. This updated system boasts significantly improved performance, leveraging advanced answer set solving techniques and integrating tools such as f2lp, clingo, iclingo, and as2transition. In incremental execution mode, it converts C+ descriptions into iclingo's input language, utilizing incremental grounding. The correctness of the system is supported by an extended module theorem applicable to programs with nested expressions. Additionally, the input language features practical elements like external atoms through Lua calls and an interactive mode for users, enabling flexible multi-modal transitions.
Key facts
- arXiv:2605.09528v1 announces Version 2 of Cplus2ASP.
- Implements the definite fragment of action language C+.
- Fully compatible with Causal Calculator Version 2 input language.
- Significantly faster due to modern answer set solving techniques.
- Tool chain includes f2lp, clingo, iclingo, and as2transition.
- Incremental execution mode uses iclingo's incremental grounding.
- Correctness justified by module theorem for nested expressions.
- Features include external atoms via Lua calls and user interactive mode.
Entities
—