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

• Processo: 08/03995-5
• Modalidade de apoio: Auxílio à Pesquisa - Temático
• Data de Início da vigência: 01 de fevereiro de 2009
• Data de Término da vigência: 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
• Pesquisadores associados: Anna Helena Reali Costa ; Jerônimo Cordoni Pellegrini ; Leliane Nunes de Barros ; Paulo Eduardo Santos ; Renata Wassermann
• Auxílio(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
• Palavra(s)-Chave do Pesquisador: Inferência Probabilística | Interpretação de Cenas | Lógica de Descrição Probabilística | Lógica Probabilística | Planejamento Probabilítico | Satisfatibilidade Probabilística | Lógica e 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

(23)

(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)

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. (05/58090-9, 03/11165-9, 04/09568-0, 08/03995-5)

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. (08/03995-5)

REVOREDO, KATE; OCHOA-LUNA, JOSE EDUARDO; COZMAN, FABIO GAGLIARDI; COSTA, ACD; VICARI, RM; TONIDANDEL, F. Learning Terminologies in Probabilistic Description Logics. ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2010, v. 6404, p. 10-pg., 2010-01-01. (08/03995-5)

DE MENEZES, MARIA VIVIANE; PEREIRA, SILVIO DO L.; DE BARROS, LELIANE N.; COSTA, ACD; VICARI, RM; TONIDANDEL, F. System Design Modification with Actions. ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2010, v. 6404, p. 10-pg., 2010-01-01. (08/03995-5)

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. (08/03995-5)

COZMAN, FABIO G.. Sets of probability distributions, independence, and convexity. SYNTHESE, v. 186, n. 2, p. 577-600, 2012. (04/09568-0, 08/03995-5)

SANTOS, PAULO; DEE, HANNAH M.; FENELON, VALQUIRIA; IEEE. Qualitative robot localisation using information from cast shadows. 2006 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), VOLS 1-10, v. N/A, p. 2-pg., 2009-01-01. (08/03995-5)

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, p. 19-pg., 2010-03-10. (08/03995-5)

BUENO-SOLER, JULIANA. Models for anodic and cathodic multimodalities. LOGIC JOURNAL OF THE IGPL, v. 20, n. 2, p. 19-pg., 2012-04-01. (08/03995-5, 04/14107-2)

BUENO-SOLER, JULIANA. Models for anodic and cathodic multimodalities. LOGIC JOURNAL OF THE IGPL, v. 20, n. 2, SI, p. 458-476, APR 2012. (04/14107-2, 08/03995-5)

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. (08/03995-5)

KIKUTI, DANIEL; COZMAN, FABIO GAGLIARDI; SHIROTA FILHO, RICARDO. Sequential decision making with partially ordered preferences. ARTIFICIAL INTELLIGENCE, v. 175, n. 7-8, p. 20-pg., 2011-05-01. (03/11165-9, 04/09568-0, 08/03995-5, 05/58090-9)

DELGADO, KARINA VALDIVIA; DE BARROS, LELIANE NUNES; COZMAN, FABIO GAGLIARDI; SHIROTA, RICARDO; AUGUSTIN, T; COOLEN, FPA; MORAL, S; TROFFAES, MCM. Representing and Solving Factored Markov Decision Processes with Imprecise Probabilities. ISIPTA '09: PROCEEDINGS OF THE SIXTH INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY: THEORIES AND APPLICATIONS, v. N/A, p. 3-pg., 2009-01-01. (08/03995-5)

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. (08/03995-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. (08/03995-5, 10/51038-0, 11/19860-4)

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. (08/03995-5)

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. (08/03995-5)

SANTOS, PAULO; DEE, HANNAH M.; FENELON, VALQUIRIA; COELHO, H; STUDER, R; WOOLDRIDGE, M. Knowledge-based adaptive thresholding from shadows. ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, v. 215, p. 2-pg., 2010-01-01. (08/03995-5)

OCHOA-LUNA, JOSE EDUARDO; REVOREDO, KATE; COZMAN, FABIO GAGLIARDI; BATYRSHIN, I; SIDOROV, G. Learning Probabilistic Description Logics: A Framework and Algorithms. Lecture Notes in Computer Science, v. 7094, p. 3-pg., 2011-01-01. (08/03995-5)

FINGER, MARCELO; REIS, POLIANA M.. On the Predictability of Classical Propositional Logic. INFORMATION, v. 4, n. 1, p. 15-pg., 2013-03-01. (08/03995-5)

DE ARAUJO, ANDERSON; FINGER, MARCELO. Classical and quantum satisfiability. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, v. N/A, n. 81, p. 6-pg., 2012-01-01. (10/51038-0, 08/03995-5, 11/07781-2)

FINGER, MARCELO. Towards automated first-order abduction: the cut-based approach. LOGIC JOURNAL OF THE IGPL, v. 20, n. 2, p. 18-pg., 2012-04-01. (08/03995-5)

BUENO-SOLER, JULIANA. Two Semantical Approaches to Paraconsistent Modalities. LOGICA UNIVERSALIS, v. 4, n. 1, p. 24-pg., 2010-03-01. (08/03995-5, 04/14107-2)