Continuous R-implications generated from representable aggregation functions (Q991413)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Continuous R-implications generated from representable aggregation functions |
scientific article |
Statements
Continuous R-implications generated from representable aggregation functions (English)
0 references
7 September 2010
0 references
Representable aggregation functions are non-associative and conjunctive binary operations on the interval \([0,1]\) based on the functional \(F(x,y)=g^{-1}(\max(0,g(x \land y)-g(N(x \lor y))))\), where \(N\) is a strong negation and \(g:[0,1]\to[0,\infty]\) is a continuous strictly increasing function with \(g(0)=0\). In this article, the authors introduce R-implications derived from this class of functions, i.e., functions based on the functional \(I_F(x,y)=\sup\{t\in [0,1] \;| \;F(x,t) \leq y\}\). A detailed study of such implications is given, where they are proved to be continuous fuzzy implications in the sense of Fodor and Roubens. Several important properties, like neutrality principle, ordering property, contrapositive symmetry and exchange principle, are analyzed. This allows the authors to obtain new solutions of the modus ponens and modus tollens properties with nilpotent t-norms.
0 references
fuzzy connectives
0 references
fuzzy implication
0 references
residual implication
0 references
aggregation function
0 references
triangular norm
0 references
strong negation
0 references
0 references