Resumo
Este projeto de iniciação científica propõe um estudo de aplicações da lógica, em particular das lógicas ditas não - clássicas, à inteligência artificial. Estudaremos, em especial, as linguagens da lógica clássica proposicional e de predicados e das lógicas trivalente, intuicionista, temporal e "fuzzy", atentando às suas possibilidades como meios para a representação do conhecimento e sua…