Sistema ppl para logica probabilistica proposicional: linguagem, formatos e interfaces.

• Processo: 06/58252-1
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de janeiro de 2007
• Data de Término da vigência: 31 de dezembro de 2007
• Área de 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
• Palavra(s)-Chave do Pesquisador: Inteligencia Artificial | Logica Probabilistica | Logica Proposicional | Programacao Linear | Teoria De Probabilidades

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)