Computação paraconsistente : uma abordagem logica a computação quantica

Juan C. Agudelo

Orientador: Walter Alexandre Carnielli

Cecília Botelho, Gabriel Ramires, Vinícius Peruzzi +5 more

Este artigo propõe uma abordagem para a modelagem de emoções, explorando o impacto da Computação Quântica em comparação com a Computação Clássica. Utilizando o estudo de caso baseado no prisioneiro e policiais, analisamos como as duas abordagens se comportam na resolução desse dilema. Enquanto a Computação Clássica segue uma lógica binária e determinística, a Computação Quântica oferece a possibilidade de superposição e emaranhamento dos estados, permitindo uma representação mais abrangente das emoções envolvidas no cenário. Através da biblioteca Qiskit, realizamos simulações que demonstram as diferenças nos resultados obtidos pelas duas abordagens. Essa investigação destaca o potencial da Computação Quântica na modelagem de emoções e sinaliza uma direção promissora para futuras pesquisas nesse campo.

João Paulo da Silva Pereira

Neste trabalho é apresentada uma formalização da dualidade onda-partícula por meio da lógica paraconsistente anotada inspirada no cálculo C1 de Newton da Costa e enriquecida semanticamente pela lógica fuzzy. O objetivo consiste em representar formalmente estados físicos caracterizados por evidências favoráveis e desfavoráveis simultâneas sem que o sistema se torne trivial. Para isso, utiliza-se uma semântica baseada em reticulados e pares ordenados associados a graus de crença e descrença. Também são introduzidos estados inconsistentes e paracompletos, bem como interpretações modais relacionadas à medição quântica. Por fim, mostra-se que a lógica paraconsistente anotada, combinada com funções de pertinência fuzzy, fornece uma estrutura formal adequada para representar estados fenomenológicos associados à dualidade onda-partícula.

Maigan S. da S. Alcântara

Propomos um estudo sistemático das categorias relacionais como modelos da computação quântica através da abordagem categórica de Coecke-Abramsky. As categorias relacionais são aquelas que os objetos ou os morfismos são relações. Esses modelos são importantes para o desenvolvimento da ciência da computação quântica porque nos fornecem uma linguagem abstrata para descrever processos quânticos. Isso nos dá um alto nível de compreensão de como a teoria quântica funciona e o que podemos fazer com ela. Além disso, é interessante explorar modelos que generalizem a teoria quântica e a relacionem com outras teorias. As categorias compacta dagger foram aplicadas com sucesso nos fundamentos da mecânica quântica em geral. Investigamos as propriedades categóricas dos espaços de Chu como um modelo para a mecânica quântica categórica e, especificamente, como modelos para a computação quântica. Definimos duas categorias com base nos espaços de Chu, ChuRel e RelChu, e provamos que elas são modelos categóricos robustos para computação quântica. Mais precisamente, mostramos que a categoria ChuRel é uma categoria compacta dagger e possui duas estruturas de base complementares, semelhantes à conhecida categoria de conjuntos e relações finitos, FRel, utilizada na literatura. Mostra-se também que a categoria dos espaços de Chu é uma categoria regular, portanto é possível obter a categoria RelChu, por meio da construção geral de Heunen e Tull, e explorar suas propriedades quânticas. Além disso, essa tese revisa quatro categorias de relações L-fuzzy, cada uma modelando áreas onde a teoria dos conjuntos fuzzy pode ser aplicada. Uma relação L-fuzzy é uma relação valorada em um reticulado completo L com uma estrutura monoidal. Revisamos as noções dessas relações binárias multi-valoradas e apresentamos algumas propriedades básicas das categorias correspondentes visando aplicações em áreas como ciência da computação, lógica linear e mecânica quântica. A ênfase está nos aspectos monoidais das categorias. As categorias monoidais são um dos tipos de categorias mais aplicadas, uma vez que todas as categorias com uso em física, topologia, computação e lógica, são monoidais. Uma visão monoidal das relações fuzzy pode ampliar o espectro de aplicações da teoria dos conjuntos fuzzy.