Bolsa de Doutorado em Raciocínio Neurossimbólico

Doctorate Fellowship in Neurosymbolic Reasoning

Nº: 6530

Área de conhecimento: Ciência da Computação

Field of knowledge: Computer science

Nº do processo FAPESP: 2022/02937-9

FAPESP process: 2022/02937-9

Título do projeto: Indução de Programas Lógicos Neuro-Probabilísticos

Project title: Neural inductive logic programming

Área de atuação: Raciocínio Neurossimbólico

Working area: Neurosymbolic Reasoning

Quantidade de vagas: 1

Number of places: 1

Pesquisador responsável: Denis Deratani Mauá

Principal investigator: Denis Deratani Mauá

Unidade/Instituição: Instituto de Matemática e Estatística (IME-USP)

Unit/Instituition: Instituto de Matemática e Estatística (IME-USP)

Data limite para inscrições: 31/01/2024

Deadline for submissions: 2024-01-31

Publicado em: 13/11/2023

Publishing date: 2023-11-13

Localização: Rua do Matão, 1010 (Centro de Competência em Software Livre – CCSL), São Paulo

Locale: Rua do Matão, 1010 (Centro de Competência em Software Livre – CCSL), São Paulo

E-mail para inscrições: ddm@ime.usp.br

E-mail for proposal submission: ddm@ime.usp.br

  • Resumo

    Apesar dos resultados impressionantes obtidos na última década, sistemas inteligentes baseados em aprendizado profundo são difíceis de construir, depurar e validar. Em particular, é notoriamente desafiador conciliar o resultado de tais sistemas com restrições advindas de regras de negócios, legislações, mecanismos de segurança ou conhecimento especialista e de senso comum. O projeto “Indução de Programas Lógicos Neuro-Probabilísticos” visa desenvolver o arcabouço teórico para a construção de um sistema computacional de raciocínio neurossimbólico baseado em programação lógico-probabilística, chamado DPASP. Uma breve descrição dos fundamentos e estado atual de desenvolvimento do sistema se encontra nesse artigo e também nesse tutorial.

    Esta pesquisa de doutorado visa o desenvolvimento de novos algoritmos de inferência, mais eficientes e escaláveis, para predição e aprendizado de programas DPASP. Os algoritmos deverão ser avaliados em problemas realistas de argumentação probabilística e compreensão textual.

Voltar Back