TY - JOUR
ID - 4026
TI - New directions in general fuzzy automata: a dynamic-logical view
JO - AUT Journal of Mathematics and Computing
JA - AJMC
LA - en
SN -
AU - Abolpour, Khadijeh
AU - Zahedi, Mohammad mehdi
AU - Shamsizadeh, Marzieh
AD - Dept. of Math., Faculty Member, Islamic Azad University, Shiraz, Iran
AD - Dept. of Math., Graduate University of Advanced Technology, Kerman, Iran
AD - Dept. of Math., Behbahan Khatam Alanbia University of Technology, Behbahan, Iran
Y1 - 2020
PY - 2020
VL - 1
IS - 2
SP - 251
EP - 262
KW - Dynamic Logic
KW - General Fuzzy Automata
KW - Proposition
KW - Functor
KW - modal
KW - Transition
KW - Active State
DO - 10.22060/ajmc.2020.18629.1040
N2 - In the current study, by a general fuzzy automaton we aim at showing a set of propositions related to a given automaton showing that the truth-values are depended on thestates, inputs and membership values of active states at time t. This new approach enables us to consider automata from a different point of view which is more close to logical treatment and helps us make estimations about the behavior of automaton particularly in a nondeterministic mode. The logic consists of propositions on the given GFA and its dynamic nature is stated by means of the so-called transition functor. This logic enables us to derive a certain relation on the set of states labeled by inputs. In fact, it is shown that if our set of propositions is large enough, this recovering of the transition relation is possible. Through a synthesis in the theory of systems, this study contributes to construct a general fuzzy automaton which realizes a dynamic process at least partially known to the user, which has been fully achieved in Theorem 3.6. Also, we study the theory of general fuzzy automata by using the concepts of operators. Such operators help us in the algebraic study of general fuzzy automata theory and provide a platform to use fuzzy topological therein. Further, a Galois connection is obtained between the state-transition relation on states and thetransition operators on propositions. To illustrate the proposed approach, the subject matter is more elaborated in detail through examples.
UR - https://ajmc.aut.ac.ir/article_4026.html
L1 - https://ajmc.aut.ac.ir/article_4026_a9235238f7454c5c77fa22b6d639eda7.pdf
ER -