Minimal determinization algorithm for fuzzy automata
| dc.contributor.author | González de Mendívil Grau, Aitor | |
| dc.contributor.author | Stanimirovic, Stefan | |
| dc.contributor.author | Fariña Figueredo, Federico | |
| dc.contributor.department | Estadística, Informática y Matemáticas | es_ES |
| dc.contributor.department | Estatistika, Informatika eta Matematika | eu |
| dc.date.accessioned | 2023-06-28T09:22:55Z | |
| dc.date.available | 2023-06-28T09:22:55Z | |
| dc.date.issued | 2023 | |
| dc.date.updated | 2023-06-28T09:09:35Z | |
| dc.description.abstract | 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 non-locally 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. | en |
| dc.description.sponsorship | Dr. Stefan Stanimirovic acknowledges the support of the Science Fund of the Republic of Serbia, GRANT No 7750185, Quantitative Automata Models: Fundamental Problems and Applications - QUAM, and the Ministry of Education, Science and Technological Development, Republic of Serbia, Contract No. 451-03-47/2023-01/200124 | en |
| dc.format.mimetype | application/pdf | en |
| dc.identifier.citation | Grau, A. G. D. M., Stanimirović, S., & Fariña, F. (2023). Minimal determinization algorithm for fuzzy automata. IEEE Transactions on Fuzzy Systems, 1-10. https://doi.org/10.1109/TFUZZ.2023.3268406 | en |
| dc.identifier.doi | 10.1109/TFUZZ.2023.3268406 | |
| dc.identifier.issn | 1063-6706 | |
| dc.identifier.uri | https://academica-e.unavarra.es/handle/2454/45642 | |
| dc.language.iso | eng | en |
| dc.publisher | IEEE | en |
| dc.relation.ispartof | IEEE Transactions on Fuzzy Systems, (2023), 1-10 | en |
| dc.relation.publisherversion | https://doi.org/10.1109/TFUZZ.2023.3268406 | |
| dc.rights | © 2023 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other work | en |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | |
| dc.subject | Fuzzy finite automata | en |
| dc.subject | Minimal determinization method | en |
| dc.subject | Complete deterministic fuzzy automaton | en |
| dc.subject | Brzozowski´s procedure | en |
| dc.subject | Factorization of fuzzy states | en |
| dc.subject | Locally finite lattices | en |
| dc.title | Minimal determinization algorithm for fuzzy automata | en |
| dc.type | info:eu-repo/semantics/article | |
| dc.type.version | info:eu-repo/semantics/acceptedVersion | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | b5b89afd-b97e-47ff-a168-fe99ad4607b0 | |
| relation.isAuthorOfPublication | 8462737f-e46e-4be7-8741-66da50af6c1d | |
| relation.isAuthorOfPublication.latestForDiscovery | b5b89afd-b97e-47ff-a168-fe99ad4607b0 |