The law of O-conditionality for fuzzy implications constructed from overlap and grouping functions
Fecha
2019Autor
Versión
Acceso abierto / Sarbide irekia
Tipo
Artículo / Artikulua
Versión
Versión aceptada / Onetsi den bertsioa
Identificador del proyecto
ES/1PE/TIN2016-77356-P
Impacto
|
10.1016/j.ijar.2018.11.006
Resumen
Overlap and grouping functions are special kinds of non necessarily associative aggregation operators proposed for many applications, mainly when the associativity property is not strongly required. The classes of overlap and grouping functions are richer than the classes of t-norms and t-conorms, respectively, concerning some properties like idempotency, homogeneity, and, mainly, the self-closed ...
[++]
Overlap and grouping functions are special kinds of non necessarily associative aggregation operators proposed for many applications, mainly when the associativity property is not strongly required. The classes of overlap and grouping functions are richer than the classes of t-norms and t-conorms, respectively, concerning some properties like idempotency, homogeneity, and, mainly, the self-closedness feature with respect to the convex sum and the aggregation by generalized composition of overlap/grouping functions. In previous works, we introduced some classes of fuzzy implications derived by overlap and/or grouping functions, namely, the residual implications R-0-implications, the strong implications (G, N)-implications and the Quantum Logic implications QL-implications, for overlap functions O, grouping functions G and fuzzy negations N. Such implications do not necessarily satisfy certain properties, but only weaker versions of these properties, e.g., the exchange principle. However, in general, such properties are not demanded for many applications. In this paper, we analyze the so-called law of O-Conditionality, O(x, 1(x, y)) <= y, for any fuzzy implication I and overlap function O, and, in particular, for Ro-implications, (G, N)-implications, QL-implications and D-implications derived from tuples (O, G, N), the latter also introduced in this paper. We also study the conditional antecedent boundary condition for such fuzzy implications, since we prove that this property, associated to the left ordering property, is important for the analysis of the O-Conditionality. We show that the use of overlap functions to implement de generalized Modus Ponens, as the scheme enabled by the law of O-Conditionality, provides more generality than the laws of T-conditionality and U-conditionality, for t-norms T and uninorms U, respectively. [--]
Materias
Overlap functions,
Grouping functions,
Fuzzy implications,
O-conditionality,
Conditional antecedent boundary condition
Editor
Elsevier
Publicado en
International Journal of Approximate Reasoning, 105 (2019) 27-48
Departamento
Universidad Pública de Navarra. Departamento de Estadística, Informática y Matemáticas /
Nafarroako Unibertsitate Publikoa. Estatistika, Informatika eta Matematika Saila /
Universidad Pública de Navarra. Departamento de Ingeniería /
Nafarroako Unibertsitate Publikoa. Ingeniaritza Saila /
Universidad Pública de Navarra/Nafarroako Unibertsitate Publikoa. Institute of Smart Cities - ISC
Versión del editor
Entidades Financiadoras
This work was partially supported by the Spanish Ministry of Science and Technology under the project TIN2016-77356-P (AEI/FEDER, UE), and by the Brazilian funding agency CNPQ under Processes 305882/2016-3, 481283/2013-7, 306970/2013-9, 232827/2014-1 and 307681/2012-2.