Busca avançada
Ano de início
Entree

Sistema PPl para lógica probabilística proposicional: linguagem, formatos e interfaces

Processo: 06/58252-1
Linha de fomento:Bolsas no Brasil - Iniciação Científica
Vigência (Início): 01 de janeiro de 2007
Vigência (Término): 31 de dezembro de 2007
Área do conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
Pesquisador responsável:Fabio Gagliardi Cozman
Beneficiário:Danillo Paulo Couto
Instituição-sede: Escola Politécnica (EP). Universidade de São Paulo (USP). São Paulo, SP, Brasil
Assunto(s):Cálculo proposicional   Inteligência artificial   Programação linear

Resumo

Este plano de trabalho propõe o desenvolvimento de um pacote denominado PPL (Propositional Probabilistic Logic), a ser distribuído livremente para a comunidade de pesquisa, que permita especificação e manipulação de fórmulas em lógica proposicional associadas a probabilidades. O trabalho integrará o projeto "Algoritmos para Inferência e Aprendizado para Lógica Probabilística com Relações de Independência", financiado pela FAPESP através do processo 04/09568-0. Dentro deste projeto de pesquisa, é importante iniciar o desenvolvimento de um sistema aberto, inicialmente voltado a lógica proposicional, e que possa receber gradualmente novos algoritmos. Este sistema deverá ser iniciado por dois alunos de iniciação científica (André da Costa Teves e Danillo Couto); o presente documento se refere ao segundo aluno, que se ocupará da implementação de algoritmos para (i) resolver o problema de inferência, a partir de um pacote de verificação de consistência implementado pelo aluno Paulo Sérgio Andrade; (ii) aumentar a eficiência dos algoritmos implementados no item (i) através do uso de heurísticas propostas na literatura; (iii) resolver o problema de inferência na presença de eventos com probabilidade zero, implementando algoritmo proposto por Cozman em 2002. (AU)

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