RT Journal Article
T1 Parameterized Simplification Logic: Reasoning With Implications in an Automated Way
A1 Cordero-Ortega, Pablo
A1 Enciso-García-Oliveros, Manuel
A1 Mora-Bonilla, Ángel
A1 Vychodil, Vilem
K1 Lógica difusa
AB In this sequel to our previous article (Cordero et al., 2020) on general inference systems for reasoning with if–then dependencies, we study transformations of if–then rules to semantically equivalent collections of if–then rules suitable to solve several problems related to reasoning with data dependencies.Wework in a framework of general lattice-based if–then rules whose semantics is parameterized by systems of isotone Galois connections. This framework allows us to obtain theoretical insight as well as algorithms on a general level and observe their special cases by choosing  types of parameterizations. This way, we study methodsfor automated reasoning with different types of if–then rules in a single framework that covers existing as well as novel types of rules. Our approach supports a large family of if–then rules, including fuzzy if–then rules with various types of semantics. Themain results in this article include new observations on the syntactic inference of if–then rules, complete collections of rules, reduced normal forms of collections of rules, and automated reasoning methods. We demonstrate the generality of the framework and the results by examples of their particular cases focusing on fuzzy if–then rules.
PB IEEE
YR 2022
FD 2022
LK https://hdl.handle.net/10630/29665
UL https://hdl.handle.net/10630/29665
LA eng
NO This work was supported in part by the Spanish Ministry of Science, Innovation, and Universities (MCIU), in part by the State Agency of Research (AEI), in part by the Junta de Andalucía (JA), in part by the Universidad de Málaga (UMA), and in part by the European Regional Development Fund (FEDER) under Grant TIN2017-89023-P (MCIU/AEI/FEDER), Grant UMA2018-FEDERJA-001, Grant UMA18-FEDERJA-158, and Grant UMACEIATECH- 24 (JA/UMA/FEDER).
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 23 ene 2026