Busca avançada
Ano de início
Entree

Algoritmos para inferência em lógica probabilística baseados em computação local

Processo: 04/15052-7
Linha de fomento:Bolsas no Brasil - Iniciação Científica
Vigência (Início): 01 de abril de 2005
Vigência (Término): 31 de dezembro de 2005
Área do conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
Pesquisador responsável:Fabio Gagliardi Cozman
Beneficiário:Monica Goes Eboli
Instituição-sede: Escola Politécnica (EP). Universidade de São Paulo (USP). São Paulo, SP, Brasil
Assunto(s):Raciocínio probabilístico   Inteligência artificial

Resumo

O objetivo deste trabalho é desenvolver algoritmos para inferência em lógica probabilística usando a perspectiva de computação local - ou seja, supondo que as sentenças a serem processadas apresentem certa "estrutura" local, e que esta estrutura possa ser utilizada para aumentar a eficiência computacional. Nos últimos anos vários algoritmos têm sido propostos para inferência em lógica (proposicional e de primeira-ordem) usando computação local. Esses algoritmos podem ser estendidos para lógicas probabilísticas, mas a literatura até o momento não tem explorado esse aspecto. O trabalho pretende produzir um pacote em linguagem Java para inferência em conjuntos de sentenças envolvendo lógica e probabilidades. O trabalho está inserido no contexto de um pedido de auxílio à pesquisa submetido à FAPESP ora em avaliação. (AU)

Mapa da distribuição dos acessos desta página
Para ver o sumário de acessos desta página, clique aqui.