%0 Journal Article 
%A Díaz-Monterroso, Carolina
%A Madrid Labrador, Nicolás Miguel
%A Ramírez Poussa, Eloísa
%T Correctness of Fuzzy Inference Systems Based on f-Inclusion
%D 2025
%@ 2227-7390
%U http://hdl.handle.net/10498/38716
%X 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.
%K f-index of inclusion
%K fuzzy description logic
%K fuzzy inference system
%K fuzzy logic
%K inclusion measures
%~ Universidad de Cádiz