Aproveito para divulgar uma palestra interessantíssima que será oferecida pelo Marcelo Finger no IME/USP nesta próxima 5a-feira.
Joao Marcos PS: Infelizmente estarei oferecendo uma palestra exatamente no mesmo horário a 9.847 km dali, então esta do Marcelo eu vou perder, mas quem puder estar lá pode nos contar depois como correu! ---------- Forwarded message ---------- ------------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Registrado na CPG do IME/USP http://www.ime.usp.br/~liamf/seminarios/ ------------------------------------------------------------------------------- Date: 3/11/2016 Time: 14hs Duration: 1h Location: Auditório do CCSL (IME, USP) Title: Quantitative Logic Reasoning Speaker: Marcelo Finger Abstract: We present a research program which investigates the intersection of deductive reasoning with explicit quantitative capabilities. These quantitative capabilities encompass probabilistic reasoning, counting and counting quantifiers, and similar systems. The need to have a combined reasoning system that enables a unified way to reason with quantities has always been recognized in modern logic, as proposals of logic probabilistic reasoning are present in the work of Boole [1854]. Equally ubiquitous is the need to deal with cardinality restrictions on finite sets. We actually show that there is a common way to deal with these several deductive quantitative capabilities, involving a framework based on Linear Algebras and Linear Programming, and the distinction between probabilistic and cardinality reasoning arising from the different family of algebras employed. The quantitative logic systems are particularly amenable to the introduction of inconsistency measurements, which quantify the degree of inconsistency of a given quantitative logic theory, following some basic principles of inconsistency measurements. Thus, Paraconsistent Quantitative Reasoning is presented as a non-explosive reasoning method that provides a reasoning tool in the presence of quantitative logic inconsistencies, based on the principle that inference can be obtained by minimizing the inconsistency measurement. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjA-SRUdGrv8JnguDAZgFJ-F%2BcTv%2B4wYos8kK0tA6PyDg%40mail.gmail.com.
