Lógica, probabilidade e consequência
Logic, probability, and consequence
dc.creator | Preto, Sandro Márcio da Silva, 1988- | |
dc.date | 2015 | |
dc.date | 2017-04-03T00:13:52Z | |
dc.date | 2017-07-14T20:08:25Z | |
dc.date | 2017-04-03T00:13:52Z | |
dc.date | 2017-07-14T20:08:25Z | |
dc.date.accessioned | 2018-03-29T04:09:52Z | |
dc.date.available | 2018-03-29T04:09:52Z | |
dc.identifier | PRETO, Sandro Márcio da Silva. Lógica, probabilidade e consequência. 2015. 1 recurso online (109 p.). Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: <http://www.bibliotecadigital.unicamp.br/document/?code=000959136>. Acesso em: 2 abr. 2017. | |
dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/279772 | |
dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1341792 | |
dc.description | Orientador: Walter Alexandre Carnielli | |
dc.description | Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas | |
dc.description | 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 | |
dc.description | 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 | |
dc.description | Mestrado | |
dc.description | Filosofia | |
dc.description | Mestre em Filosofia | |
dc.description | 131956/2013-2 | |
dc.description | CNPQ | |
dc.format | 1 recurso online (109 p.) : il., digital, arquivo PDF. | |
dc.format | application/pdf | |
dc.publisher | [s.n.] | |
dc.relation | Requisitos do sistema: Software para leitura de arquivo em PDF | |
dc.subject | Lógica | |
dc.subject | Linguagens formais - Semântica | |
dc.subject | Probabilidades | |
dc.subject | Logic | |
dc.subject | Formal languages - Semantics | |
dc.subject | Probabilities | |
dc.title | Lógica, probabilidade e consequência | |
dc.title | Logic, probability, and consequence | |
dc.type | Tesis |