Busca avançada
Ano de início
Entree

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

Processo: 06/58251-5
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 agosto 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: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

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)

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