Banca de QUALIFICAÇÃO: FERNANDO NERES DE OLIVEIRA

Uma banca de QUALIFICAÇÃO de DOUTORADO foi cadastrada pelo programa.
DISCENTE : FERNANDO NERES DE OLIVEIRA
DATA : 01/06/2023
HORA: 15:00
LOCAL: Remoto
TÍTULO:

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

PALAVRAS-CHAVES:

Contrapositivização, Implicação difusa, Coimplicação difusa, Norma triangular, Conorma triangular, Negação difusa, Função overlap, Função grouping, ($S$,$N$)-contrapositivização, ($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, Contrapositivização intervalar, Contrapositivização Min-Max, Lógica difusa, $N$-compatibilidade, Simetrização contrapositiva.

PÁGINAS: 150
RESUMO:

Neste trabalho, introduzimos vários operadores de contrapositivização para implicações difusas que generalizam a contrapositivização média, apresentamos um amplo estudo de cada um destes operadores com respeito às principais propriedades comumente associadas com implicações difusas, provamos que as classes destes contrapositivizadores são invariantes por automorfismos e apresentamos algumas condições para estes operadores serem $N$-compatíveis, 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; e finalmente, introduzimos quatro técnicas de contrapositivização para coimplicações difusas chamadas upper, lower, medium e ($S$,$N$)-contrapositivização, caracterizamos os respectivos contrapositivizadores com respeito às principais propriedades comumente associadas com coimplicações difusas, apresentamos condições suficientes para a $N$-compatibilidade destes operadores, mostramos que as classes de tais operadores são também invariantes por automorfismos e propomos um método de construção de conormas triangulares a partir de ($S$,$N$)-contrapositivizadores de ($T$,$N$)-coimplicações e negações difusas.

MEMBROS DA BANCA:
Presidente - 1345816 - REGIVAN HUGO NUNES SANTIAGO
Interno - 2212166 - BENJAMIN RENE CALLEJAS BEDREGAL
Externa à Instituição - RENATA HAX SANDER REISER - UFPel