arrow
返回

Minimal Determinization Algorithm for Fuzzy Automata

delete2023-11-01
delete5
PRE
AI
A
Aitor González de Mendívil Grau
S
Stefan Stanimirović
F
F. Fariña *
DOI:10.1109/TFUZZ.2023.3268406delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
The determinization of fuzzy automata is a well-studied problem in theoretical computer science celebrated for its practical applications. Indeed, in the fields of fuzzy discrete event systems, fault diagnosis, clinical monitoring, decision-making systems, and model checking, when a suitable model of a fuzzy automaton is employed, it is desirable to find its language-equivalent deterministic version because of its computational efficiency. Although many methods have been developed to convert a fuzzy automaton to its language equivalent fuzzy deterministic finite automaton (FDfA), they can be applied only for fuzzy automata defined over specific underlying sets of truth values. For example, recently developed determinization methods employ the concept of maximal factorization, which can be defined only on nonlocally finite lattices or the Boolean lattice. In addition, not all such determinization methods result in a minimal FDfA. On the other hand, even though such determinization methods have been developed for fuzzy automata over specific underlying structures, these methods cannot be generalized for fuzzy automata over locally finite lattices. This article focuses on filling this gap and develops a novel method for computing a minimal FDfA for a fuzzy automaton defined over a locally finite and divisible residuated lattice. Our method uses the new concept of a reduction graph that emerges from the strict order relation on the resulting fuzzy states, according to which we can construct all minimal FDfAs equivalent to a given fuzzy automaton.
Keyword:
Brzozowski's procedure
complete deterministic fuzzy automaton
factorization of fuzzy states
fuzzy finite automata
locally finite lattices
minimal determinization method

期刊

IEEE Transactions on Fuzzy Systems 封面图
IEEE Transactions on Fuzzy Systems
IF:
11.9
论文数:
5.0K
被引数:
2.9W

机构

Universidad Publica de Navarra 封面图
Universidad Publica de Navarra
学者数:
4.0K
论文数: 3.6K
被引数: 3.2K
U
University of Nis
学者数:
3.1K
论文数: 2.4K
被引数: 1.4K
引用论文

引用论文

A systematic review and meta-analysis of effect of vitamin D levels on the incidence of COVID-19
err2021-09-03
err0
errOAAI
errLuiza Szarpak; Zubaid Rafique; Aleksandra Gasecka; Francesco Chirico; Wladyslaw Gawel; Jacek Hernik; Halla Kaminska; Krzysztof J. Filipiak; Milosz J. Jaguszewski; Lukasz Szarpak
err分享
err收藏
A channel allocation scheme considering with collisions and interferences in practical UHF RFID applied communication fields
err2008-04-01
err0
PREAI
errSeon Mi Yeo; Jeong Seok Kim; Chan Won Park; Gil Young Choi; Bu-Won Jeon; Jae Hyun Bae; Young Joo Moon; Yeon Joo Kim; Hyoung Hwan Roh; Jun Seok Park; Yeong Rak Seong; Ha Ryoung Oh
err分享
err收藏
Machine Learning for Source Identification of Dust on the Chinese Loess Plateau
err2020-11-02
err0
errOAAI
errXin Lin; Hong Chang; Kaibo Wang; Guishan Zhang; Ganggang Meng
err分享
err收藏
err分享
err收藏
Pattern recognition using temporal fuzzy automata
err2010-01-01
err43
PREAI
errBailador, Gonzalo; Trivino, Gracian
err分享
err收藏
学者 查看更多内容