Funding Agencies
- FAPESP PI 2022/02937-9 (February 1st, 2023 to January 31st, 2028)
- CNPq Productivity 305136/2022-4 (March 1st, 2023 to February 28th, 2026)
Participants
- Denis Deratani Mauá, Coordinator
- Fabio G. Cozman, Associated Researcher
- Igor Caetaneo, PhD candidate, Researcher
- Renato Lui Geh, Software Developer, Researcher
- Jonas Gonçalves, MSc student, Researcher
- Thiago Casagrande, 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 neursymbolic 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
- The dPASP system: https://kamel.ime.usp.br/dpasp
- Tutorial: https://kamel.ime.usp.br/pages/learn_dpasp
- Overview
