Modular action language ALM
From MaRDI portal
Publication:4593024
Abstract: The paper introduces a new modular action language, ALM, and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993; 1998) in which a high-level action language is used as a front end for a logic programming system description. The resulting logic programming representation is used to perform various computational tasks. The methodology based on existing action languages works well for small and even medium size systems, but is not meant to deal with larger systems that require structuring of knowledge. ALM is meant to remedy this problem. Structuring of knowledge in ALM is supported by the concepts of module (a formal description of a specific piece of knowledge packaged as a unit), module hierarchy, and library, and by the division of a system description of ALM into two parts: theory and structure. A theory consists of one or more modules with a common theme, possibly organized into a module hierarchy based on a dependency relation. It contains declarations of sorts, attributes, and properties of the domain together with axioms describing them. Structures are used to describe the domain's objects. These features, together with the means for defining classes of a domain as special cases of previously defined ones, facilitate the stepwise development, testing, and readability of a knowledge base, as well as the creation of knowledge representation libraries. To appear in Theory and Practice of Logic Programming (TPLP).
Recommendations
- On the relationship between two modular action languages: a translation from MAD into \(\mathcal {ALM}\)
- Two components of an action language
- <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp>
- scientific article; zbMATH DE number 5046357
- Advances in Artificial Intelligence
Cites work
- A logic of universal causation
- A logic programming approach to knowledge-state planning, semantics and complexity
- A simple declarative language for describing narratives with actions
- ASP with non-herbrand partial functions: a language and system for practical use
- Combining answer set programming with description logics for the semantic web
- Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz
- cr-models: An Inference Engine for CR-Prolog
- Diagnostic reasoning with A-Prolog
- Elaboration tolerance through object-orientation
- Functional answer set programming
- scientific article; zbMATH DE number 5914361 (Why is no real title available?)
- scientific article; zbMATH DE number 5079838 (Why is no real title available?)
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 1368933 (Why is no real title available?)
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logic programming. 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17--20, 2006. Proceedings
- Multivalued Action Languages with Constraints in CLP(FD)
- On the stable model semantics for intensional functions
- Program development by stepwise refinement
- Reactive answer set programming
- Reasoning agents in dynamic domains
- Representing action and change by logic programs
- Representing actions in logic programs and default theories a situation calculus approach
- Representing the Zoo World and the Traffic World in the language of the Causal Calculator
- Some properties of system descriptions of \(\mathcal{AL}_d\)
- The DLV system for knowledge representation and reasoning
- The integration of functions into logic programming: From theory to practice
- The well-founded semantics for general logic programs
- Transaction logic with defaults and argumentation theories
- Updating action domain descriptions
Cited in
(12)- Recursive definitions of tabular transformations
- Action language Hybrid AL
- A new incarnation of action language H
- On the relationship between two modular action languages: a translation from MAD into \(\mathcal {ALM}\)
- ALM
- scientific article; zbMATH DE number 2013571 (Why is no real title available?)
- Some properties of system descriptions of \(\mathcal{AL}_d\)
- <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp>
- scientific article; zbMATH DE number 7453107 (Why is no real title available?)
- \textsc{RestKB}: a library of commonsense knowledge about dining at a restaurant
- scientific article; zbMATH DE number 970746 (Why is no real title available?)
- An ASP framework for the refinement of authorization and obligation policies
This page was built for publication: Modular action language \(\mathcal{ALM}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593024)
