Computing Crisp Simulations and Crisp Directed Simulations for Fuzzy Graph-Based Structures

12/03/2020
by   Linh Anh Nguyen, et al.
0

Like bisimulations, simulations and directed simulations are used for analyzing graph-based structures such as automata, labeled transition systems, linked data networks, Kripke models and interpretations in description logic. Simulations characterize the class of existential modal formulas, whereas directed simulations characterize the class of positive modal formulas. These notions are worth studying. For example, one may be interested in checking whether a given finite automaton simulates another or whether an object in a linked data network has all positive properties that another object has. To deal with vagueness and uncertainty, fuzzy graph-based structures are used instead of crisp ones. In this article, we design efficient algorithms with the complexity O((m+n)n) for computing the largest crisp simulation and the largest crisp directed simulation between two finite fuzzy labeled graphs, where n is the number of vertices and m is the number of nonzero edges of the input fuzzy graphs. We also adapt them to computing the largest crisp simulation and the largest crisp directed simulation between two finite fuzzy automata.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

10/27/2020

Computing Crisp Bisimulations for Fuzzy Structures

Fuzzy structures such as fuzzy automata, fuzzy transition systems, weigh...
07/18/2021

Computing the Fuzzy Partition Corresponding to the Greatest Fuzzy Auto-Bisimulation of a Fuzzy Graph-Based Structure

Fuzzy graph-based structures such as fuzzy automata, fuzzy labeled trans...
09/06/2021

Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics

We formulate and prove logical characterizations of crisp simulations an...
03/25/2011

Algorithms for computing the greatest simulations and bisimulations between fuzzy automata

Recently, two types of simulations (forward and backward simulations) an...
12/03/2020

Graph Surfing in Reaction Systems from a Categorial Perspective

Graph-based reaction systems were recently introduced as a generalizatio...
09/06/2017

Foundation for a series of efficient simulation algorithms

Compute the coarsest simulation preorder included in an initial preorder...
10/26/2021

Fuzzy Conceptual Graphs: a comparative discussion

Conceptual Graphs (CG) are a graph-based knowledge representation and re...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.