Banca de DEFESA: FERNANDO NERES DE OLIVEIRA

Uma banca de DEFESA de DOUTORADO foi cadastrada pelo programa.
DISCENTE : FERNANDO NERES DE OLIVEIRA
DATA : 28/07/2023
HORA: 09:00
LOCAL: Auditório I DIMAP - https://meet.google.com/bdh-nudx-jzq
TÍTULO:

Sobre novas técnicas de contrapositivização para (co)implicações difusas (de valor intervalar) e suas generalizações

PALAVRAS-CHAVES:

Contrapositivização, Implicação difusa, Norma triangular, Conorma triangular, Negação difusa, ($S$,$N$)-Contrapositivização, Coimplicação difusa, Contrapositivização co-upper, Contrapositivização co-lower, Contrapositivização co-medium, co-($S$,$N$)-Contrapositivização, Função overlap, Função grouping, ($G$,$N$)-Contrapositivização, Função quasi-overlap, Função quasi-grouping, ($QO$,$QG$,$N$)-Contrapositivização, Automorfismo, Função de agregação, Contrapositivização agregada, Contrapositivização bi-agregada, Melhor representação intervalar, Contrapositivização Min-Max, Contrapositivização upper de valor intervalar, Contrapositivização lower de valor intervalar, Contrapositivização medium de valor intervalar, Lógica difusa, $N$-compatibilidade, Simetrização contrapositiva.

PÁGINAS: 180
RESUMO:

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 $N$-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-($S$,$N$)-, 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 $N$-compatibilidade das contrapositivizações co-upper, co-lower, co-medium e co-($S$,$N$)-, mostramos que as classes de contrapositivizadores co-upper, co-lower, co-medium e co-($S$,$N$)- são fechadas sob a ação de automorfismos e propomos um método de construção de conormas triangulares a partir de co-($S$,$N$)-contrapositivizadores de ($T$,$N$)-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 $N$-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.

MEMBROS DA BANCA:
Presidente - 1345816 - REGIVAN HUGO NUNES SANTIAGO
Interno - 2212166 - BENJAMIN RENE CALLEJAS BEDREGAL
Externo ao Programa - 2645969 - ANDERSON PAIVA CRUZ - UFRNExterna à Instituição - RENATA HAX SANDER REISER - UFPel
Externo à Instituição - RUI EDUARDO BRASILEIRO PAIVA - IFCE