COREALMLIB: An ALM Library Translated from the Component Library
This work provides a more elaboration-tolerant and readable library for researchers in action languages, answer-set programming, and natural language understanding, though it is incremental as it translates an existing library.
The paper tackles the problem of representing commonsense knowledge for dynamic domains by translating part of the COMPONENT LIBRARY into the ALM language, resulting in COREALMLIB, which includes 123 action classes in 43 reusable modules and offers advantages in readability and integration with ASP reasoning algorithms.
This paper presents COREALMLIB, an ALM library of commonsense knowledge about dynamic domains. The library was obtained by translating part of the COMPONENT LIBRARY (CLIB) into the modular action language ALM. CLIB consists of general reusable and composable commonsense concepts, selected based on a thorough study of ontological and lexical resources. Our translation targets CLIB states (i.e., fluents) and actions. The resulting ALM library contains the descriptions of 123 action classes grouped into 43 reusable modules that are organized into a hierarchy. It is made available online and of interest to researchers in the action language, answer-set programming, and natural language understanding communities. We believe that our translation has two main advantages over its CLIB counterpart: (i) it specifies axioms about actions in a more elaboration tolerant and readable way, and (ii) it can be seamlessly integrated with ASP reasoning algorithms (e.g., for planning and postdiction). In contrast, axioms are described in CLIB using STRIPS-like operators, and CLIB's inference engine cannot handle planning nor postdiction. Under consideration for publication in TPLP.