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
Duration: August 01, 2017 - July 31, 2019
Field of knowledge:Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
Convênio/Acordo: 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
Host 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 Pesquisa FAPESP Magazine about the research grant:
Alta productividad 
Articles published in Agência FAPESP Newsletter about the research grant:
Articles published in other media outlets (0 total):
More itemsLess items
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

Scientific publications (8)
(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; 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; 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. 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)
DE BONA, GLAUBER; COZMAN, FABIO G.. On the Coherence of Probabilistic Relational Formalisms. Entropy, v. 20, n. 4, . (16/18841-0, 16/25928-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. Evenly convex credal sets. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 103, p. 124-138, . (16/18841-0, 15/21880-4)
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)

Please report errors in scientific publications list by writing to: cdi@fapesp.br.