1. Introducing fuzzy reactive graphs: a simple application on biology
- Author
-
Manuel A. Martins, Regivan H. N. Santiago, and Daniel Figueiredo
- Subjects
Bisimulation ,Structure (mathematical logic) ,0209 industrial biotechnology ,Theoretical computer science ,Biological systems ,Generalization ,Modal logic ,Computational intelligence ,02 engineering and technology ,Fuzzy control system ,Fuzzy systems ,Fuzzy logic ,Theoretical Computer Science ,Fuzzy switch graphs ,Fuzzy reactive graphs ,Fuzzy graphs ,020901 industrial engineering & automation ,Reactive systems ,0202 electrical engineering, electronic engineering, information engineering ,020201 artificial intelligence & image processing ,Geometry and Topology ,Reactive system ,Software ,Synthetic biology - Abstract
In this paper, we propose a generalization for fuzzy graphs in order to model reactive systems with fuzziness. As we will show, the resulting fuzzy structure, called fuzzy reactive graphs (FRG), is able to model dynamical aspects of some entities which generally appear in: biology, computer science and some other fields. The dynamical aspect is captured by a transition function which updates the values of the graph after an edge has been crossed. The update process takes into account aggregation functions. The paper proposes a notion for bisimulation for such graphs and briefly shows how modal logic can be used to verify properties of systems modeled with FSGs. The paper closes with a toy example in the field of Biology. published
- Published
- 2021