Banca de DEFESA: SUENE CAMPOS DUARTE

Uma banca de DEFESA de DOUTORADO foi cadastrada pelo programa.
STUDENT : SUENE CAMPOS DUARTE
DATE: 17/06/2022
TIME: 14:00
LOCAL: DIMAP UFRN
TITLE:

Reversal Fuzzy Switch Graph

KEY WORDS:

Switch Graphs, Reversal Fuzzy Switch Graphs, Reversal Fuzzy Reactive Graphs, Aggregations Functions.

PAGES: 140
BIG AREA: Ciências Exatas e da Terra
AREA: Ciência da Computação
SUBÁREA: Teoria da Computação
SPECIALTY: Lógicas e Semântica de Programas
SUMMARY:

We present a state-based Fuzzy model called Reversal Fuzzy Switch Graphs (RFSG). This model enables the activation or deactivation of edges as well as the updating of fuzzy values from the action of aggregation functions, whenever a transition occurs between the states. The Fuzzy feature of RFSGs allows you to model uncertainties whereas th activation and deactivation of edges allow the simulation of dynamic aspects of access to system states. When more than one aggregation function is used in this process, we have the Reversal Fuzzy Reactive Graphs (RFRG).
In addition, we propose some operations that are based on aggregation functions (unions, intersections, Cartesian product and extension). We also present the relationship between the RFRGs and the usual Fuzzy graphs together with a notion for simulation and bisimulation. We also introduce the concept of homomorphism between RFSGs and a modal logic for verifying properties of systems that are modeled by such graphs.

BANKING MEMBERS:
Presidente - 1345816 - REGIVAN HUGO NUNES SANTIAGO
Interno - 2212166 - BENJAMIN RENE CALLEJAS BEDREGAL
Interno - 1639701 - MARCEL VINICIUS MEDEIROS OLIVEIRA
Externo à Instituição - MANUEL ANTÓNIO GONÇALVES MARTINS - UA
Externo à Instituição - FLAULLES BOONE BERGAMASCHI - UESB
Externo à Instituição - JORGE PETRUCIO VIANA - UFF