Banca de QUALIFICAÇÃO: CLAUDIO ANDRÉS CALLEJAS OLGUÍN

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE: CLAUDIO ANDRÉS CALLEJAS OLGUÍN
DATA: 23/12/2011
HORA: 10:00
LOCAL: Sala de Reuniões do DIMAp
TÍTULO:

A Generalization of the Fodor-Roubens Fuzzy Bi-implications

PALAVRAS-CHAVES:

Lógica Fuzzy, bi-implicação, padrões definitórios, automorfismo,

PÁGINAS: 30
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
SUBÁREA: Teoria da Computação
ESPECIALIDADE: Lógicas e Semântica de Programas
RESUMO:

Em 1994 Fodor e Roubens introduzem uma versão fuzzy para o conectivo proposicional de bi-implicação. No entanto, na maioria dos trabalhos que podem ser encontrados na literatura consideram um tipo especial de bi-implicações fuzzy que são geradas a partir de uma t-norma qualquer ou especifica e implicações residuadas de forma a generalizar a equivalência lógica clássica entre p<-->q e (p-->q)^(q-->p). Aqui vemos uma generalização desta construcao que se baseia na tambem equivalência lógica entre p<-->q e (pvq)-->(p^q). Mas mostramos que nem toda bi-implicação constroída dessa forma por considerar t-normas e t-conormas para a conjunção e disjunção, respetivamente, e implicações fuzzy de um modo geral, são bi-implicações no snetido de Fodor e Roubens, mas sim o são se enfraquecemos uns dos axiomas usados por Fodor e Roubens.   Também desenvolvemos uma analise de propriedades extras que são satisfeitas por esta nova forma classes de bi-implicação fuzzy.

MEMBROS DA BANCA:
Presidente - 2212166 - BENJAMIN RENE CALLEJAS BEDREGAL
Interno - 1350250 - ANNE MAGALY DE PAULA CANUTO
Interno - 1517271 - JOAO MARCOS DE ALMEIDA
Interno - 1345816 - REGIVAN HUGO NUNES SANTIAGO