Technical support in the Center for Artificial Intelligence

• Grant number: 23/12775-9
• Support Opportunities: Scholarships in Brazil - Technical Training Program - Technical Training
• Start date: November 01, 2023
• End date: October 31, 2024
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Agreement: IBM Brasil
• Principal Investigator: Fabio Gagliardi Cozman
• Grantee: Leonardo Garcia Correa
• Host Institution: Centro de Inovação da USP (INOVA). Universidade de São Paulo (USP). São Paulo , SP, Brazil
• Company: Universidade de São Paulo (USP). Centro de Inovação da USP (INOVA)
• Associated research grant: 19/07665-4 - Center for Artificial Intelligence, AP.eScience.CPE

Abstract

As atividades de pesquisa desenvolvidas no Centro de Inteligencia Artificial exigem consideravel substrato de tecnologia de informac'ao. O bolsista ficara baseado na sede do Centro de Inteligencia Artificial (InovaUSP, campus Butanta da Universidade de Sao Paulo) e continuará o trabalho de um bolsista TT4 anterior, Renato Lui Geh (cuja bolsa ocorreu dentro da quota de bolsas do Centro de Inteligência Artificial, no processo 2022/06373-2). O trabalho aqui previsto auxiliara os pesquisadores engajados com o desenvolvimento de sistemas baseados em raciocinio neurossimbolico e arcabouc'os de inferencia e argumentac'ao formal. Em particular, o trabalho dará suporte ao trabalho de codificação do sistema dPASP, desenvolvido por pesquisadores do centro e disponível em github.com/kamel-usp/dpasp (descrito em artigo "dPASP: A comprehensive differentiable probabilistic answer set programming environment for neurosymbolic learning and reasoning". Conforme indicado na proposta de bolsas TT4 enviada originalmente quando da criação do Centro de Inteligência Artificial, esta posiçao se destina a dar suporte aý tecnologia de informaçao, sobretudo no que se refere a codificac'ao de programas de computador para suporte a pesquisas, documentac'ao de ferramentas de software desenvolvidas e produc'ao de material de difusao de tais ferramentas (tutoriais, guias passo-a-passo etc). Tais atividades possuem um nivel de complexidade compativel com um profissional experiente em tecnologia da informac'ao. (AU)