Lógica e inteligência artificial

• Processo: 98/04815-7
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de agosto de 1998
• Data de Término da vigência: 31 de julho de 1999
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Jairo José da Silva
• Beneficiário: Pierre Lincoln Ribeiro da Costa
• Instituição Sede: Instituto de Geociências e Ciências Exatas (IGCE). Universidade Estadual Paulista (UNESP). Campus de Rio Claro. Rio Claro , SP, Brasil
• Assunto(s): Lógica computacional Lógicas não clássicas Inteligência artificial Linguagem de programação Semântica
• Palavra(s)-Chave do Pesquisador: Inteligencia Artificial | Linguagens De Programacao | Logica | Logicas Nao-Classicas | Representacao | Semantica

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 suas interpretações, quando couber, como linguagens de programação. (AU)