Finite determinization of fuzzy automata using a parametric product-based t-norm
| dc.contributor.author | Micic, Ivana | |
| dc.contributor.author | Stanimirovic, Stefan | |
| dc.contributor.author | González de Mendívil Moreno, José Ramón | |
| dc.contributor.author | Ciric, Miroslav | |
| dc.contributor.author | Jancic, Zorana | |
| dc.contributor.department | Estadística, Informática y Matemáticas | es_ES |
| dc.contributor.department | Estatistika, Informatika eta Matematika | eu |
| dc.contributor.department | Institute of Smart Cities - ISC | en |
| dc.date.accessioned | 2024-09-30T10:26:41Z | |
| dc.date.issued | 2024-07-15 | |
| dc.date.updated | 2024-09-30T10:21:25Z | |
| dc.description.abstract | This paper presents a novel approach for the approximate determinization of fuzzy automata over the product structure. We introduce the parametric modification of the product t-norm in the pre-determinization setting. On the one hand, the behavior of a fuzzy automaton over the parametric t-norm differs from the behavior of the fuzzy automaton over the product t-norm only in words with a degree of acceptance below the given parameter. However, using the parametric t-norm, we obtain an algorithm that outputs a finite minimal deterministic fuzzy automaton whose behavior differs from the starting fuzzy automaton described above. By setting the parameter to a sufficiently small value, the proposed algorithm provides a deterministic fuzzy automaton with behavior that differs insignificantly from the starting fuzzy automaton, as the difference is achieved only for words accepted by the starting fuzzy automaton with an insignificant value. As a tradeoff, the proposed approach provides finite determinization, even when all other determinization methods would result in an infinite deterministic automaton. We support this fact with an illustrative example. | en |
| dc.description.sponsorship | I. Micic, S. Stanimirovic, JRG de Mendívil, M. Ciric, and Z. Jancic are supported by the Science Fund of the Republic of Serbia, Grant no 7750185, Quantitative Automata Models: Fundamental Problems and Applications - QUAM. They are also supported by the Ministry of Science, Technological Development and Innovation, Republic of Serbia, grant no. 451-03-65/2024-01/200124. | |
| dc.embargo.inicio | 2024-07-15 | |
| dc.embargo.lift | 2026-07-15 | |
| dc.embargo.terms | 2026-07-15 | |
| dc.format.mimetype | application/pdf | en |
| dc.identifier.citation | Micic, I., Stanimirovic, S., González de Mendívil, J. R., Ciric, M., Jancic, Z. (2024). Finite determinization of fuzzy automata using a parametric product-based t-norm. Fuzzy Sets and Systems, 488, 1-14. https://doi.org/10.1016/j.fss.2024.108990. | |
| dc.identifier.doi | 10.1016/j.fss.2024.108990 | |
| dc.identifier.issn | 0165-0114 | |
| dc.identifier.uri | https://academica-e.unavarra.es/handle/2454/51873 | |
| dc.language.iso | eng | |
| dc.publisher | Elsevier | |
| dc.relation.ispartof | Fuzzy Sets and Systems (2024), vol. 488, 108990 | |
| dc.relation.publisherversion | https://doi.org/10.1016/j.fss.2024.108990 | |
| dc.rights | © 2024 Elsevier B.V. This manuscript version is made available under the CC-BY-NC-ND 4.0 | |
| dc.rights.accessRights | info:eu-repo/semantics/embargoedAccess | |
| dc.rights.uri | https://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| dc.subject | Brzozowski's procedure | en |
| dc.subject | Finite determinization | en |
| dc.subject | Fuzzy automata | en |
| dc.subject | Minimal deterministic fuzzy automaton | en |
| dc.subject | Parametric t-norm | en |
| dc.subject | Product t-norm | en |
| dc.title | Finite determinization of fuzzy automata using a parametric product-based t-norm | en |
| dc.type | info:eu-repo/semantics/article | |
| dc.type.version | info:eu-repo/semantics/acceptedVersion | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 1c9265d3-e49f-4171-a180-c0450d53173b | |
| relation.isAuthorOfPublication.latestForDiscovery | 1c9265d3-e49f-4171-a180-c0450d53173b |