Um estudo da lógica linear com aplicação em ciência da computação
Resumo
A ciência da computação se ocupa da automatização do raciocínio para solucionar
problemas e auxiliar no exercício de determinadas atividades. Nesta área, as lógicas clássica
e intuicionista são muito utilizada no desenvolvimento de algoritmos que atendam às
necessidades do mundo real. Porém, há restrições que não são previstas pelos sistemas
lógicos clássicos, como a escassez de recursos à disposição neste mundo. Os sistemas
lógicos usuais lidam com verdades gerais e imutáveis. A lógica linear, por outro lado, foi
desenvolvida para permitir a produção com base nas questões de realismo e preservação
de recursos, tão comuns no mundo construtivista em que se vive. Tais conceitos possuem
grande receptividade em áreas computacionais como inteligência artificial, sistema
de tipos, interpretação abstrata e computação paralela. Este trabalho apresenta um estudo
da lógica linear com aplicação em ciência da computação e com algum contraste com
outros sistemas lógicos. Primeiro será discutida a lógica linear como linguagem formal
e seu sistema de dedução natural. Depois, para demonstrar como a lógica linear pode
ser aplicada na ciência da computação, será utilizada uma aplicação baseada em sistemas
concorrentes, um dos grandes focos da lógica linear, desenvolvida para ilustrar uma
aplicação desenvolvida de forma linear.
Coleções
Os arquivos de licença a seguir estão associados a este item: