Busca avançada
Ano de início
Entree

Algoritmos para inferência e aprendizado de programas lógicos probabilísticos

Processo: 16/18841-0
Modalidade de apoio:Auxílio à Pesquisa - Parceria para Inovação Tecnológica - PITE
Vigência: 01 de agosto de 2017 - 31 de julho de 2019
Área do conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
Convênio/Acordo: IBM Brasil
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
Empresa Sede: IBM Brasil - Indústria, Máquinas e Serviços Ltda
Município: São Paulo
Pesquisadores associados:Denis Deratani Mauá
Bolsa(s) vinculada(s):17/19007-6 - Algoritmos de inferência e aprendizagem para programação lógica probabilística, BP.MS
Assunto(s):Aprendizado computacional  Programação lógica  Inteligência artificial  Raciocínio probabilístico 
Palavra(s)-Chave do Pesquisador:Aprendizado de Máquina | Inteligência Artificial | Programação Lógica | Raciocínio Probabilístico | Inteligência Artificial

Resumo

O objetivo deste projeto é desenvolver técnicas para inferência e aprendizado de programas lógico-probabilísticos, visando a indução automática e escalável de regras probabilísticas a partir de grandes bases de conhecimento. Estas técnicas têm aplicação em busca e recuperação de informações, diagnóstico automático, sistemas de decisão e recomendação - aplicações que se beneficiam de bases de conhecimento grandes e acuradas. Pretende-se trabalhar em duas direções: 1) investigar as propriedades teóricas de programas lógico-probabilísticos, já que existem várias questões em aberto relativas a sua complexidade e, mais importante, 2) desenvolver algoritmos de inferência e aprendizado de melhor qualidade que os existentes, já que existe amplo espaço aberto quando se foca em aprendizado de regras para conjuntos de dados de grande escala. Em relação ao estudo teórico, o PI e Associate Researcher têm investigado a semântica e a complexidade desse tipo de programa, e pretende-se aqui ampliar esse estudo para abordar programas não-estratificados e programas com funções. Em relação ao desenvolvimento de algoritmos, pretende-se aqui implementar algoritmos no pacote ProbLog, um pacote livre que oferece métodos de inferência para programas lógico-probabilísticos, e que permite aprendizado de probabilidades a partir de dados. Existem sistemas que permitem aprendizado de regras (como o sistema ProbFOIL), mas o desempenho computacional de tais sistemas é hoje insuficiente para o processamento de conjuntos de dados de grande escala. A estratégia a ser seguida neste projeto será de melhorar algoritmos existentes importando alguns recursos que têm sido utilizados com sucesso recentemente na literatura de aprendizado de máquina, em especial o uso de arquiteturas em camada que são aprendidas uma camada por vez. O projeto será bem sucedido se: (1) levar a uma caracterização da semântica e da complexidade de uma classe substancial de programas lógico-probabilísticos (uma classe suficientemente grande para codificar conhecimento na base NELL), (2) adicionar ao pacote ProbLog recursos que o permitam realizar inferências em bases de conhecimento de grande escala (pretende-se focar na base NELL como a principal base de testes, e sucesso será atingido se for possível aprender novas regras com melhor acurácia do que métodos existentes). (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

Publicações científicas (18)
(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)
MAUA, DENIS DERATANI; CONATY, DIARMAID; COZMAN, FABIO GAGLIARDI; POPPENHAEGER, KATJA; DE CAMPOS, CASSIO POLPO. Robustifying sum-product networks. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 101, n. SI, p. 163-180, . (16/01055-1, 16/18841-0)
COZMAN, FABIO GAGLIARDI; MAUA, DENIS DERATANI. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 110, n. SI, p. 107-126, . (16/18841-0, 15/21880-4)
COZMAN, FABIO GAGLIARDI. Evenly convex credal sets. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 103, p. 124-138, . (16/18841-0, 15/21880-4)
DE BONA, GLAUBER; COZMAN, FABIO G.. On the Coherence of Probabilistic Relational Formalisms. Entropy, v. 20, n. 4, . (16/18841-0, 16/25928-4)
MAUA, DENIS DERATANI; COZMAN, FABIO GAGLIARDI. Thirty years of credal networks: Specification, algorithms and complexity. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 126, p. 25-pg., . (19/07665-4, 16/18841-0, 15/21880-4)
AMENDOLA, JOSE; TANNURI, EDUARDO A.; COZMAN, FABIO G.; REALI COSTA, ANNA H.; ASME. PORT CHANNEL NAVIGATION SUBJECTED TO ENVIRONMENTAL CONDITIONS USING REINFORCEMENT LEARNING. PROCEEDINGS OF THE ASME 38TH INTERNATIONAL CONFERENCE ON OCEAN, OFFSHORE AND ARCTIC ENGINEERING, 2019, VOL 7A, v. N/A, p. 10-pg., . (16/21047-3, 16/18841-0)
COZMAN, FABIO GAGLIARDI; DEBOCK, J; DECAMPOS, CP; DECOOMAN, G; QUAEGHEBEUR, E; WHEELER, G. The Joy of Probabilistic Answer Set Programming. INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 162, v. 103, p. 11-pg., . (16/18841-0)
DE FARIA, FRANCISCO H. O. VIEIRA; GUSMAO, ARTHUR COLOMBINI; DE BONA, GLAUBER; MAUA, DENIS DERATANI; COZMAN, FABIO GAGLIARDI. Speeding up parameter and rule learning for acyclic probabilistic logic programs. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 106, p. 32-50, . (17/19007-6, 16/18841-0, 16/25928-4, 16/01055-1, 15/21880-4)
COZMAN, FABIO GAGLIARDI; MAUA, DENIS DERATANI. On the Semantics and Complexity of Probabilistic Logic Programs. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, v. 60, p. 221-262, . (16/18841-0, 16/01055-1)
OTTE VIEIRA DE FARIA, FRANCISCO HENRIQUE; COZMAN, FABIO GAGLIARDI; MAUA, DENIS DERATANI; MORAL, S; PIVERT, O; SANCHEZ, D; MARIN, N. Closed-Form Solutions in Learning Probabilistic Logic Programs by Exact Score Maximization. SCALABLE UNCERTAINTY MANAGEMENT (SUM 2017), v. 10564, p. 15-pg., . (15/21880-4, 16/01055-1, 16/18841-0)
COZMAN, FABIO GAGLIARDI; DEBOCK, J; DECAMPOS, CP; DECOOMAN, G; QUAEGHEBEUR, E; WHEELER, G. Semi-Graphoid Properties of Variants of Epistemic Independence Based on Regular Conditioning. INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 162, v. 103, p. 9-pg., . (16/18841-0)
COZMAN, FABIO GAGLIARDI; MUNHOZ, HUGO NERI. Some thoughts on knowledge-enhanced machine learning. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 136, p. 308-324, . (16/18841-0, 19/07665-4, 18/09681-4)
COZMAN, FABIO GAGLIARDI; MAUA, DENIS DERATANI. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 110, p. 20-pg., . (15/21880-4, 16/18841-0)
COZMAN, FABIO GAGLIARDI; MAUA, DENIS DERATANI; LANG, J. The Finite Model Theory of Bayesian Networks: Descriptive Complexity. PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, v. N/A, p. 5-pg., . (15/21880-4, 16/18841-0, 16/01055-1)
MAUA, DENIS DERATANI; CONATY, DIARMAID; COZMAN, FABIO GAGLIARDI; POPPENHAEGER, KATJA; DE CAMPOS, CASSIO POLPO. Robustifying sum-product networks. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 101, p. 18-pg., . (16/01055-1, 16/18841-0)
RUSCHEL, ANDREY; GUSMAO, ARTHUR COLOMBINI; POLLETI, GUSTAVO PADILHA; COZMAN, FABIO GAGLIARDI; KERNISBERNER, G; OGNJANOVIC, Z. Explaining Completions Produced by Embeddings of Knowledge Graphs. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2019, v. 11726, p. 12-pg., . (16/18841-0)
COZMAN, FABIO GAGLIARDI; MAUA, DENIS DERATANI. The joy of Probabilistic Answer Set Programming: Semantics, complexity, expressivity, inference. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 125, p. 22-pg., . (19/07665-4, 16/18841-0)
MAUA, DENIS DERATANI; COZMAN, FABIO GAGLIARDI. Complexity results for probabilistic answer set programming. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 118, p. 133-154, . (16/18841-0, 19/07665-4, 15/21880-4)

Por favor, reporte erros na lista de publicações científicas utilizando este formulário.
X

Reporte um problema na página


Detalhes do problema: