Algoritmos para inferencia e aprendizado para logica probabilistica com relacoes de independencia.

• Processo: 04/09568-0
• Modalidade de apoio: Auxílio à Pesquisa - Regular
• Vigência: 01 de maio de 2005 - 31 de dezembro de 2007
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Fabio Gagliardi Cozman
• Beneficiário: Fabio Gagliardi Cozman
• Instituição Sede: Escola Politécnica (EP). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Raciocínio probabilístico Redes bayesianas Inteligência artificial Lógica de primeira ordem
• Palavra(s)-Chave do Pesquisador: Conjuntos De Probabilidades | Inteligencia Artificial | Logica De Primeira Ordem | Raciocinio Probabilistico | Redes Bayesianas

Resumo

A união de métodos lógicos e probabilísticos é um tema antigo em Inteligência Artificial: uma linguagem unificadora teria grande impacto em representação de conhecimento, aprendizado de regras, recuperação e busca de informações. No momento duas principais abordagens unem lógica e teoria de probabilidades, lógica probabilística e modelos probabilísticos relacionais. A primeira abordagem é extremamente flexível mas apresenta desafios computacionais intratáveis, enquanto a segunda abordagem é relativamente restrita mas obtém tratabilidade pelo uso de relações de independência. Esse projeto se propõe a construir uma lógica probabilística que seja associada a relações de probabilidade e obter algoritmos de inferência para a lógica resultante. Aplicações em Robótica Cognitiva e na construção da Web Semântica (Semantic Web) serão estudadas. (AU)

Publicações científicas

(8)

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

DE CAMPOS, CASSIO POLPO; COZMAN, FABIO GAGLIARDI; OCHOA LUNA, JOSE EDUARDO. Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence. JOURNAL OF APPLIED LOGIC, v. 7, n. 2, SI, p. 137-154, JUN 2009. (04/09568-0)

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)

DE CAMPOS, CASSIO POLPO; COZMAN, FABIO GAGLIARDI; DECOOMAN, G; VEJNAROVA, J; ZAFFALON, M. Inference in Credal Networks Through Integer Programming. ISIPTA 07-PROCEEDINGS OF THE FIFTH INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY:THEORIES AND APPLICATIONS, v. N/A, p. 3-pg., 2007-01-01. (04/09568-0)

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)

DE CAMPOS, CASSIO POLPO; COZMAN, FABIO GAGLIARDI; OCHOA LUNA, JOSE EDUARDO. Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence. JOURNAL OF APPLIED LOGIC, v. 7, n. 2, p. 18-pg., 2009-06-01. (04/09568-0)

COZMAN, FABIO G.; DE CAMPOS, CASSIO POLPO. Kuznetsov independence for interval-valued expectations and sets of probability distributions: Properties and algorithms. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 55, n. 2, p. 666-682, JAN 2014. (04/09568-0)

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)

SHIROTA FILHO, RICARDO; COZMAN, FABIO GAGLIARDI; TREVIZAN, FELIPE WERNDL; DE CAMPOS, CASSIO POLPO; DE BARROS, LELIANE NUNES; DECOOMAN, G; VEJNAROVA, J; ZAFFALON, M. Multilinear and Integer Programming for Markov Decision Processes with Imprecise Probabilities. ISIPTA 07-PROCEEDINGS OF THE FIFTH INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY:THEORIES AND APPLICATIONS, v. N/A, p. 3-pg., 2007-01-01. (04/09568-0, 05/58090-9)