Fuzzy Implicative Rules: A Unified Approach
Raquel Fernandez-Peralta
TL;DR
This work reframes rule mining by modeling fuzzy rules as logical implicatives, introducing the monotonicity of the generalized modus ponens ($MTC$) as a key property to ensure coherent rule evaluation and monotone support. It identifies adequate operator pairs $(T,I)$ that satisfy both ($TC$) and ($MTC$), including several families of fuzzy implications and t-norms, and shows how the framework generalizes crisp and other fuzzy-rule perspectives. The authors provide an open-source Python implementation for mining fuzzy implicative associative rules and demonstrate directional pattern discovery and model similarity across datasets, highlighting the importance of operator choice for capturing directional information. The approach offers a flexible, interpretable framework that can augment traditional rule mining and XAI applications, with future work on broader operator design and integration into additional rule-mining tasks.
Abstract
Rule mining algorithms are one of the fundamental techniques in data mining for disclosing significant patterns in terms of linguistic rules expressed in natural language. In this paper, we revisit the concept of fuzzy implicative rule to provide a solid theoretical framework for any fuzzy rule mining algorithm interested in capturing patterns in terms of logical conditionals rather than the co-occurrence of antecedent and consequent. In particular, we study which properties should satisfy the fuzzy operators to ensure a coherent behavior of different quality measures. As a consequence of this study, we introduce a new property of fuzzy implication functions related to a monotone behavior of the generalized modus ponens for which we provide different valid solutions. Also, we prove that our modeling generalizes others if an adequate choice of the fuzzy implication function is made, so it can be seen as an unifying framework. Further, we provide an open-source implementation in Python for mining fuzzy implicative associative rules. We test the applicability and relevance of our framework for different real datasets and fuzzy operators.
