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: 14:00
LOCAL: Escola de Ciências e Tecnologia - sala 6
TÍTULO:

What is a fuzzy bi-implication?

PALAVRAS-CHAVES:

Fuzzy logic, bi-implication, defining standard

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:

we dedicated the first chapter to exhibit in detail what motivated us,
how we justify this work and which are the boundaries that this dissertation
embraces.

In order to make this document self-contained, we first present all the
necessary theory as a background. Then we study several definitions that
extended the classic bi-implication in to the domain of well stablished fuzzy
logics, namely, into the [0, 1] interval. Those approaches of the fuzzy bi-implication
can be summarized as follows: two axiomatized definitions, which we
proved that represent the same class of functions, four defining standard (two of them
proposed by us), which varied by the number of different compound operators and what
restrictions they had to satisfy. We proved that those defining standard
represent only two classes of functions, having one as a proper subclass of the other,
yet being both a proper subclass of the class represented by the axiomatized
definitions.
Since those three clases satisfy some contraints that we judge
unnecessary, we proposed a new defining standard free of those restrictions and that
represents a class of functions that intersects with the class represented by the
axiomatized definitions.

By this dissertation we are aiming to settle the groundwork for future
research on this operator in what we believe is an area that has to much
mature.

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