ALM
is a modular action language
for the representation of knowledge about dynamic systems. It extends action language
AL
by allowing definitions of new objects (actions and fluents) in terms of
other, previously defined, objects.
This, together with the modular structure of the language, leads to more
elegant and concise representations
and facilitates the creation of libraries of knowledge modules.
A more detailed description of
ALM
, its syntax and semantics, together with several examples can be found in the
Technical Report.
ALM-to-ASP Translator
The translator from
ALM
to ASP is written in Python and uses the LEPL library. For every system description of
ALM
the program creates a logic program in the syntax of
gringo and
clasp.
System descriptions of
ALM
can be written using any text editor and following the
BNF grammar of
ALM,
which can be found
here.
The logic program produced by
the translator describes the transition diagram of the domain and can be
used for solving planning, diagnostic and other related problems using
clasp.
The translator appears in
the translator.zip archive. This archive also includes
all the system descriptions appearing in the technical
report together with several scenarios and question-answer pairs to test
them.
More details about using the
translator and the examples that come with it can be found in
Instructions.
You can direct your questions,
comments or problems to Daniela Inclezan (daniela.inclezan@ttu.edu).