Fwd: Seminario LIAMF 3/11
12 views
Skip to first unread message
Joao Marcos
Nov 1, 2016, 5:13:49 PM11/1/16
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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.
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.
Reply all
Reply to author
Forward
0 new messages