Bolsa 11/07781-2 - Lógicas não clássicas, Computação quântica - BV FAPESP
Modalidades, lógica descritiva e probabilidade
Computação quântica, computação paraconsistente e lógica: interrelações e fundamen...
Da consequência lógica à probabilidade
Aspectos lógicos do problema da satisfatibilidade quântica
Processo: 11/07781-2
Pesquisador responsável: Marcelo Finger
Beneficiário: Anderson Beraldo de Araújo
Vinculado ao auxílio: 08/03995-5 - LOGPROB: lógica probabilística - fundamentos e aplicações computacionais, AP.TEM
Assunto(s): Lógicas não clássicas Computação quântica
Atualmente a computação quântica é um dos principais temas de pesquisa em ciência da computação. Nesse contexto, o problema da satisfatibilidade quântica (QSAT) revela elementos importantes da complexidade computacional quântica, os quais estão relacionados com o problema da satisfatibilidade probabilística (PSAT). O objetivo geral do presente projeto é investigar os aspectos lógicos de QSAT, contrastando-os com as características lógicas de PSAT. Mais concretamente, esta pesquisa tem dois objetivos específicos: (1) apresentar uma versão de QSAT através de um sistema lógico adequado às peculiaridades da computação quântica e (2) avaliar as diferenças entre 2-QSAT e 2-PSAT, investigando suas respectivas propriedades lógico-probabilísticas. (AU)