Tesis
Lógica, probabilidade e consequência
Logic, probability, and consequence
Registro en:
Autor
Preto, Sandro Márcio da Silva, 1988-
Institución
Resumen
Orientador: Walter Alexandre Carnielli Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas Resumo: Uma das maneiras conhecidas de representar a incerteza é através das probabilidades. Para estudar o raciocínio sob incerteza deste ponto de vista, mostramos como é possível associar valores de probabilidade a sentenças de uma linguagem formal definindo semânticas probabilísticas com suporte na lógica clássica e em algumas lógicas não-clássicas. Definimos e analisamos relações de consequência probabilística baseadas na semântica probabilística. Para tal, estudamos também as valorações probabilísticas com auxílio de ferramentas matemáticas como a álgebra linear e a otimização linear. Além disto, apresentamos as principais interpretações do conceito de probabilidade e introduzimos algumas outras formas de combinar lógica e probabilidades Abstract: A well-known way to represent uncertainty is through probabilities. In order to study the concept of uncertainty reasoning from this point of view, we show how it is possible to associate probability values to sentences in a formal language by defining in detail the notion of probability semantics supported by classical logic and by some non-classical logics. We define and analyze the concept of probabilistic consequence relations based on probabilistic semantics. To this end, we also study probabilistic valuations assisted by mathematical tools such as linear algebra and linear optimization. In addition, we present some of the main concepts of probability interpretation and introduce some other ways to combine logic and probabilities Mestrado Filosofia Mestre em Filosofia 131956/2013-2 CNPQ