Neuro Probabilistic Logic Programming

Fri, 09 May 2025 16:30:00 -0300

Probabilistic Logic Programming under the L-Stable Semantics

Mon, 01 Jan 2024 00:00:00 +0000

Neural Inductive Logic Programming

Wed, 01 Feb 2023 00:00:00 +0000

Funding

FAPESP PI 2022/02937-9 (2023-02-01 to 2028-01-31)
CNPq Productivity 305136/2022-4 (2023-03-01 to 2026-02-28)

Participants

Denis Deratani Mauá, Coordinator
Fabio G. Cozman, Associated Researcher
Igor Cataneo Silveira, PhD candidate, Researcher
Naomi de Moraes, PhD candidate, Researcher
Renato Lui Geh, Software Developer, Researcher
Jonas Gonçalves, MSc student, Researcher
Anahí Coimbra, MSc student, Researcher

Abstract

Deep learning techniques have shown impressive results in low-level cognitive task such as image and speech recognition as well as in high-level cognitive tasks such as question answering and stochastic planning. Yet, developing effective deep learning solutions is notoriously challenging as they require massive amounts of data and compute (often beyond limited budgets of typical users), are very sensitive to domain shifts, and produce undesirable output that undermine end-user trust in the system. Good old-fashioned AI techniques based on knowledge representation and symbol manipulation are data efficient, generalizable, and produce mostly verifiable behavior; however they scale poorly, require costly knowledge acquisition procedures and have difficulty in coping with noise and uncertainty that are ubiquitous in real settings. Neurosymbolic approaches have recently re-emerged as a means to take the best of both approaches and deliver systems that are expressive and scalable, yet interpretable, generalizable, data efficient and trustworthy. This document describes a five-year research proposal to study the further development of neurosymbolic approaches based on logic programming, procedural probabilistic programming and combinations of both. Ultimately, this research seeks to advance the state-of-the-art of learning-based agents that go beyond the dominant view of learning as an optimization task in a continuous space guided by input-output examples. To this end, we shall extend current neurosymbolic logic programming systems with more expressive constructs and more efficient learning techniques, and evaluate them in challenging cognitive tasks such as text-based question answering and argumentation.

Outcomes

Software:

The dPASP system:
Documentation:
Tutorial:

Publications: