A CLIB-Inspired Library of Commonsense Knowledge in Modular Action Language ALM

This paper describes a modular action language, ALM, dedicated to the specification of complex dynamic systems. One of the main goals of the language is to facilitate the development and testing of knowledge representation libraries. We present the implementation of a large scale library of commonsense concepts, achieved by porting knowledge from the Component Library (CLIB) into ALM. Our choice of CLIB as a source of inspiration is justified by the well-founded methodology used by its authors in selecting the general concepts it contains, and its extensive testing in the context of the Automated User-centered Reasoning and Acquisition System. The resulting ALM library has the additional advantage of incorporating established knowledge representation methodologies developed in the action language research community.