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.