@misc{10498/38716,
year = {2025},
url = {http://hdl.handle.net/10498/38716},
abstract = {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.},
publisher = {Multidisciplinary Digital Publishing Institute (MDPI)},
keywords = {f-index of inclusion},
keywords = {fuzzy description logic},
keywords = {fuzzy inference system},
keywords = {fuzzy logic},
keywords = {inclusion measures},
title = {Correctness of Fuzzy Inference Systems Based on f-Inclusion},
doi = {10.3390/MATH13111897},
author = {Díaz-Monterroso, Carolina and Madrid Labrador, Nicolás Miguel and Ramírez Poussa, Eloísa},
}