On new contrapositivisation techniques for (interval-valued) fuzzy (co)implications and their generalizations

• Ano de defesa: 2023
• Autor(a) principal: Oliveira, Fernando Neres de
• Orientador(a): Santiago, Regivan Hugo Nunes
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal do Rio Grande do Norte
• Programa de Pós-Graduação: PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO
• País: Brasil
• Palavras-chave em Português: Computação; Contrapositivização; Implicação difusa; Coimplicação difusa; Contrapositivização medium de valor intervalar; Lógica difusa; Simetrização contrapositiva; Fuzzy implication; Contrapositivisation; Fuzzy coimplication; Triangular norm; Triangular conorm; Fuzzy negation; (,)-Contrapositivisation; co-Upper contrapositivisation
• Área do conhecimento CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
• Link de acesso: https://repositorio.ufrn.br/handle/123456789/54859

Neste trabalho, introduzimos vários operadores de contrapositivização para implicações difusas, apresentamos um amplo estudo de cada um destes operadores com respeito às principais propriedades rotineiramente requeridas por implicações difusas, provamos que as classes destes contrapositivizadores são invariantes por automorfismos e apresentamos algumas condições para a -compatibilidade das respectivas contrapositivizações, propomos alguns métodos de construção de classes de normas triangulares (quasi-overlaps), conormas triangulares (quasi-groupings) e funções de agregação a partir destes contrapositivizadores; introduzimos a técnica de contrapositivização Min-Max para implicações difusas e algumas de suas generalizações; introduzimos quatro operadores de contrapositivização para coimplicações difusas chamados contrapositivizadores co-upper, co-lower, co-medium e co-(,)-, caracterizamos estes operadores do ponto de vista das propriedades que são geralmente atribuídas às coimplicações difusas, apresentamos condições suficientes para a -compatibilidade das contrapositivizações co-upper, co-lower, co-medium e co-(,)-, mostramos que as classes de contrapositivizadores co-upper, co-lower, co-medium e co-(,)- são fechadas sob a ação de automorfismos e propomos um método de construção de conormas triangulares a partir de co-(,)-contrapositivizadores de (,)-coimplicações e negações difusas; e finalmente, propomos as classes de contrapositivizadores upper, lower e medium de valor intervalar e caracterizamos amplamente cada uma delas, mostramos que ambas as classes são invariantes por automorfismos de valor intervalar, introduzimos a noção de -compatibilidade para as respectivas contrapositivizações de valor intervalar e provamos que as melhores representações intervalares de contrapositivizadores upper, lower e medium de valor real são, respectivamente, contrapositivizadores upper, lower e medium de valor intervalar.