scholarly journals Multi-amalgamation of rules with application conditions in -adhesive categories

2014 ◽  
Vol 24 (4) ◽  
Author(s):  
ULRIKE GOLAS ◽  
ANNEGRET HABEL ◽  
HARTMUT EHRIG
Keyword(s):  
Petri Nets ◽  
Theoretical Basis ◽  
General Framework ◽  
Operational Semantics ◽  
Current Paper ◽  
Complex Case ◽  
Modelling Languages ◽  
Attributed Graphs ◽  
Standard Graph

Amalgamation is a well-known concept for graph transformations that is used to model synchronised parallelism of rules with shared subrules and corresponding transformations. This concept is especially important for an adequate formalisation of the operational semantics of statecharts and other visual modelling languages, where typed attributed graphs are used for multiple rules with nested application conditions. However, the theory of amalgamation for the double-pushout approach has so far only been developed on a set-theoretical basis for pairs of standard graph rules without any application conditions.For this reason, in the current paper we present the theory of amalgamation for$\mathcal{M}$-adhesive categories, which form a slightly more general framework than (weak) adhesive HLR categories, for a bundle of rules with (nested) application conditions. The two main results are the Complement Rule Theorem, which shows how to construct a minimal complement rule for each subrule, and the Multi-Amalgamation Theorem, which generalises the well-known Parallelism and Amalgamation Theorems to the case of multiple synchronised parallelism. In order to apply the largest amalgamated rule, we use maximal matchings, which are computed according to the actual instance graph. The constructions are illustrated by a small but meaningful running example, while a more complex case study concerning the firing semantics of Petri nets is presented as an introductory example and to provide motivation.

Petri Nets and GRN Models

2010 ◽  
pp. 604-637 ◽  
Author(s):  
Ina Koch
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Biochemical Networks ◽  
Complex Case ◽  
Modeling And Analysis ◽  
Analysis Techniques ◽  
Hybrid Petri Nets ◽  
Advantages And Disadvantages ◽  
Biochemical Systems

In this chapter, modeling of GRNs using Petri net theory is considered. It aims at providing a conceptual understanding of Petri nets to enable the reader to explore GRNs applying Petri net modeling and analysis techniques. Starting with an overview on modeling biochemical networks using Petri nets, the state-of-the-art with focus on GRNs is described. Other modeling techniques, for example, hybrid Petri nets are discussed. Basic concepts of Petri net theory are introduced involving special analysis techniques for modeling biochemical systems, for example, MCT-sets, T-clusters, and Mauritius maps. To illustrate these Petri net concepts, a more complex case study–the gene regulation in Duchenne Muscular Dystrophy–is explained in detail, considering the biological background and the interpretation of analysis results. Considering both, advantages and disadvantages, the chapter demonstrates the usefulness of Petri net modeling, in particular for GRNs.

Open Fuzzy Synchronized Petri Net

2016 ◽  
Vol 12 (1) ◽  
pp. 63-94 ◽  
Author(s):  
Sofia Kouah ◽  
Djamel Eddine Saïdouni ◽  
Ilham Kitouni
Keyword(s):  
Petri Nets ◽  
Operational Semantics ◽  
Concurrent Design ◽  
Multi Agent Systems ◽  
Action Refinement ◽  
Proposed Model ◽  
Multi Agent ◽  
Labeled Transition System ◽  
High Level

Designing Multi agent systems needs a high-level specification model which supports abstraction, dynamicity, openness and enables fuzziness. Since the model of Synchronized Petri Nets supports dynamicity and abstraction, we extend it by fuzziness, openness and interaction with environment. The proposed model called Open Fuzzy Synchronized Petri Nets (OFSyPN for short) associates action name with transitions and enables openness feature and interaction with environment. Each action has an uncertainty degree and places are typed. The authors give an operational semantics for OFSyPN in terms of Fuzzy Labeled Transition System (FLTS for short). FLTS is a semantics model, which allows a concise action refinement representation and deals with incomplete information through its fuzziness representation. Furthermore the structure can be used to produce a tree of potential concurrent design trajectories, named fuzzy labeled transition refinement tree (FLTRT for short). We exemplify the OFSyPN model thought a case study.

Behavioral flexibility in Belief-Desire- Intention (BDI) architectures

2020 ◽  
Vol 16 (4) ◽  
pp. 343-377
Author(s):  
Adel Saadi ◽  
Ramdane Maamri ◽  
Zaidi Sahnoun
Keyword(s):  
Critical Review ◽  
Practical Reasoning ◽  
Behavioral Flexibility ◽  
The Other ◽  
Current Paper ◽  
Simple Experiment ◽  
Bdi Agents ◽  
Popular Approach ◽  
Other Hand

The Belief-Desire-Intention (BDI) model is a popular approach to design flexible agents. The key ingredient of BDI model, that contributed to concretize behavioral flexibility, is the inclusion of the practical reasoning. On the other hand, researchers signaled some missing flexibility’s ingredient, in BDI model, essentially the lack of learning. Therefore, an extensive research was conducted in order to extend BDI agents with learning. Although this latter body of research is important, the key contribution of BDI model, i.e., practical reasoning, did not receive a sufficient attention. For instance, for performance reasons, some of the concepts included in the BDI model are neglected by BDI architectures. Neglecting these concepts was criticized by some researchers, as the ability of the agent to reason will be limited, which eventually leads to a more or less flexible reasoning, depending on the concepts explicitly included. The current paper aims to stimulate the researchers to re-explore the concretization of practical reasoning in BDI architectures. Concretely, this paper aims to stimulate a critical review of BDI architectures regarding the flexibility, inherent from the practical reasoning, in the context of single agents, situated in an environment which is not associated with uncertainty. Based on this review, we sketch a new orientation and some suggested improvements for the design of BDI agents. Finally, a simple experiment on a specific case study is carried out to evaluate some suggested improvements, namely the contribution of the agent’s “well-informedness” in the enhancement of the behavioral flexibility.

(In)visibility and the Process of Public Theology

2013 ◽  
Vol 7 (1) ◽  
pp. 45-64
Author(s):  
Eric Stoddart
Keyword(s):  
Theoretical Basis ◽  
Pierre Bourdieu ◽  
Roman Catholic ◽  
Public Theology ◽  
Substantive Content ◽  
Catholic Bishop ◽  
Recent Statement ◽  
Narrative Context ◽  
Analytical Device

Abstract In this article the notion of (in)visibility as a skill and an analytical device is brought into the field of public theology, and, using political and sociological insights from Andrea Brighenti and Pierre Bourdieu, a theoretical basis is established. Further, a liturgical and eschatological hermeneutic is applied to relativize (in)visibility and to locate its development as a skill in a Christian narrative context. The article argues that (in)visibility offers a complementary paradigm to the auditory that otherwise attends predominantly to the substantive content of public theological interventions; hence, it contends, the process and consequences for others (not necessarily acting as public theologians) are to be encompassed in a model of public theology. In addition, a case study on a recent statement by a Roman Catholic bishop in Scotland is presented.

scholarly journals Farmers’ Satisfaction of Rural Facilities and Its Influencing Indicators: A Case Study of Sichuan, China

2017 ◽  
Vol 2017 ◽  
pp. 1-12
Author(s):  
Yibin Ao ◽  
Jiayue Li ◽  
Yan Wang ◽  
Changjiang Liu ◽  
Shuhong Xu
Keyword(s):  
Decision Making ◽  
Theoretical Basis ◽  
Top Down ◽  
Recreational Facilities ◽  
Logit Regression ◽  
Life Type ◽  
Logit Regression Model ◽  
Public Toilets ◽  
Significant Factors

The disparity between construction targets and the real needs of farmers in the construction of rural facilities is a problem that has led to a failure in meeting farmers’ demands. This paper investigates farmers’ satisfaction and the influencing factors of rural facilities through factor analysis and logit regression model. This research led to three key findings: (1) overall satisfaction of farmers of rural facilities is below average level; (2) farmers’ satisfaction is affected mainly by the horizontal comparison, road facilities, electricity and signal facilities, reconstruction of public toilets, irrigation facilities, cultural and recreational facilities, renovation of fuel and kitchen, healthy facilities, village planning and renovation, and income factor; (3) farmers’ needs are shifting from production to life type. This paper is the foundation of further analysis of the effects of significant factors on farmers’ satisfaction, providing a theoretical basis for the construction of “bottom-up” and “top-down” decision-making mechanism.

scholarly journals An Optimality Analysis of the Phonological Processes in the Speech of Autistic Algerian Children: A Case Study

2020 ◽  
Vol 12 (4) ◽  
pp. 197
Author(s):  
Meymouna Bourzeg
Keyword(s):  
Autistic Child ◽  
Optimality Theory ◽  
Picture Naming ◽  
Current Paper ◽  
Autistic Children ◽  
Phonological Processes ◽  
Standard Arabic ◽  
Naming Test ◽  
Faithfulness Constraint

The current paper scrutinizes the phonological processes used by an autistic child, in Standard Arabic, via the use of a constraint-based framework of optimality theory. The data of the present study were collected through a picture-naming test. To ensure that the pictures are representative of all standard Arabic phonemes, the researcher designed a test containing 84 pictures representing three intra-word positions (initial, medial, and final). The results reveal that the autistic child grammar is characterized, mainly, with seven phonological processes: sibilant dentalization, de-emphasization, gliding, stopping, nasality spreading, final consonant deletion, and fronting. Autistic children's phonological system is stigmatized by unmarked forms. In terms of optimality theory, treating the phonological problems of autistic children requires demoting the highly ranked unmarked constraints and promoting the lowest-ranked faithfulness constraint.

Sign in / Sign up

Export Citation Format

Share Document