RT journal article
T1 Correctness of Fuzzy Inference Systems Based on f-Inclusion
A1 Díaz-Monterroso, Carolina
A1 Madrid Labrador, Nicolás Miguel
A1 Ramírez Poussa, Eloísa
A2 Matemáticas
K1 f-index of inclusion
K1 fuzzy description logic
K1 fuzzy inference system
K1 fuzzy logic
K1 inclusion measures
AB Recent work has shown that the f-index of inclusion can serve as a foundation for modeling Generalized Modus Ponens. In this paper, we develop a novel fuzzy inference system based on this inference rule. To establish its soundness, we connect it to a Fuzzy Description Logic (Formula presented.) enriched with fuzzy modifiers (also known as fuzzy hedges). This logic background provides to the approach a strength absent in most fuzzy inference systems in the literature, which allows us to formally prove a series of results that culminate in a final correctness theorem for the proposed fuzzy inference system. This paper also presents a running example aimed at showing the potential applicability of the proposal.
PB Multidisciplinary Digital Publishing Institute (MDPI)
SN 2227-7390
YR 2025
FD 2025
LK http://hdl.handle.net/10498/38716
UL http://hdl.handle.net/10498/38716
LA eng
DS Repositorio Institucional de la Universidad de Cádiz
RD 09-may-2026