Research Grants 16/18841-0 - Aprendizado computacional, Programação lógica - BV FAPESP
Advanced search
Start date
Betweenand

Inference and learning algorithms for probabilistic logic programming

Grant number: 16/18841-0
Support Opportunities:Research Grants - Research Partnership for Technological Innovation - PITE
Start date: August 01, 2017
End date: July 31, 2019
Field of knowledge:Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
Agreement: IBM Brasil
Principal Investigator:Fabio Gagliardi Cozman
Grantee:Fabio Gagliardi Cozman
Host Institution: Escola Politécnica (EP). Universidade de São Paulo (USP). São Paulo , SP, Brazil
Company: IBM Brasil - Indústria, Máquinas e Serviços Ltda
City: São Paulo
Associated researchers:Denis Deratani Mauá
Associated scholarship(s):17/19007-6 - Inference and learning algorithms for probabilistic logic programming, BP.MS

Abstract

The goal of this project is to develop inference and learning techniques for probabilistic logic programs, with an eye on the scalable automatic induction of probabilistic rules from large knowledge bases. Such techniques have applications in information search and retrieval, automated diagnosis, decision and recommendation systems - applications that benefit from large and accurate knowledge bases. We intend to work in two directions: (1) to study the theoretical properties of probabilistic logic programs, as there are still several open questions concerning their complexity; and, more importantly, (2) to develop better inference and learning algorithms for probabilistic logic programs, as there is largely an open territory when it comes to rule learning from large-scale datasets. Concerning the theoretical study, the PI and Associate Researcher have already investigated the semantics and complexity of such programs, and we intend to do further study of non-stratified and disjunctive programs. Concerning algorithmic development, we intend to implement our algorithms on top of the the ProbLog package, a freely available package that runs inference for probabilistic logic programs and that can learn probabilities from data. There are packages that can also learn the rules themselves (for instance, the ProbFOIL package, however their current computational performance is insufficient for processing large-scale datasets. The strategy for this research will be to enhance existing algorithms by importing some of the insights that have been recently employed in machine learning: namely, the focus on layered architectures with layer-wise learning. The project will be successful if: (1) it characterizes the semantics and the complexity of a large class of probabilistic logic programs (a class large enough to encode existing knowledge in the NELL base); (2) it enhances the ProbLog package so that it can run inference for large-scale knowledge bases (we intend to use facts in the NELL knowledge base as the main testing ground; success will be attained if we can learn new rules with better accuracy than rival methods). (AU)

Articles published in Agência FAPESP Newsletter about the research grant:
More itemsLess items
Articles published in other media outlets ( ):
More itemsLess items
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

Scientific publications (18)
(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)
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 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; 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)
DE BONA, GLAUBER; COZMAN, FABIO G.. On the Coherence of Probabilistic Relational Formalisms. Entropy, v. 20, n. 4, . (16/18841-0, 16/25928-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)
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)
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)
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)
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)
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)
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)