CoreALMlib: An library translated from the Component Library

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011

Action languages have gained popularity as a means for declaratively describing planning domains. This paper overviews two action languages, the Boolean language B and its multi-valued counterpart B M V . The paper analyzes some of the issues in using two alternative logic programming approaches (Answer Set Programming and Constraint Logic Programming over Finite Domains) for planning with B and B M V specifications. In particular, the paper provides an experimental comparison between these alternative implementation approaches.

Theory and Practice of Logic Programming, 2015

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 requirestructuring of knowledge.$\mathcal{ALM}$is meant to remedy this problem. Structuring of knowledge in${\mathcal ALM}$is supported by the concepts ofmodule(a formal description of a specific piece of knowledge packaged as a unit),module hierarchy, andlibrary, and by the division of a system description of${\mathcal ALM}$into two parts:theoryandstructure. Atheoryconsis...

Science of Computer …, 2006

Some basic programming constructs (e.g., conditional statements) are found in many different programming languages, and can often be included without change when a new language is designed. When writing a semantic description of a language, however, it is usually not possible to reuse parts of previous descriptions without change.

ACTION SEMANTICS, 1994

Actions speak louder than words: Action Semantics is now being used in practical applications! This workshop surveyed recent achievements, demonstrated tools, and coordinated projects. It was open to all.

2017

This paper describes a methodology for designing Question Answering systems that utilize an action language ALM to allow inferences based on complex interactions of events described in texts. This methodology assumes the extension of the VERBNET lexicon with interpretable semantic annotations in ALM and specifies the use of several other NLP resources to produce ALM system descriptions for input discourses.

2017

This paper describes a methodology for designing Question Answering systems that utilize an action language ALM to allow inferences based on complex interactions of events described in texts. This methodology assumes the extension of the VERBNET lexicon with interpretable semantic annotations in ALM and specifies the use of several other NLP resources to produce ALM system descriptions for input discourses.

Artificial Intelligence, 2004

IGI Global eBooks, 2011

This chapter introduces planning and knowledge representation in the declarative action language K. Rooted in the area of Knowledge Representation & Reasoning, action languages like K allow to formalize complex planning problems involving non-determinism and incomplete knowledge in a very flexible manner. By giving an overview of existing planning languages and comparing these against our language, we aim on further promoting the applicability and usefulness of high-level action languages in the area of planning. As opposed to previously existing languages for modeling actions and change, K adopts a logic programming view where fluents representing the epistemic state of an agent might be true, false or undefined in each state. We will show that this view of knowledge states can be fruitfully applied to several well-known planning domains from the literature as well as novel planning domains. Remarkably, K often allows to model problems more concisely than previous action languages. All the examples given can be tested in an available implementation, the DLV K planning system.

In contemporary distributed applications questions concerning coordination have become increasingly urgent. There is a trade-off however to be made between the need for a highly reactive behavior and the need for semantically rich high level abstractions. Especially w.r.t. context-aware applications where various systems have to act together and come to coordinated conclusions the need for powerful semantic abstractions is evident. In our argument we start with a calculus for highly reactive behavior. Then we introduce stepwise two extensions w.r.t. the representation of semantic relationships. The first extension concerns the integration of description logics in order to represent statements about the current situation. The main extension however concerns the integration of classifications (also known as formal contexts). By integrating these highly abstract notions into our membrane-based calculus we make a proposal for the support of common sense reasoning during runtime. The main purpose of the resulting framework is to provide a generic notion of context which is accessible for a rigorous computational treatment during runtime. We claim that this proposal is a contribution to the robustness of systems behavior and context-awareness.

Computer Standards & Interfaces, 2013

Natural-language interfaces to policy-based frameworks for access control can facilitate deeper policy understanding and support the analysis and maintenance of policies. We have developed a translation module that maps sentences of Attempto Controlled English to predicates of many-sorted first-order logic, which can be directly used as policy rules and conditions in a logic-based policy framework. This translation achieves broader semantic coverage than previous work that uses ACE, by means of a novel lambda-calculus-based mapping that applies modern principles of compositional semantics, and by a set of semantic assumptions relevant to the use of natural language in describing access control policies. We also demonstrate a form of question answering that is supported natively by this translation. Our design also demonstrates a modular architecture for rapid development of natural language interfaces to new policy domains, enabled by the automatic generation of domain lexicons from logical signatures. We initially developed the translation module for a vocabulary in the cognitive radio domain, and subsequently generalized the system and applied it to additional domains. The module and framework inter-operate with policies written in the XACML rule language.