Coimplicações Fuzzy Valoradas Intervalarmente / FUZZY COIMPLICATION INTERVAL VALUED

AUTOR(ES)
FONTE

IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia

DATA DE PUBLICAÇÃO

21/12/2010

RESUMO

A logica digital tradicional lida com variaveis assumindo apenas dois possıveis estados: falso e verdadeiro. Mas para grande numero de modelagens do mundo real desejamos valores intermediarios. O conceito de dualidade, estabelecendo que algo pode e deve coexistir com o seu oposto, faz a logica difusa parecer natural, ate mesmo inevitavel. Assim, a logica fuzzy introduz a habilidade em inferir conclusoes e gerar respostas baseadas em informac oes vagas, ambıguas e qualitativamente incompletas e imprecisas. Neste contexto, os sistemas de base fuzzy apresentam uma forma de raciocinar semelhante aos humanos, representando as expressoes da linguagem natural de maneira muito simples e intuitiva, levando `a construc ao de sistemas compreensıveis e de facil manutenc ao. Outra importante area de pesquisa baseada em modelos matematicos para tratamento da incerteza considera a matematica intervalar, a qual vem sendo aplicada na representac ao de dados inexatos. Em matematica intervalar, o princıpio da corretude consiste na garantia de que, na computac ao de um algoritmo, a saıda intervalar contem todos os possıveis resultados pontuais correspondentes aos dados pontuais referentes `a entrada intervalar. E, o princıpio da optimalidade, determina que a saıda intervalar seja a menor possıvel satisfazendo a corretude. Assim, a corretude e a condic ao mınima enquanto que a optimalidade e a condic ao ideal a ser satisfeita por uma computac ao intervalar. Com base nestes criterios, os intervalos podem ser aplicados para representar valores desconhecidos e para representar valores contınuos em algoritmos da Computac ao Cientıfica. O principal objetivo da logica fuzzy valorada intervalarmente e considerar as construc oes fuzzy intervalares como construc oes fuzzy que sao corretas e analisar criterios que garantam optimalidade. A extensao intervalar dos conectivos da logica fuzzy em estudo neste trabalho esta baseada na representac ao intervalar canonica de func oes reais e, neste caso, restrita ao intervalo unitario [0; 1] da reta real, que sempre retorna o menor intervalo contendo a imagem da func ao. Consideram-se conceitos e fundamentos de ambas abordagens, da logica fuzzy e da matematica intervalar, para estudar os operadores definidos como coimplicac oes, caracterizados como estrutura dual das implicac oes fuzzy, buscando introduzir a extensao intervalar das coimplicac oes fuzzy, analisando a satisfac ao de propriedades analogas `as respectivas classes de coimplicac oes fuzzy valoradas pontualmente. Em particular, mostra-se que coimplicac oes fuzzy valoradas intervalarmente sao representac oes de coimplicac oes fuzzy satisfazendo estes dois princıpios. O trabalho tambem contempla uma analise da estrutura dual das conjugadas de implicac oes valoradas intervalarmente, as quais sao obtidas por ac ao de automorfismos intervalares

ASSUNTO(S)

automorfismos ciencia da computacao interval fuzzy logic interval coimplications interval automorphisms fuzzy logic fuzzy coimplications automorphisms logica fuzzy intervalar coimplicações intervalares utomorfismo intervalar lógica fuzzy, coimplicações fuzzy

Documentos Relacionados