Dynamical operators on models with evidence
Las lógicas epistémicas dinámicas forman una familia de lógicas modales que se ocupan de las nociones relacionadas con el conocimiento y la creencia, y los cambios que ocurren cuando la nueva información está disponible para los agentes razonadores. Durante los últimos 30 años se han estudiado varia...
- Autores:
-
Gamboa Guzmán, Laura Paola
- Tipo de recurso:
- Fecha de publicación:
- 2021
- Institución:
- Universidad de los Andes
- Repositorio:
- Séneca: repositorio Uniandes
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.uniandes.edu.co:1992/55112
- Acceso en línea:
- http://hdl.handle.net/1992/55112
- Palabra clave:
- Lógica epistémica dinámica
Matemáticas
- Rights
- openAccess
- License
- http://creativecommons.org/licenses/by-nc-sa/4.0/
| id |
UNIANDES2_b3bbea32d85ce28b3df7ba2a3aeb979a |
|---|---|
| oai_identifier_str |
oai:repositorio.uniandes.edu.co:1992/55112 |
| network_acronym_str |
UNIANDES2 |
| network_name_str |
Séneca: repositorio Uniandes |
| repository_id_str |
|
| dc.title.eng.fl_str_mv |
Dynamical operators on models with evidence |
| title |
Dynamical operators on models with evidence |
| spellingShingle |
Dynamical operators on models with evidence Lógica epistémica dinámica Matemáticas |
| title_short |
Dynamical operators on models with evidence |
| title_full |
Dynamical operators on models with evidence |
| title_fullStr |
Dynamical operators on models with evidence |
| title_full_unstemmed |
Dynamical operators on models with evidence |
| title_sort |
Dynamical operators on models with evidence |
| dc.creator.fl_str_mv |
Gamboa Guzmán, Laura Paola |
| dc.contributor.advisor.none.fl_str_mv |
Martínez Baldares, Maricarmen |
| dc.contributor.author.spa.fl_str_mv |
Gamboa Guzmán, Laura Paola |
| dc.contributor.jury.spa.fl_str_mv |
Goodrick, John Richard Viglizzo, Ignacio |
| dc.subject.keyword.none.fl_str_mv |
Lógica epistémica dinámica |
| topic |
Lógica epistémica dinámica Matemáticas |
| dc.subject.themes.none.fl_str_mv |
Matemáticas |
| description |
Las lógicas epistémicas dinámicas forman una familia de lógicas modales que se ocupan de las nociones relacionadas con el conocimiento y la creencia, y los cambios que ocurren cuando la nueva información está disponible para los agentes razonadores. Durante los últimos 30 años se han estudiado varias semánticas para estas lógicas, incluidos modelos basados en relaciones binarias (es decir, marcos de Kripke), sistemas de vecindarios y espacios topológicos, a veces incluso mezclando algunas de estas semánticas para diferentes modalidades que pueden estar presentes en un solo lenguaje. En particular, cuando se trata de modelos topológicos, hay algunas preguntas abiertas relacionadas con los operadores epistémicos modales dinámicos en el caso de múltiples agentes. Este proyecto no tiene como objetivo dar respuestas completas a esas preguntas, sin embargo, estudiamos en detalle el trabajo existente sobre los fundamentos matemáticos de la semántica topológica para la lógica del conocimiento y la creencia (con evidencia), con el fin de comprender los desafíos cuando se intenta abordar estas preguntas. |
| publishDate |
2021 |
| dc.date.issued.none.fl_str_mv |
2021 |
| dc.date.accessioned.none.fl_str_mv |
2022-02-22T19:50:46Z |
| dc.date.available.none.fl_str_mv |
2022-02-22T19:50:46Z |
| dc.type.spa.fl_str_mv |
Trabajo de grado - Maestría |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/masterThesis |
| dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/acceptedVersion |
| dc.type.content.spa.fl_str_mv |
Text |
| dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/TM |
| status_str |
acceptedVersion |
| dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/1992/55112 |
| dc.identifier.pdf.spa.fl_str_mv |
25354.pdf |
| dc.identifier.instname.spa.fl_str_mv |
instname:Universidad de los Andes |
| dc.identifier.reponame.spa.fl_str_mv |
reponame:Repositorio Institucional Séneca |
| dc.identifier.repourl.spa.fl_str_mv |
repourl:https://repositorio.uniandes.edu.co/ |
| url |
http://hdl.handle.net/1992/55112 |
| identifier_str_mv |
25354.pdf instname:Universidad de los Andes reponame:Repositorio Institucional Séneca repourl:https://repositorio.uniandes.edu.co/ |
| dc.language.iso.spa.fl_str_mv |
eng |
| language |
eng |
| dc.rights.uri.*.fl_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.coar.spa.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.extent.spa.fl_str_mv |
83 páginas |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Universidad de los Andes |
| dc.publisher.program.spa.fl_str_mv |
Maestría en Matemáticas |
| dc.publisher.faculty.spa.fl_str_mv |
Facultad de Ciencias |
| dc.publisher.department.spa.fl_str_mv |
Departamento de Matemáticas |
| institution |
Universidad de los Andes |
| bitstream.url.fl_str_mv |
https://repositorio.uniandes.edu.co/bitstreams/e0988d52-1299-46f9-bc4d-7827df742e86/download https://repositorio.uniandes.edu.co/bitstreams/24aa86cd-1108-43d7-b70f-06c21946ced1/download https://repositorio.uniandes.edu.co/bitstreams/cde818eb-0d99-4ece-b407-1078b960c5a5/download |
| bitstream.checksum.fl_str_mv |
b31c125369ec676290f7c786f3895e62 8d63a50f41f33c6bdbf0e120708eb797 1d221603c0685e4a97fc331323309262 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio institucional Séneca |
| repository.mail.fl_str_mv |
adminrepositorio@uniandes.edu.co |
| _version_ |
1818111914560978944 |
| spelling |
Al consultar y hacer uso de este recurso, está aceptando las condiciones de uso establecidas por los autores.http://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Martínez Baldares, Maricarmenvirtual::11833-1Gamboa Guzmán, Laura Paola676646fc-a54e-441a-a01b-ba63ed16e247400Goodrick, John RichardViglizzo, Ignacio2022-02-22T19:50:46Z2022-02-22T19:50:46Z2021http://hdl.handle.net/1992/5511225354.pdfinstname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/Las lógicas epistémicas dinámicas forman una familia de lógicas modales que se ocupan de las nociones relacionadas con el conocimiento y la creencia, y los cambios que ocurren cuando la nueva información está disponible para los agentes razonadores. Durante los últimos 30 años se han estudiado varias semánticas para estas lógicas, incluidos modelos basados en relaciones binarias (es decir, marcos de Kripke), sistemas de vecindarios y espacios topológicos, a veces incluso mezclando algunas de estas semánticas para diferentes modalidades que pueden estar presentes en un solo lenguaje. En particular, cuando se trata de modelos topológicos, hay algunas preguntas abiertas relacionadas con los operadores epistémicos modales dinámicos en el caso de múltiples agentes. Este proyecto no tiene como objetivo dar respuestas completas a esas preguntas, sin embargo, estudiamos en detalle el trabajo existente sobre los fundamentos matemáticos de la semántica topológica para la lógica del conocimiento y la creencia (con evidencia), con el fin de comprender los desafíos cuando se intenta abordar estas preguntas.Dynamic epistemic logics form a family of modal logics that deal with notions related to knowledge and belief, and the changes that occur when new information becomes available to reasoning agents. During the last 30 years several semantics for these logics have been studied, including models based on binary relations (i.e. Kripke frames), neighbourhood systems and topological spaces, sometimes even mixing some of these semantics for different modalities that may be present in a single language. In particular, when it comes to topological models, there are some open questions related to dynamic modal epistemic operators in the multi-agent case. This project does not aim to give full answers to those questions, however we study in detail the existing work concerning the mathematical foundations of the topological semantics for the logic of knowledge and belief (with evidence), in order to understand the challenges when one tries to tackle those questions.Magíster en MatemáticasMaestría83 páginasapplication/pdfengUniversidad de los AndesMaestría en MatemáticasFacultad de CienciasDepartamento de MatemáticasDynamical operators on models with evidenceTrabajo de grado - Maestríainfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/acceptedVersionTexthttp://purl.org/redcol/resource_type/TMLógica epistémica dinámicaMatemáticas201516503Publicationhttps://scholar.google.es/citations?user=Q0fgYywAAAAJvirtual::11833-10000-0001-6174-3324virtual::11833-1https://scienti.minciencias.gov.co/cvlac/visualizador/generarCurriculoCv.do?cod_rh=0000678635virtual::11833-135f86969-35e2-4807-84a1-2ac3c50c8a61virtual::11833-135f86969-35e2-4807-84a1-2ac3c50c8a61virtual::11833-1THUMBNAIL25354.pdf.jpg25354.pdf.jpgIM Thumbnailimage/jpeg6492https://repositorio.uniandes.edu.co/bitstreams/e0988d52-1299-46f9-bc4d-7827df742e86/downloadb31c125369ec676290f7c786f3895e62MD53TEXT25354.pdf.txt25354.pdf.txtExtracted texttext/plain185813https://repositorio.uniandes.edu.co/bitstreams/24aa86cd-1108-43d7-b70f-06c21946ced1/download8d63a50f41f33c6bdbf0e120708eb797MD52ORIGINAL25354.pdfapplication/pdf713672https://repositorio.uniandes.edu.co/bitstreams/cde818eb-0d99-4ece-b407-1078b960c5a5/download1d221603c0685e4a97fc331323309262MD511992/55112oai:repositorio.uniandes.edu.co:1992/551122024-03-13 14:31:51.37http://creativecommons.org/licenses/by-nc-sa/4.0/open.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.co |