Busca avançada
Ano de início
Entree

Lógica e inteligência artificial

Processo: 98/04815-7
Linha de fomento:Bolsas no Brasil - Iniciação Científica
Vigência (Início): 01 de agosto de 1998
Vigência (Término): 31 de julho de 1999
Área do 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

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)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)