Raciocínios sob incerteza: combinando lógica epistêmica e probabilidade
Autor(a) principal: | |
---|---|
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 |