Possui graduação em Engenharia da Computação pelo Instituto Tecnológico de Aeronáutica (2006) e mestrado (2011) e doutorado (2016) em Ciência da Computação pela Universidade de São Paulo. Realizou pós-doutoramento na University College London (2017) e na Universidade de São Paulo (2018). Atualmente, é professor doutor na Universidade de São Paulo, atuando principalmente nos seguintes temas: lógica, inteligência artificial e epistemologia formal. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
A lógica probabilística está na intersecção das formas dedutiva e probabilística de raciocínio e é uma das abordagens ao tratamento da incerteza na inteligência artificial. As lógicas probabilísticas mais comuns são proposicionais, não sendo capazes de lidar com objetos e predicados, o que demanda uma lógica de primeira ordem. Entretanto, embarcar probabilidades na lógica clássica de prim…
Em Inteligência Artificial, é comum nos depararmos com a inconsistência, daí a importância do seu tratamento. Quando lidamos com informações inconsistentes, nos interessa analisar tal inconsistência. Como usualmente nem todas as partes colaboram para a inconsistência de um todo, essa análise começa com uma pergunta crucial: "onde está a inconsistência?" ou, mais precisamente, "que partes …
| 1 | Bolsas no país concluídas |
| 1 | Bolsas no exterior concluídas |
| 2 | Todas as Bolsas |
| Processos vinculados | |
CV Lattes
ORCID