scholarly journals An Automatic Algorithm to Generate a Reachability Tree for Large-Scale Fuzzy Petri Net by And/Or Graph

Symmetry ◽  
2018 ◽  
Vol 10 (10) ◽  
pp. 454 ◽  
Author(s):  
Kai-Qing Zhou ◽  
Li-Ping Mo ◽  
Lei Ding ◽  
Wei-Hua Gui
Keyword(s):  
Petri Net ◽  
Large Scale ◽  
Production Rules ◽  
Knowledge Based ◽  
Three Phase ◽  
Fuzzy Petri Net ◽  
Fuzzy Production Rules ◽  
Relationship Of ◽  
Reachability Tree ◽  
Automatic Algorithm

Fuzzy Petri net (FPN) is widely used to repre sent, model and analyse knowledge-based systems (KBSs). Meanwhile, a reachability tree is an important tool to fully represent the flow relationship of FPN and is widely applied to implement inference in industrial areas. However, the traditional reachability ignores recording the dependence relationships (‘and/or’ relationship) among the places in the neighbouring layers. This paper develops a modified reachability tree based on an and/or graph and presents a three-phase generation algorithm to model the reachability tree for the corresponding FPN automatically via fuzzy production rules (FPRs). Four cases are used to verify the correctness and feasibility of the proposed algorithm from different viewpoints, such as general FPRs, FPRs with a condition-sharing situation, FPRs with a conclusion-sharing situation, and FPRs with multi-conclusions. Simulation results reveal that the proposed approach has the ability to automatically generate the reachability tree for the corresponding FPN correctly.

scholarly journals Divide Large Scale Fuzzy Petri Net into Equivalent Sub-FPNs using Reachability Tree

2020 ◽  
Vol 864 ◽  
pp. 012062
Author(s):  
Bi-Yu Liu ◽  
Kai-Qing Zhou ◽  
Sharifah Zarith Rahmah Syed Ahmad
Keyword(s):  
Petri Net ◽  
Large Scale ◽  
Fuzzy Petri Net ◽  
Reachability Tree

An equivalent generating algorithm to model fuzzy Petri net for knowledge-based system

2017 ◽  
Vol 30 (4) ◽  
pp. 1831-1842 ◽  
Author(s):  
Kai-Qing Zhou ◽  
Li-Ping Mo ◽  
Jie Jin ◽  
Azlan Mohd Zain
Keyword(s):  
Petri Net ◽  
Knowledge Based System ◽  
Knowledge Based ◽  
Fuzzy Petri Net

scholarly journals A decomposition algorithm of Petri net utilizing index function

Filomat ◽  
2020 ◽  
Vol 34 (15) ◽  
pp. 5085-5094
Author(s):  
Kai-Qing Zhou ◽  
Li-Ping Mo ◽  
Chang-Feng Chen ◽  
Wei Jiang
Keyword(s):  
Petri Net ◽  
Large Scale ◽  
Dynamic Properties ◽  
Decomposition Algorithm ◽  
State Explosion ◽  
Decomposition Approach ◽  
Index Function ◽  
Knowledge Based ◽  
And Control

Recently, it is difficult to simulate, analyze and control a real knowledge-based system using the correspondence Petri net (PN) when there exist many current states. To overcome the state explosion problem of PN, an efficient decomposition algorithm is presented to divide a large-scale PN into a series of corresponding sub-PNs by keeping the consistency of dynamic properties. In this novel decomposition approach, an index function is defined to judge the subnet needs to be decomposed or not. Furthermore, an exhaustive analysis on the consistency of related dynamic properties is also discussed between the original PN and the corresponding sub-PNs. Finally, a case study is carried out to illustrate the feasibility and validity of the proposed approach.

Application of an Improved Fuzzy Reasoning Petri Nets Algorithm in IDS

2012 ◽  
Vol 433-440 ◽  
pp. 2321-2325
Author(s):  
Li Ping Yang
Keyword(s):  
Petri Net ◽  
Intrusion Detection System ◽  
Detection System ◽  
Fuzzy Reasoning ◽  
Reasoning Ability ◽  
Production Rules ◽  
Good Tool ◽  
Fuzzy Petri Net ◽  
Reasoning Algorithm ◽  
Parallel Reasoning

Petri net is a good tool to express production rules. To address the problem that needs to decrease false alarm rate in Intrusion Detection System (IDS), an improved fuzzy Petri net reasoning algorithm with weight factor was presented and be applied in IDS. The algorithm takes into account weight of proposition in rules and improves accuracy of detection. The reasoning process was completed with matrix computation manner based on MYCIN confidence method. It has parallel reasoning ability and improved speed of reasoning. An example illustrated correctness and rationality of improved algorithm in IDS.

MODELING FUZZY REASONING USING HIGH LEVEL FUZZY PETRI NETS

1996 ◽  
Vol 04 (01) ◽  
pp. 61-85 ◽  
Author(s):  
HELOISA SCARPELLI ◽  
FERNANDO GOMIDE ◽  
WITOLD PEDRYCZ
Keyword(s):  
Time Complexity ◽  
Fuzzy Reasoning ◽  
Approximate Reasoning ◽  
Data Driven ◽  
Production Rules ◽  
Formal Tool ◽  
Fuzzy Petri Net ◽  
Fuzzy Production Rules ◽  
Fuzzy Petri Nets ◽  
High Level

A formal tool, the High Level Fuzzy Petri Net, is proposed for representing and processing fuzzy production rules in a knowledge base. The basic net structures to model inference patterns in approximate reasoning are introduced. The chaining mechanism used and the modeling of rules with fuzzy quantifiers and certainty factors are discussed. We have also investigated the representation of parallel and conflicting rules. Two types of fuzzy reasoning algorithms, to answer data driven and goal driven queries are described. The issue of time complexity of the algorithms is also addressed.

scholarly journals Geo-Spatial Analysis of Population Density and Annual Income to Identify Large-Scale Socio-Demographic Disparities

2021 ◽  
Vol 10 (7) ◽  
pp. 432
Author(s):  
Nicolai Moos ◽  
Carsten Juergens ◽  
Andreas P. Redecker
Keyword(s):  
Population Density ◽  
Large Scale ◽  
Methodological Approach ◽  
Spatial Relationship ◽  
Postal Code ◽  
Annual Income ◽  
Choropleth Maps ◽  
Clustering Approach ◽  
Relationship Of ◽  
Insight Into

This paper describes a methodological approach that is able to analyse socio-demographic and -economic data in large-scale spatial detail. Based on the two variables, population density and annual income, one investigates the spatial relationship of these variables to identify locations of imbalance or disparities assisted by bivariate choropleth maps. The aim is to gain a deeper insight into spatial components of socioeconomic nexuses, such as the relationships between the two variables, especially for high-resolution spatial units. The used methodology is able to assist political decision-making, target group advertising in the field of geo-marketing and for the site searches of new shop locations, as well as further socioeconomic research and urban planning. The developed methodology was tested in a national case study in Germany and is easily transferrable to other countries with comparable datasets. The analysis was carried out utilising data about population density and average annual income linked to spatially referenced polygons of postal codes. These were disaggregated initially via a readapted three-class dasymetric mapping approach and allocated to large-scale city block polygons. Univariate and bivariate choropleth maps generated from the resulting datasets were then used to identify and compare spatial economic disparities for a study area in North Rhine-Westphalia (NRW), Germany. Subsequently, based on these variables, a multivariate clustering approach was conducted for a demonstration area in Dortmund. In the result, it was obvious that the spatially disaggregated data allow more detailed insight into spatial patterns of socioeconomic attributes than the coarser data related to postal code polygons.

A Low Cost Knowledge Based System Framework for Design of Bending Die

2013 ◽  
Vol 549 ◽  
pp. 284-291 ◽  
Author(s):  
Deepak Panghal ◽  
Shailendra Kumar
Keyword(s):  
Sheet Metal ◽  
Low Cost ◽  
Visual Basic ◽  
Die Design ◽  
Small Scale ◽  
Production Rules ◽  
System Framework ◽  
Knowledge Based System ◽  
Sheet Metal Parts ◽  
Knowledge Based

This paper presents a low cost knowledge based system (KBS) framework for design of bending die. Considerations for development of KBS are discussed at some length. The proposed framework divides the task of development of expert system into different modules for major activities of bending die design. The procedure of development of KBS modules is also described at length. Production rules for each module are recommended to be coded in the AutoLISP language and designed to be loaded into the prompt area of AutoCAD or through user interface created using Visual Basic. Each module of the proposed framework is user interactive. Development of one module of the proposed framework is also described at length. This module is capable to assess manufacturability of bending sheet metal parts. An illustrative example is also included to demonstrate the usefulness of this module. The proposed system framework is flexible enough to accommodate new acquired knowledge. As the proposed system is implementable on a PC having AutoCAD software, therefore its low cost of implementation makes it affordable even by small scale sheet metal industries.

Sign in / Sign up

Export Citation Format

Share Document