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

• Processo: 06/58251-5
• 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 agosto 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: André da Costa Teves
• 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
• Palavra(s)-Chave do Pesquisador: Inteligencia Artificial | Logica Probabilistica | Logica Proposicional | Programacao Liner | Teoria De Probabilidade

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 cientifica (André da Costa Teves e Danillo Couto); o presente documento se refere ao primeiro aluno, que se ocupará da definição de sintaxe para definição de sentenças (na linguagem Python), interface com o usuário e interface do sistema com ferramentas existentes para lógica proposicional e lógica probabilística. (AU)