scholarly journals Integrating a Neutral Action Language in a DEVS Modelling Environment

2015 ◽  
Author(s):  
Bruno Barroca ◽  
Sadaf Mustafiz ◽  
Simon Van Mierlo ◽  
Hans Vangheluwe
Keyword(s):  
Action Language ◽  
Modelling Environment

Between the Social and the Political

2018 ◽  
Vol 5 (2) ◽  
pp. 90-98
Author(s):  
Pia Rowe ◽  
David Marsh
Keyword(s):  
Political Participation ◽  
Political Science ◽  
Political Action ◽  
The Political ◽  
Conventional Theory ◽  
Important Relationship ◽  
The Social ◽  
Action Language

While Wood and Flinders’ work to broaden the scope of what counts as “politics” in political science is a needed adjustment to conventional theory, it skirts an important relationship between society, the protopolitical sphere, and arena politics. We contend, in particular, that the language of everyday people articulates tensions in society, that such tensions are particularly observable online, and that this language can constitute the beginning of political action. Language can be protopolitical and should, therefore, be included in the authors’ revised theory of what counts as political participation.

Narrativity in Action: Language, Culture and Text

2017 ◽  
Author(s):  
Magdalena Grabowska ◽  
Grzegorz Grzegorczyk ◽  
Piotr Kallas
Keyword(s):  
Action Language

From research to action: Language policy in Jamaica

Prospects ◽  
1981 ◽  
Vol 11 (3) ◽  
pp. 372-380 ◽  
Author(s):  
Errol L. Miller
Keyword(s):  
Language Policy ◽  
Action Language

Development and Application of a Simulation Tool for Biomass Gasification Based Processes

2008 ◽  
Vol 6 (1) ◽  
Author(s):  
Tobias Pröll ◽  
Hermann Hofbauer
Keyword(s):  
Background Information ◽  
Simulation Tool ◽  
Water Steam ◽  
Organic Mixtures ◽  
Ideal Gases ◽  
Dual Fluidized Bed ◽  
Modelling Environment ◽  
Model Equations ◽  
Key Aspects ◽  
Energy Balances

A simulation tool for gasification based processes is presented for an equation-oriented, steady state modelling environment. The approach aims at an adequate description of phenomena linked to gasification. Background information is provided regarding the structure of the framework, thermodynamic data processing, and on the formulation of the model equations. The implemented substance streams are water/steam, ideal gases, inorganic solids, and organic mixtures. The models are based upon mass and energy balances and feature thermodynamic considerations. The addition of correlations for fluid dynamics or chemical kinetics is generally possible but not within the focus of this paper. The key-aspects of the typical unit-models, like pumps, turbines, heat exchangers, separators and chemical reactors are highlighted. The model of a dual-fluidized bed biomass gasifier is presented in detail. In a final case study, the suitability of the simulation tool is demonstrated for the description of the gasification-based biomass combined heat and power plant in Güssing/Austria.

CoreALMlib: An library translated from the Component Library

2016 ◽  
Vol 16 (5-6) ◽  
pp. 800-816 ◽  
Author(s):  
DANIELA INCLEZAN
Keyword(s):  
Natural Language ◽  
Answer Set Programming ◽  
Natural Language Understanding ◽  
Inference Engine ◽  
Lexical Resources ◽  
Language Understanding ◽  
Commonsense Knowledge ◽  
Component Library ◽  
Action Language ◽  
Answer Set

AbstractThis paper presents CoreALMlib, an $\mathscr{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 $\mathscr{ALM}$. CLib consists of general reusable and composable commonsense concepts, selected based on a thorough study of ontological and lexical resources. Our translation targets CLibstates (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 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.

A CAD Logic Modelling Environment

1985 ◽  
Vol 28 (4) ◽  
pp. 104-114 ◽  
Author(s):  
Aart Bijl
Keyword(s):  
Modelling Environment

scholarly journals Modular action language

2015 ◽  
Vol 16 (2) ◽  
pp. 189-235 ◽  
Author(s):  
DANIELA INCLEZAN ◽  
MICHAEL GELFOND
Keyword(s):  
Logic Programming ◽  
Medium Size ◽  
Programming System ◽  
Problem Structuring ◽  
System Description ◽  
Action Languages ◽  
Special Cases ◽  
Action Language ◽  
Stepwise Development ◽  
High Level

AbstractThe 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. Atheoryconsists of one or more modules with a common theme, possibly organized into a module hierarchy based on adependency relation. It contains declarations of sorts, attributes, and properties of the domain together with axioms describing them.Structuresare 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.

scholarly journals Open Source for Water Management: including capabilities of MODFLOW-OWHM in the FREEWAT GIS modelling environment

2016 ◽  
Author(s):  
Iacopo Borsi ◽  
Rudy Rossetto ◽  
Massimiliano Cannata ◽  
Giovanna De Filippis ◽  
Matteo Ghetta
Keyword(s):  
Surface Waters ◽  
Water Resource Management ◽  
Complex Problem ◽  
Gis Analysis ◽  
Management Tools ◽  
Post Process ◽  
Process Procedures ◽  
Real World Applications ◽  
Modelling Environment ◽  
Gis Environment

FREEWAT is an ongoing GIS environment to serve as pre- and post-processor for running simulations of surface-/groundwater interaction, with the possibility to activate several features accounting for the different water stresses. This paper reports the capability related to address water resource management problems, by activating management tools available in the MODFLOW-OWHM code. The latter is integrated in FREEWAT, which appears as composite plugin of the well-know QGIS software (QGIS, 2016). Therefore, all the necessary pre- and post-process procedures can be run effectively within QGIS, also in conjunction with the several tools for GIS analysis already included in QGIS. It turns out a simple and intuitive user interface to manage the simulation of complex problem in which the mutual interaction among surface waters, groundwaters and anthropic water demand/supply terms can be handled. The development phase of such tools is already at an advanced stage, while next work will be focused on producing real-world applications to serve as tutorial for interest Users.

Sign in / Sign up

Export Citation Format

Share Document