<scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp>

DOI10.1017/S1471068416000363MaRDI QIDQ4593060zbMATH OpenOpenAlexFDO

Authors Daniela Inclezan

Publication date 9 November 2017

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1608.02082

zbMATH Keywords

action languagecommonsense librarydynamic domainsknowledge reuse

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

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.

Recommendations

• Modular action language \(\mathcal{ALM}\)
• On the relationship between two modular action languages: a translation from MAD into \(\mathcal {ALM}\)
• scientific article; zbMATH DE number 1630100
• CoCoALib: A C++ library for computations in commutative algebra and beyond
• \({\mathcal{ALC}_\mathcal{ALC}}\): a context description logic
• scientific article; zbMATH DE number 2089159
• Aligator.jl -- a Julia package for loop invariant generation

Cites work

• ASP with non-herbrand partial functions: a language and system for practical use
• Diagnostic reasoning with A-Prolog
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• Modular action language \(\mathcal{ALM}\)
• Vicious circle principle and logic programs with aggregates

Cited in

(7)

• On the relationship between two modular action languages: a translation from MAD into \(\mathcal {ALM}\)
• Modular action language \(\mathcal{ALM}\)
• Action-centered information retrieval
• scientific article; zbMATH DE number 7453107 (Why is no real title available?)
• \textsc{RestKB}: a library of commonsense knowledge about dining at a restaurant
• An ASP framework for the refinement of authorization and obligation policies
• Embracing background knowledge in the analysis of actual causality: an answer set programming approach

Describes a project that uses

Uses Software

• ALM
• WordNet

This page was built for publication: <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp>

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593060)