LOGPROB: lógica probabilística - fundamentos e aplicações computacionais

• Processo: 08/03995-5
• Linha de fomento: Auxílio à Pesquisa - Temático
• Vigência: 01 de fevereiro de 2009 - 31 de janeiro de 2012
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação
• Pesquisador responsável: Marcelo Finger
• Beneficiário: Marcelo Finger
• Instituição-sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Pesquisadores principais: Fabio Gagliardi Cozman
• Pesq. associados: Anna Helena Reali Costa ; Jerônimo Cordoni Pellegrini ; Leliane Nunes de Barros ; Paulo Eduardo Santos ; Renata Wassermann
• Auxílios(s) vinculado(s): 09/17116-6 - Sistemas de visão cognitiva: integrando modos de raciocínio quantitativo e qualitativo, AV.EXT
• Bolsa(s) vinculada(s): 11/19860-4 - Raciocínio lógico-probabilístico: algoritmos e aplicações, BE.PQ; 11/16962-0 - Programação dinâmica em tempo real e Simulação de Monte Carlo para planejamento probabilístico, BP.MS; 11/07781-2 - Aspectos lógicos do problema da satisfatibilidade quântica, BP.PD; + mais bolsas vinculadas 10/15392-3 - Revisão de modelos CTL, BP.DR; 10/10845-0 - Atualização de modelos baseada em ações, BP.DD; 09/14650-1 - Extração de preferências combinando metas de Alcançabilidade estendida e funções reforços, BP.PD; 09/14396-8 - Uso de conhecimento semântico em robótica móvel através de lógicas de descrição probabilísticas, BP.PD; 09/11791-3 - Modalidades, lógica descritiva e probabilidade, BP.PD; 09/04489-9 - RRL-RM: navegação de robôs móveis baseada em aprendizado por reforço relacional, BP.MS; 09/07300-4 - Aprendizado de lógicas de descrição probabilísticas, BP.PD - menos bolsas vinculadas
• Assunto(s): Inteligência artificial

Resumo

Das possíveis formas de raciocínio que um agente racional pode utilizar, o raciocínio lógico e as inferências probabilísticas estão entre as que recebem maior destaque na prática, sendo incorporadas em modelos e em programas de computador para a realização das mais diversas tarefas. No entanto, as interações possíveis entre estas formas de raciocínio ainda não são muito bem compreendidas, tanto do ponto de vista teórico como no de aplicações computacionais. Do ponto de vista teórico, ainda está-se por estabelecer, de forma inequívoca, relações entre valores verdades e distribuições de probabilidades sobre fórmulas. Do ponto de vista de aplicações, ainda está-se tentando estabelecer a fronteira entre quando empregar inferências lógicas e quando empregar inferências estatísticas. Este projeto pretende investigar estas questões, tanto do aspecto teórico quanto do aspecto de aplicações computacionais. Abordaremos a área de satisfatibilidade probabilística, lógicas de descrição probabilísticas para web semântica, planejamento probabilístico e análise de cenas. Este projeto pretende desenvolver softwares que abordem os temas investigados e disponibilizá-los através de uma licença de software livre dentro do escopo da Divisão de Inteligência Artificial do Centro de Competência em Software Livre da USP. (AU)

Publicações científicas

(10)

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

COZMAN, FABIO G. Independence for full conditional probabilities: Structure, factorization, non-uniqueness, and Bayesian networks. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 54, n. 9, p. 1261-1278, NOV 2013. Citações Web of Science: 5.

D'AGOSTINO, MARCELLO; FINGER, MARCELO; GABBAY, DOV. Semantics and proof-theory of depth bounded Boolean logics. THEORETICAL COMPUTER SCIENCE, v. 480, p. 43-68, APR 8 2013. Citações Web of Science: 8.

BUENO-SOLER, JULIANA. Models for anodic and cathodic multimodalities. LOGIC JOURNAL OF THE IGPL, v. 20, n. 2, SI, p. 458-476, APR 2012. Citações Web of Science: 2.

FINGER, MARCELO. Towards automated first-order abduction: the cut-based approach. LOGIC JOURNAL OF THE IGPL, v. 20, n. 2, SI, p. 370-387, APR 2012. Citações Web of Science: 0.

COZMAN, FABIO G. Sets of probability distributions, independence, and convexity. SYNTHESE, v. 186, n. 2, p. 577-600, 2012. Citações Web of Science: 22.

DELGADO, KARINA VALDIVIA; DE BARROS, LELIANE NUNES; COZMAN, FABIO GAGLIARDI; SANNER, SCOTT. Using mathematical programming to solve Factored Markov Decision Processes with Imprecise Probabilities. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 52, n. 7, p. 1000-1017, OCT 2011. Citações Web of Science: 4.

DELGADO, KARINA VALDIVIA; SANNER, SCOTT; DE BARROS, LELIANE NUNES. Efficient solutions to factored MDPs with imprecise transition probabilities. ARTIFICIAL INTELLIGENCE, v. 175, n. 9-10, p. 1498-1527, JUN 2011. Citações Web of Science: 17.

KIKUTI, DANIEL; COZMAN, FABIO GAGLIARDI; SHIROTA FILHO, RICARDO. Sequential decision making with partially ordered preferences. ARTIFICIAL INTELLIGENCE, v. 175, n. 7-8, SI, p. 1346-1365, MAY 2011. Citações Web of Science: 14.

DEE‚ H.M.; SANTOS‚ P.E. The perception and content of cast shadows: an interdisciplinary review. Spatial Cognition and Computation, v. 11, n. 3, p. 226-253, 2011.

FINGER, MARCELO; BEZERRA, GERMANO C.; CONDE, DANILO R. Resource use pattern analysis for predicting resource availability in opportunistic grids. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, v. 22, n. 3, SI, p. 295-313, MAR 10 2010. Citações Web of Science: 11.