Cplus2ASP: Computing Action Language C+ in Answer Set Programming
Researchers Joseph Babb and Joohyung Lee have announced Version 2 of Cplus2ASP, a system designed to compute the definite fragment of action language C+ using Answer Set Programming (ASP). This new iteration maintains full compatibility with the Causal Calculator Version 2 but achieves significantly faster performance by leveraging modern ASP solving techniques. The system operates through a sophisticated tool chain that includes f2lp, clingo, iclingo, and as2transition. A key feature is its incremental execution mode, which translates C+ descriptions into the input language of iclingo, utilizing its incremental grounding mechanism. The correctness of this process is theoretically supported by an extended module theorem for programs with nested expressions. Additionally, Cplus2ASP introduces enhanced functionalities such as external atoms via Lua calls and a user interactive mode. The system is also extensible, supporting multi-modal translations for other action languages like B and BC. This development represents a significant advancement in artificial intelligence logic programming, offering improved efficiency and flexibility for complex computational tasks involving action languages.
Wire timeline
Cplus2ASP: Computing Action Language C+ in Answer Set Programming
Researchers Joseph Babb and Joohyung Lee have announced Version 2 of Cplus2ASP, a system designed to compute the definite fragment of action language C+ using Answer Set Programming (ASP). This new iteration maintains full compatibility with the Causal Calculator Version 2 but achieves significantly faster performance by leveraging modern ASP solving techniques. The system operates through a sophisticated tool chain that includes f2lp, clingo, iclingo, and as2transition. A key feature is its incremental execution mode, which translates C+ descriptions into the input language of iclingo, utilizing its incremental grounding mechanism. The correctness of this process is theoretically supported by an extended module theorem for programs with nested expressions. Additionally, Cplus2ASP introduces enhanced functionalities such as external atoms via Lua calls and a user interactive mode. The system is also extensible, supporting multi-modal translations for other action languages like B and BC. This development represents a significant advancement in artificial intelligence logic programming, offering improved efficiency and flexibility for complex computational tasks involving action languages.
cs.AI updates on arXiv.org