Skip to content
Email: poscomp@ufabc.edu.br
facebook
twitter
youtube
instagram
linkedin
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
  • Início
  • Sobre o programa
    • Apresentação
    • Objetivos e perfil
    • Estrutura do curso
    • Perguntas frequentes
    • Premiações e destaques
  • Processos seletivos
    • Mestrado e Doutorado
      • Resultados dos Processos Seletivos
    • Aluno especial
    • Mestrado Acadêmico para Inovação
    • Doutorado Acadêmico Industrial
    • Doutorado sanduiche
    • Pós-doutorado
    • Histórico de Processos Seletivos
  • Pesquisa
    • Linhas de pesquisa
    • Laboratórios
  • Docentes
  • Discentes
    • Disciplinas ofertadas
    • Dúvidas sobre matrículas em geral (alunos regulares)
    • Manual de sobrevivência
    • Bolsas de estudo
    • Proficiência em inglês e exame
    • Exame de qualificação
    • Defesa de dissertação ou tese
    • Bancas agendadas ↗
    • Código de ética da UFABC
    • Ex-alunos (Alumni)
  • Eventos
    • Seminários em computação
    • Workshops
    • Mini-Cursos
    • Histórico
  • Institucional
    • Coordenação
    • Documentos e normativas
    • Lista de orientandos por orientadores ↗
    • Dissertações e teses defendidas ↗
    • Calendário acadêmico ↗
    • Eleições para coordenação
    • (Re)Credenciamento de docentes
  • Pós-Graduação UFABC ↗
  • Social

Marcelo Finger

Home > Seminários em computação > Marcelo Finger

Marcelo Finger

Posted on 02/08/201924/08/2021 by Coordenador
0

Título: Quantitative Logic Reasoning — Logic reasoning with probabilities and quantities

Palestrante: Marcelo Finger (IME-USP)

Data e local: Quarta-feira, 14 de agosto de 2019 às 17:00, Santo André, Bloco A, S-211-0

Resumo: 

We investigate the intersection of deductive reasoning with explicit quantitative capabilities. These quantitative capabilities encompass probabilistic reasoning and counting quantifiers. The need to have a combined reasoning system that enables a unified way of reasoning with quantities has always been recognized in modern logic, as proposals of probabilistic logic reasoning are present since the work of Boole [1854]. Equally ubiquitous is the need to deal with cardinality restrictions on finite sets. We explore a common way to deal with these deductive quantitative capabilities, involving a framework based on Linear Algebra and Linear Programming. The distinction between probabilistic and cardinality reasoning comes from the different family of algebras employed.

Biografia:

É professor titular do Instituto de Ciência da Computação do Instituto de Matemática e Estatística da Universidade de São Paulo, bolsista 1C de produtividade em pesquisa do CNPq, editor do The Scientific World Journal, do São Paulo Journal of Mathematical Sciences e da Revista de Informática Teórica e Aplicada, editou special issues nos periódicos Annals of Mathematics in Artificial Intelligence (2001) e Theoretical Computer Science (2014). Possui graduação em Engenharia Eletrônica pela Universidade de São Paulo (1988), mestrado em Foundations of Advanced Information Technology – Imperial College of Science, Technology and Medicine (1990) e doutorado em PhD in Computing – Imperial College of Science and Technology, University of London (1994), Livre-docente (2001) e titular (2011) em Ciência da Computação pelo Instituto de Matemática e Estatística da Universidade de São Paulo. Foi professor visitante em departamentos de Ciência da Computação na Universitée Paul Sabatier – Toulouse (2011) e na Cornell University (2012-2013). Atualmente é professor titular da Universidade de São Paulo. Tem experiência na área de Ciência da Computação, com ênfase em Dedução Automática, Raciocílo Lógico-Probabilístico e atuando principalmente nos seguintes temas: Lógica, inteligência artificial, Bancos de Dados, Humanidades Digitais e Linguistica Computacional. É bolsista de produtividade em pesquisa do CNPq desde 1996. Entre vários prêmios, destacam-se Convocation Sesquicentenial (1990), Armstrong Prize and Medal (1994), Prêmio Jabuti (2007 -1o lugar, Ciências Exatas, Tecnologia e Informática) e Prêmios de Desempenho Didático (2002, 2004, 2005, 2006). Desenvolve pesquisas envolvendo raciocínio lógico-probabilístico visando entender a interação entre estas duas formas básicas de raciocínio, sua complexidade computacional e suas aplicações em Inteligência Artificial, Bancos de Dados, Linguística Computacional e Humanidades Digitais.

PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO

  • Início
  • Sobre o programa
  • Processos seletivos
  • Docentes
  • Discentes

Acesso rápido

  • Perguntas frequentes
  • Como chegar
  • Institucional

Translate

Contato e Endereço

Email: poscomp@ufabc.edu.br

Universidade Federal do ABC - UFABC

Endereço: Av dos Estados, 5001 - Bairro Bangu - Santo André - SP
CEP: 09210-580

© 2025 PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO | WordPress Theme: Enlighten
Translate »