Raciocínios sob incerteza: combinando lógica epistêmica e probabilidade

Detalhes bibliográficos
Autor(a) principal: PINHEIRO, Natalia Pereira
Data de Publicação: 2023
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFMA
Texto Completo: https://tedebc.ufma.br/jspui/handle/tede/tede/4811
Resumo: In the usual epistemic logic it is possible to represent the agents' knowledge. However, it is not possible to represent the cases in which the agents cannot assert something with certainty, but have good reasons to accept certain propositions to the detriment of others. To increase the range of language in this sense, it is necessary to enrich the epistemic logic with probability. With probability, in epistemic logics it will be possible to assign a numerical value (or another qualitative element) to sets of worlds, creating, in turn, a kind of authority among the propositions. From this ordering, even in uncertain conditions, making more rational choices and representing them is possible. This conjugation between two types of logic guarantees language an expanded capacity to deal with reflection in a deductive way (richer and more expressive formalism). This research aims to analyze and show how features of epistemic logic and probability can be associated with representing reasonings under uncertainty. For that, an investigation is made into the epistemic logic (syntax, semantics and limits in the reach of the representation). In addition, it explores the relationship between the concepts of probability and epistemic uncertainty. Finally, we discuss how the combination between epistemic logic and probability has been made by Joseph Halpern in his Reasoning about uncertainty (2003). The methodology used here is the usual bibliographical research in the relevant literature.
id UFMA_6b25e2ce8ef2a33cd8ddd1949048e3c8
oai_identifier_str oai:tede2:tede/4811
network_acronym_str UFMA
network_name_str Biblioteca Digital de Teses e Dissertações da UFMA
repository_id_str 2131
spelling PEREIRA, Marcio Kléos Freirehttp://lattes.cnpq.br/9310140679220334PEREIRA, Marcio Kléos Freirehttp://lattes.cnpq.br/9310140679220334RUIVO, José Leonardo Annunziatohttp://lattes.cnpq.br/3388116500631463NEIVA, André Luiz de Almeida Lisboahttp://lattes.cnpq.br/6486146075338506http://lattes.cnpq.br/9013879226403639PINHEIRO, Natalia Pereira2023-07-04T18:10:26Z2023-05-30PINHEIRO, Natalia Pereira. Raciocínios sob incerteza: combinando lógica epistêmica e probabilidade. 2023. 80 f. Dissertação (Programa de Pós-Graduação em Filosofia - PPGFIL) - Universidade Federal do Maranhão, São Luís, 2023.https://tedebc.ufma.br/jspui/handle/tede/tede/4811In the usual epistemic logic it is possible to represent the agents' knowledge. However, it is not possible to represent the cases in which the agents cannot assert something with certainty, but have good reasons to accept certain propositions to the detriment of others. To increase the range of language in this sense, it is necessary to enrich the epistemic logic with probability. With probability, in epistemic logics it will be possible to assign a numerical value (or another qualitative element) to sets of worlds, creating, in turn, a kind of authority among the propositions. From this ordering, even in uncertain conditions, making more rational choices and representing them is possible. This conjugation between two types of logic guarantees language an expanded capacity to deal with reflection in a deductive way (richer and more expressive formalism). This research aims to analyze and show how features of epistemic logic and probability can be associated with representing reasonings under uncertainty. For that, an investigation is made into the epistemic logic (syntax, semantics and limits in the reach of the representation). In addition, it explores the relationship between the concepts of probability and epistemic uncertainty. Finally, we discuss how the combination between epistemic logic and probability has been made by Joseph Halpern in his Reasoning about uncertainty (2003). The methodology used here is the usual bibliographical research in the relevant literature.Na lógica epistêmica usual é possível representar o conhecimento dos agentes, no entanto não é possível representar os casos em que os agentes não podem afirmar algo com certeza, mas têm boas razões para aceitar certas proposições em detrimento de outras. Para aumentar o alcance da linguagem nessa direção é preciso enriquecer a lógica epistêmica com probabilidade. Com a probabilidade, nas lógicas epistêmicas será possível atribuir um valor numérico (ou outro elemento qualitativo) a conjuntos de mundos, o que criará, por sua vez, uma espécie de hierarquia entre as proposições. A partir desse ordenamento, mesmo em condições incertas, é possível fazer escolhas mais racionais e representá-las. Essa conjugação entre dois tipos de lógica garante à linguagem uma capacidade ampliada para lidar com a incerteza de maneira dedutiva (formalismo mais rico e expressivo). O propósito dessa pesquisa é analisar e mostrar como recursos da lógica epistêmica e probabilidade podem ser associados para representar raciocínios sob incerteza. Para tanto, uma investigação acerca da lógica epistêmica (sintaxe, semântica e limites no alcance da representação) é feita. Além disso, relacionaremos as concepções de probabilidade e incerteza epistêmica. Por fim, discutimos como a combinação entre lógica epistêmica e probabilidade é feita por Joseph Halpern em sua obra Reasoning about uncertainty (2003). Como de praxe, a metodologia aqui utilizada consiste em pesquisa bibliográfica na literatura pertinente.Submitted by Jonathan Sousa de Almeida (jonathan.sousa@ufma.br) on 2023-07-04T18:10:26Z No. of bitstreams: 1 NATALIAPEREIRAPINHEIRO.pdf: 1995040 bytes, checksum: 35a898387897810471f26e745e9efd16 (MD5)Made available in DSpace on 2023-07-04T18:10:26Z (GMT). No. of bitstreams: 1 NATALIAPEREIRAPINHEIRO.pdf: 1995040 bytes, checksum: 35a898387897810471f26e745e9efd16 (MD5) Previous issue date: 2023-05-30FAPEMAapplication/pdfporUniversidade Federal do MaranhãoPROGRAMA DE PÓS-GRADUAÇÃO EM FILOSOFIA - PPGFILUFMABrasilDEPARTAMENTO DE FILOSOFIA/CCHlógica epistêmica;incerteza epistêmica;raciocínios sob incerteza;probabilidade.epistemic logic;epistemic uncertainty;reasoning under uncertainty;probability.LógicaFilosofiaRaciocínios sob incerteza: combinando lógica epistêmica e probabilidadeReasoning under uncertainty: combining epistemic logic and probabilityinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFMAinstname:Universidade Federal do Maranhão (UFMA)instacron:UFMAORIGINALNATALIAPEREIRAPINHEIRO.pdfNATALIAPEREIRAPINHEIRO.pdfapplication/pdf1995040http://tedebc.ufma.br:8080/bitstream/tede/4811/2/NATALIAPEREIRAPINHEIRO.pdf35a898387897810471f26e745e9efd16MD52LICENSElicense.txtlicense.txttext/plain; charset=utf-82255http://tedebc.ufma.br:8080/bitstream/tede/4811/1/license.txt97eeade1fce43278e63fe063657f8083MD51tede/48112023-07-04 15:10:26.579oai:tede2:tede/4811IExJQ0VOw4dBIERFIERJU1RSSUJVScOHw4NPIE7Dg08tRVhDTFVTSVZBCgpDb20gYSBhcHJlc2VudGHDp8OjbyBkZXN0YSBsaWNlbsOnYSxvIGF1dG9yIChlcykgb3UgbyB0aXR1bGFyIGRvcyBkaXJlaXRvcyBkZSBhdXRvciBjb25jZWRlIMOgIFVuaXZlcnNpZGFkZSBGZWRlcmFsIGRvIE1hcmFuaMOjbyAoVUZNQSkgbyBkaXJlaXRvIG7Do28tZXhjbHVzaXZvIGRlIHJlcHJvZHV6aXIsIHRyYWR1emlyIChjb25mb3JtZSBkZWZpbmlkbyBhYmFpeG8pLCBlL291IGRpc3RyaWJ1aXIgYSBzdWEgdGVzZSBvdSBkaXNzZXJ0YcOnw6NvIChpbmNsdWluZG8gbyByZXN1bW8pIHBvciB0b2RvIG8gbXVuZG8gbm8gZm9ybWF0byBpbXByZXNzbyBlIGVsZXRyw7RuaWNvIGUgZW0gcXVhbHF1ZXIgbWVpbywgaW5jbHVpbmRvIG9zIGZvcm1hdG9zIMOhdWRpbyBvdSB2w61kZW8uCgpWb2PDqiBjb25jb3JkYSBxdWUgYSBVRk1BIHBvZGUsIHNlbSBhbHRlcmFyIG8gY29udGXDumRvLCB0cmFuc3BvciBhIHN1YSB0ZXNlIG91IGRpc3NlcnRhw6fDo28gcGFyYSBxdWFscXVlciBtZWlvIG91IGZvcm1hdG8gcGFyYSBmaW5zIGRlIHByZXNlcnZhw6fDo28uCgpWb2PDqiB0YW1iw6ltIGNvbmNvcmRhIHF1ZSBhIFVGTUEgcG9kZSBtYW50ZXIgbWFpcyBkZSB1bWEgY8OzcGlhIGRlIHN1YSB0ZXNlIG91IGRpc3NlcnRhw6fDo28gcGFyYSBmaW5zIGRlIHNlZ3VyYW7Dp2EsIGJhY2stdXAgZSBwcmVzZXJ2YcOnw6NvLgoKVm9jw6ogZGVjbGFyYSBxdWUgYSBzdWEgdGVzZSBvdSBkaXNzZXJ0YcOnw6NvIMOpIG9yaWdpbmFsIGUgcXVlIHZvY8OqIHRlbSBvIHBvZGVyIGRlIGNvbmNlZGVyIG9zIGRpcmVpdG9zIGNvbnRpZG9zIG5lc3RhIGxpY2Vuw6dhLiBWb2PDqiB0YW1iw6ltIGRlY2xhcmEgcXVlIG8gZGVww7NzaXRvIGRhIHN1YSB0ZXNlIG91IGRpc3NlcnRhw6fDo28gbsOjbywgcXVlIHNlamEgZGUgc2V1IGNvbmhlY2ltZW50bywgaW5mcmluZ2UgZGlyZWl0b3MgYXV0b3JhaXMgZGUgbmluZ3XDqW0uCgpDYXNvIGEgc3VhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbyBjb250ZW5oYSBtYXRlcmlhbCBxdWUgdm9jw6ogbsOjbyBwb3NzdWkgYSB0aXR1bGFyaWRhZGUgZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCB2b2PDqiBkZWNsYXJhIHF1ZSBvYnRldmUgYSBwZXJtaXNzw6NvIGlycmVzdHJpdGEgZG8gZGV0ZW50b3IgZG9zIGRpcmVpdG9zIGF1dG9yYWlzIHBhcmEgY29uY2VkZXIgw6AgVUZNQSBvcyBkaXJlaXRvcyBhcHJlc2VudGFkb3MgbmVzdGEgbGljZW7Dp2EsIGUgcXVlIGVzc2UgbWF0ZXJpYWwgZGUgcHJvcHJpZWRhZGUgZGUgdGVyY2Vpcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIGUgcmVjb25oZWNpZG8gbm8gdGV4dG8gb3Ugbm8gY29udGXDumRvIGRhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbyBvcmEgZGVwb3NpdGFkYS4KCkNBU08gQSBURVNFIE9VIERJU1NFUlRBw4fDg08gT1JBIERFUE9TSVRBREEgVEVOSEEgU0lETyBSRVNVTFRBRE8gREUgVU0gUEFUUk9Dw41OSU8gT1UgQVBPSU8gREUgVU1BIEFHw4pOQ0lBIERFIEZPTUVOVE8gT1UgT1VUUk8gT1JHQU5JU01PIFFVRSBOw4NPIFNFSkEgQSBVRk1BLCBWT0PDiiBERUNMQVJBIFFVRSBSRVNQRUlUT1UgVE9ET1MgRSBRVUFJU1FVRVIgRElSRUlUT1MgREUgUkVWSVPDg08gQ09NTyBUQU1Cw4lNIEFTIERFTUFJUyBPQlJJR0HDh8OVRVMgRVhJR0lEQVMgUE9SIENPTlRSQVRPIE9VIEFDT1JETy4KCkEgVUZNQSBzZSBjb21wcm9tZXRlIGEgaWRlbnRpZmljYXIgY2xhcmFtZW50ZSBvIHNldSBub21lIG91IG8ocykgbm9tZShzKSBkbyhzKSBkZXRlbnRvcihlcykgZG9zIGRpcmVpdG9zIGF1dG9yYWlzIGRhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbywgZSBuw6NvIGZhcsOhIHF1YWxxdWVyIGFsdGVyYcOnw6NvLCBhbMOpbSBkYXF1ZWxhcyBjb25jZWRpZGFzIHBvciBlc3RhIGxpY2Vuw6dhLgoKRGVjbGFyYSB0YW1iw6ltIHF1ZSB0b2RhcyBhcyBhZmlsaWHDp8O1ZXMgY29ycG9yYXRpdmFzIG91IGluc3RpdHVjaW9uYWlzIGUgdG9kYXMgYXMgZm9udGVzIGRlIGFwb2lvIGZpbmFuY2Vpcm8gYW8gdHJhYmFsaG8gZXN0w6NvIGRldmlkYW1lbnRlIGNpdGFkYXMgb3UgbWVuY2lvbmFkYXMgZSBjZXJ0aWZpY2EgcXVlIG7Do28gaMOhIG5lbmh1bSBpbnRlcmVzc2UgY29tZXJjaWFsIG91IGFzc29jaWF0aXZvIHF1ZSByZXByZXNlbnRlIGNvbmZsaXRvIGRlIGludGVyZXNzZSBlbSBjb25leMOjbyBjb20gbyB0cmFiYWxobyBzdWJtZXRpZG8uCgoKCgoKCgo=Biblioteca Digital de Teses e Dissertaçõeshttps://tedebc.ufma.br/jspui/PUBhttp://tedebc.ufma.br:8080/oai/requestrepositorio@ufma.br||repositorio@ufma.bropendoar:21312023-07-04T18:10:26Biblioteca Digital de Teses e Dissertações da UFMA - Universidade Federal do Maranhão (UFMA)false
dc.title.por.fl_str_mv Raciocínios sob incerteza: combinando lógica epistêmica e probabilidade
dc.title.alternative.eng.fl_str_mv Reasoning under uncertainty: combining epistemic logic and probability
title Raciocínios sob incerteza: combinando lógica epistêmica e probabilidade
spellingShingle Raciocínios sob incerteza: combinando lógica epistêmica e probabilidade
PINHEIRO, Natalia Pereira
lógica epistêmica;
incerteza epistêmica;
raciocínios sob incerteza;
probabilidade.
epistemic logic;
epistemic uncertainty;
reasoning under uncertainty;
probability.
Lógica
Filosofia
title_short Raciocínios sob incerteza: combinando lógica epistêmica e probabilidade
title_full Raciocínios sob incerteza: combinando lógica epistêmica e probabilidade
title_fullStr Raciocínios sob incerteza: combinando lógica epistêmica e probabilidade
title_full_unstemmed Raciocínios sob incerteza: combinando lógica epistêmica e probabilidade
title_sort Raciocínios sob incerteza: combinando lógica epistêmica e probabilidade
author PINHEIRO, Natalia Pereira
author_facet PINHEIRO, Natalia Pereira
author_role author
dc.contributor.advisor1.fl_str_mv PEREIRA, Marcio Kléos Freire
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/9310140679220334
dc.contributor.referee1.fl_str_mv PEREIRA, Marcio Kléos Freire
dc.contributor.referee1Lattes.fl_str_mv http://lattes.cnpq.br/9310140679220334
dc.contributor.referee2.fl_str_mv RUIVO, José Leonardo Annunziato
dc.contributor.referee2Lattes.fl_str_mv http://lattes.cnpq.br/3388116500631463
dc.contributor.referee3.fl_str_mv NEIVA, André Luiz de Almeida Lisboa
dc.contributor.referee3Lattes.fl_str_mv http://lattes.cnpq.br/6486146075338506
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/9013879226403639
dc.contributor.author.fl_str_mv PINHEIRO, Natalia Pereira
contributor_str_mv PEREIRA, Marcio Kléos Freire
PEREIRA, Marcio Kléos Freire
RUIVO, José Leonardo Annunziato
NEIVA, André Luiz de Almeida Lisboa
dc.subject.por.fl_str_mv lógica epistêmica;
incerteza epistêmica;
raciocínios sob incerteza;
probabilidade.
topic lógica epistêmica;
incerteza epistêmica;
raciocínios sob incerteza;
probabilidade.
epistemic logic;
epistemic uncertainty;
reasoning under uncertainty;
probability.
Lógica
Filosofia
dc.subject.eng.fl_str_mv epistemic logic;
epistemic uncertainty;
reasoning under uncertainty;
probability.
dc.subject.cnpq.fl_str_mv Lógica
Filosofia
description In the usual epistemic logic it is possible to represent the agents' knowledge. However, it is not possible to represent the cases in which the agents cannot assert something with certainty, but have good reasons to accept certain propositions to the detriment of others. To increase the range of language in this sense, it is necessary to enrich the epistemic logic with probability. With probability, in epistemic logics it will be possible to assign a numerical value (or another qualitative element) to sets of worlds, creating, in turn, a kind of authority among the propositions. From this ordering, even in uncertain conditions, making more rational choices and representing them is possible. This conjugation between two types of logic guarantees language an expanded capacity to deal with reflection in a deductive way (richer and more expressive formalism). This research aims to analyze and show how features of epistemic logic and probability can be associated with representing reasonings under uncertainty. For that, an investigation is made into the epistemic logic (syntax, semantics and limits in the reach of the representation). In addition, it explores the relationship between the concepts of probability and epistemic uncertainty. Finally, we discuss how the combination between epistemic logic and probability has been made by Joseph Halpern in his Reasoning about uncertainty (2003). The methodology used here is the usual bibliographical research in the relevant literature.
publishDate 2023
dc.date.accessioned.fl_str_mv 2023-07-04T18:10:26Z
dc.date.issued.fl_str_mv 2023-05-30
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv PINHEIRO, Natalia Pereira. Raciocínios sob incerteza: combinando lógica epistêmica e probabilidade. 2023. 80 f. Dissertação (Programa de Pós-Graduação em Filosofia - PPGFIL) - Universidade Federal do Maranhão, São Luís, 2023.
dc.identifier.uri.fl_str_mv https://tedebc.ufma.br/jspui/handle/tede/tede/4811
identifier_str_mv PINHEIRO, Natalia Pereira. Raciocínios sob incerteza: combinando lógica epistêmica e probabilidade. 2023. 80 f. Dissertação (Programa de Pós-Graduação em Filosofia - PPGFIL) - Universidade Federal do Maranhão, São Luís, 2023.
url https://tedebc.ufma.br/jspui/handle/tede/tede/4811
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal do Maranhão
dc.publisher.program.fl_str_mv PROGRAMA DE PÓS-GRADUAÇÃO EM FILOSOFIA - PPGFIL
dc.publisher.initials.fl_str_mv UFMA
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv DEPARTAMENTO DE FILOSOFIA/CCH
publisher.none.fl_str_mv Universidade Federal do Maranhão
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFMA
instname:Universidade Federal do Maranhão (UFMA)
instacron:UFMA
instname_str Universidade Federal do Maranhão (UFMA)
instacron_str UFMA
institution UFMA
reponame_str Biblioteca Digital de Teses e Dissertações da UFMA
collection Biblioteca Digital de Teses e Dissertações da UFMA
bitstream.url.fl_str_mv http://tedebc.ufma.br:8080/bitstream/tede/4811/2/NATALIAPEREIRAPINHEIRO.pdf
http://tedebc.ufma.br:8080/bitstream/tede/4811/1/license.txt
bitstream.checksum.fl_str_mv 35a898387897810471f26e745e9efd16
97eeade1fce43278e63fe063657f8083
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFMA - Universidade Federal do Maranhão (UFMA)
repository.mail.fl_str_mv repositorio@ufma.br||repositorio@ufma.br
_version_ 1809926214885834752