CoreALMlib: An $\mathscr{ALM}$ library translated from the Component Library. Issue 5 (14th October 2016)

• Record Type: Journal Article
• Authors: INCLEZAN, DANIELA
• Editors: Carro, Manuel; King, Andy
• Is Part Of: Theory and practice of logic programming. Volume 16:Issue 5/6(2016)
• Page Start: 800
• Page End: 816
• Publication Date: 2016-10-14
• Subjects: action language, -- commonsense library, -- knowledge reuse, -- dynamic domains; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068416000363
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: This paper presentsCore ALMlib, an $\mathscr{ALM}$ library of commonsense knowledge about dynamic domains. The library was obtained by translating part of theComponent Library (CLib ) into the modular action language $\mathscr{ALM}$ .CLib consists of general reusable and composable commonsense concepts, selected based on a thorough study of ontological and lexical resources. Our translation targetsCLib states (i.e., fluents ) and actions . The resulting $\mathscr{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 itsCLib 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 inCLib using STRIPS-like operators, andCLib 's inference engine cannot handle planning nor postdiction.