Banca de DEFESA: CLAUDIO ANDRÉS CALLEJAS OLGUÍN

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: CLAUDIO ANDRÉS CALLEJAS OLGUÍN
DATA: 13/02/2012
HORA: 15:00
LOCAL: Sala de Reuniões do DIMAp
TÍTULO:

What is a fuzzy implication?

PALAVRAS-CHAVES:

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

PÁGINAS: 80
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 residuadas  são bi-implicações no sentido 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 - 1517271 - JOAO MARCOS DE ALMEIDA
Interno - 1345816 - REGIVAN HUGO NUNES SANTIAGO
Externo à Instituição - JORGE PETRUCIO VIANA - UFF