Conocimiento y creencia en lógica epistémica dinámica
Este trabajo presenta una introducción a la lógica epistémica dinámica a través de diversos sistemas formales que permiten representar conocimientos y creencias de uno o varios agentes, así como acciones epistémicas que pueden modificarlos. Concretamente, presentamos la lógica de anuncios públicos,...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2023 |
| País: | España |
| Institución: | Universidad de Sevilla (US) |
| Repositorio: | idUS. Depósito de Investigación de la Universidad de Sevilla |
| OAI Identifier: | oai:idus.us.es:11441/150731 |
| Acceso en línea: | https://hdl.handle.net/11441/150731 https://doi.org/10.29092/uacm.v20i53.1036 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica epistémica dinámica Anuncios públicos Modelos de acción Modelos de plausibilidad Conocimiento y creencia Dynamic epistemic logic Public announcements Action models Plausibility models Knowledge and belief |
| Sumario: | Este trabajo presenta una introducción a la lógica epistémica dinámica a través de diversos sistemas formales que permiten representar conocimientos y creencias de uno o varios agentes, así como acciones epistémicas que pueden modificarlos. Concretamente, presentamos la lógica de anuncios públicos, modelos de acción y modelos de plausibilidad. |
|---|