Lógicas epistémicas basadas en habilidades
Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2024.
Main Author: | |
---|---|
Other Authors: | |
Format: | doctoralThesis |
Language: | spa |
Published: |
2024
|
Subjects: | |
Online Access: | http://hdl.handle.net/11086/553701 |
_version_ | 1811173571410526208 |
---|---|
author | Saravia, Andrés Román |
author2 | Fervari, Raúl Alberto |
author_facet | Fervari, Raúl Alberto Saravia, Andrés Román |
author_sort | Saravia, Andrés Román |
collection | Repositorio Digital Universitario |
description | Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2024. |
format | doctoralThesis |
id | rdu-unc.553701 |
institution | Universidad Nacional de Cordoba |
language | spa |
publishDate | 2024 |
record_format | dspace |
spelling | rdu-unc.5537012024-09-19T06:33:36Z Lógicas epistémicas basadas en habilidades Saravia, Andrés Román Fervari, Raúl Alberto Teoría de la computación Lógica Lógica modal Lógica y verificación Epistémica Habilidades Incertidumbre Deóntica Dinámica Sistemas de transiciones etiquetadas Theory of computation Logic Modal logic Logic and verification Labeled transition systems LTS Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2024. Fil: Saravia, Andrés Román. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. En este trabajo presentamos una lógica epistémica de saber cómo, un lenguaje modal enfocado en la representación del conocimiento que tienen los agentes sobre sus propias habilidades. Los operadores de la lógica son interpretados sobre planes lineales en sistemas de transiciones etiquetadas (LTS), con una noción de indistinguibilidad epistémica entre planes (es decir, secuencias de acciones) para cada agente. La misma representa la percepción de los agentes y permite modelar entidades más "reales", por ejemplo, acerca de las limitaciones que cada agente posee con respecto a su conocimiento. Este enfoque resulta novedoso, ya que nos permite obtener una clara distinción entre la información óntica (los planes que están “disponibles”), y la información epistémica (los planes que el agente percibe como “posibles”). Estudiamos en detalle las propiedades de la lógica. Comenzamos por definir una axiomatización correcta y fuertemente completa. Luego, mostramos que la lógica posee un buen comportamiento computacional, estudiando la complejidad de sus problemas de satisfacibilidad y model checking. Además, definimos una noción de bisimulación, y demostramos algunas propiedades al respecto. Finalmente ilustramos la flexibilidad de nuestro enfoque, primero extendiendo la lógica con operadores dinámicos que modifican la información óntica y epistémica por separado, y luego introduciendo una reinterpretación de la misma como una lógica deóntica, que nos permite razonar sobre escenarios normativos. In this work we present an epistemic logic of knowing how, a modal language focused on the representation of the knowledge that agents have about their own abilities. The logic’s operators are interpreted over linear plans in Labeled Transition Systems (LTS) enriched with a notion of epistemic indistinguishability between plans (i.e., sequences of actions) for each agent. This notion captures the perception of the agents about their own abilities, and allows modeling more "realistic" entities, for example, about the limitations that each agent has with respect to their knowledge. This approach is novel, since it provides a clear distinction between ontic information (the plans that are “available”), and epistemic information (the plans that the agent perceives as “possible”). We extensively study the properties of the obtained logic. First, we provide a sound and strongly complete axiomatization. Then, we show that the logic has a good computational behavior by studying the complexity of its satisfiability and model-checking problems. Moreover, we define a notion of bisimulation and prove some properties. Finally, we illustrate the flexibility of our framework, by extending the logic with dynamic operators that modify ontic and epistemic information separately, and then by introducing a reinterpretation of the language as a deontic logic to reason about normative scenarios. Fil: Saravia, Andrés Román. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. 2024-09-18T15:13:17Z 2024-09-18T15:13:17Z 2024-06-03 doctoralThesis http://hdl.handle.net/11086/553701 spa Attribution 4.0 International http://creativecommons.org/licenses/by/4.0/ |
spellingShingle | Teoría de la computación Lógica Lógica modal Lógica y verificación Epistémica Habilidades Incertidumbre Deóntica Dinámica Sistemas de transiciones etiquetadas Theory of computation Logic Modal logic Logic and verification Labeled transition systems LTS Saravia, Andrés Román Lógicas epistémicas basadas en habilidades |
title | Lógicas epistémicas basadas en habilidades |
title_full | Lógicas epistémicas basadas en habilidades |
title_fullStr | Lógicas epistémicas basadas en habilidades |
title_full_unstemmed | Lógicas epistémicas basadas en habilidades |
title_short | Lógicas epistémicas basadas en habilidades |
title_sort | logicas epistemicas basadas en habilidades |
topic | Teoría de la computación Lógica Lógica modal Lógica y verificación Epistémica Habilidades Incertidumbre Deóntica Dinámica Sistemas de transiciones etiquetadas Theory of computation Logic Modal logic Logic and verification Labeled transition systems LTS |
url | http://hdl.handle.net/11086/553701 |
work_keys_str_mv | AT saraviaandresroman logicasepistemicasbasadasenhabilidades |