Modular action language ${\mathcal ALM}$. Issue 2 (6th July 2015)
- Record Type:
- Journal Article
- Title:
- Modular action language ${\mathcal ALM}$. Issue 2 (6th July 2015)
- Main Title:
- Modular action language ${\mathcal ALM}$
- Authors:
- INCLEZAN, DANIELA
GELFOND, MICHAEL - Abstract:
- Abstract: The paper introduces a new modular action language, ${\mathcal ALM}$, and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993, Journal of Logic Programming 17, 2–4, 301–321; 1998, Electronic Transactions on AI 3, 16, 193–210) 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 . $\mathcal{ALM}$ is meant to remedy this problem. Structuring of knowledge in ${\mathcal 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 ${\mathcal 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 readabilityAbstract: The paper introduces a new modular action language, ${\mathcal ALM}$, and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993, Journal of Logic Programming 17, 2–4, 301–321; 1998, Electronic Transactions on AI 3, 16, 193–210) 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 . $\mathcal{ALM}$ is meant to remedy this problem. Structuring of knowledge in ${\mathcal 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 ${\mathcal 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. … (more)
- Is Part Of:
- Theory and practice of logic programming. Volume 16:Issue 2(2016)
- Journal:
- Theory and practice of logic programming
- Issue:
- Volume 16:Issue 2(2016)
- Issue Display:
- Volume 16, Issue 2 (2016)
- Year:
- 2016
- Volume:
- 16
- Issue:
- 2
- Issue Sort Value:
- 2016-0016-0002-0000
- Page Start:
- 189
- Page End:
- 235
- Publication Date:
- 2015-07-06
- Subjects:
- logic programming, -- reasoning about actions and change, -- action language
Logic programming -- Periodicals
Artificial intelligence -- Computer programs -- Periodicals
Constraint programming (Computer science) -- Periodicals
005.115 - Journal URLs:
- https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming ↗
- DOI:
- 10.1017/S1471068415000095 ↗
- Languages:
- English
- ISSNs:
- 1471-0684
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 1872.xml