2013 | OriginalPaper | Buchkapitel
Cplus 2ASP: Computing Action Language + in Answer Set Programming
verfasst von : Joseph Babb, Joohyung Lee
Erschienen in: Logic Programming and Nonmonotonic Reasoning
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We present Version 2 of system
Cplus2ASP
, which implements the definite fragment of action language
${\cal 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
${\cal 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
${\cal B}$
and
${\cal BC}$
, as well.