COREALMLIB: An ALM Library Translated from the Component Library

TL;DR

This paper introduces COREALMLIB, a modular ALM library translating commonsense knowledge from CLIB, enhancing readability, reasoning integration, and applicability in dynamic domain understanding.

Contribution

It presents a novel translation of CLIB into ALM, creating a modular, axiomatic library that improves reasoning capabilities and integration with ASP systems.

Findings

Contains 123 action classes in 43 modules

Specifies axioms in a more elaboration-tolerant way

Enables seamless integration with ASP reasoning algorithms

Abstract

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.