Reversal Fuzzy Switch Graph
Sistemas Fuzzy, Fuzzy Switch Graphs, Reversal Fuzzy Switch Graphs, Sistemas reativos, Funções de Agregação.
Apresentamos um modelo fuzzy baseado em estados chamado Reversal Fuzzy Switch Graphs (RFSG). Este modelo possibilita a ativação ou desativação de arestas, e a atualização de valores fuzzy a partir da ação de funções de agregação, sempre que ocorrer uma transição entre estados. A característica fuzzy dos RFSGs permite modelar incertezas. A ativação e desativação de arestas permite simular aspectos dinâmicos do acesso aos estados do sistema. Quando mais de uma função de agregação é usada neste processo, temos os Reversal Fuzzy Reactive Graphs (RFRGs).
Ademais, são propostas algumas operações sobre esses grafos que são baseadas em funções de agregação (união, interseção, produto cartesiano e extensão). Apresentamos, ainda, a relação entre os RFRGs e os usuais grafos fuzzy além de uma noção para simulação e bissimulação. Introduzimos o conceito de homomorfismo entre RFSGs e uma lógica modal para verificação de propriedades de sistemas que sejam modelados por esses grafos.