Portal InstitucionalUFPEL

01/05/2014 - 30/04/2017

Ciências Exatas e da Terra - Ciência da Computação

A Lógica Fuzzy (LF) e a Computação Quântica (CQ) são importantes áreas de pesquisa que buscam colaborar na descrição de duas formas de incerteza. A primeira, refere-se à modelagem e expressão do nosso raciocínio com fundamentação na Teoria dos Conjuntos Fuzzy, enquanto a segunda se reporta aos fenômenos do mundo real de acordo com as leis da Mecânica Quântica. Pela integração destes fundamentos, busca-se o desenvolvimento da LF via CQ aprofundando a investigação de propriedades como a sobreposição dos graus de pertinência e não pertinência e a correlação da dualidade de estados em sistemas fuzzy a partir das técnicas da CQ, como paralelismo quântico e emaranhamento. Nesse contexto, algoritmos quânticos (AQs) representam operações sobre conjuntos fuzzy (união, intersecção, X(N)OR, diferença, implicação) e as funções de pertinência têm sua codificação em estados quânticos, possivelmente em superposição. O Projeto propõe a modelagem de conectivos (agregadores, implicações, bi-implicações) da FL e de suas extensões (LF Intuicionista, LF Intervalar, LFHesitante e extensões fuzzy - tipo 2) a partir de portas e operadores quânticos (transformações unitárias, operadores de medida e projeção) além da expressão das computações sobre estes operadores. Investigam-se novas possibilidades de aumentar a capacidade de simulação de AQs em ambientes de programação convencionais pela exploração das características de arquiteturas massivamente paralelas como GPUs, visando o desenvolvimento de novas aplicações. O projeto visa consolidar a investigação da LF e suas extensões, reforçando sua integração com a CQ.