Convergence, Continuity and Recurrence in Dynamic Epistemic Logic
The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements for being a topological dynamical system thus interfacing discrete dynamic logics with continuous mappings of dynamical systems. The setting is based on a notion of logical convergence, demonstratively equivalent with convergence in Stone topology. Presented is a flexible, parametrized family of metrics inducing the latter, used as an analytical aid. We show maps induced by action model transformations continuous with respect to the Stone topology and present results on the recurrent behavior of said maps.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Dynamic Term-Modal Logics for First-Order Epistemic Planning
Many classical planning frameworks are built on first-order languages. The first-order expressive power is desirable for compactly representing actions via schemas, and for specifying quantified conditions such as $\neg\…
Learning Action Models: Qualitative Approach
In dynamic epistemic logic, actions are described using action models. In this paper we introduce a framework for studying learnability of action models from observations. We present first results concerning propositiona…
Dynamic Epistemic Logic Games with Epistemic Temporal Goals
Dynamic Epistemic Logic (DEL) is a logical framework in which one can describe in great detail how actions are perceived by the agents, and how they affect the world. DEL games were recently introduced as a way to define…
A Comparison of Mutation and Amplification-Driven Resistance Mechanisms and Their Impacts on Tumor Recurrence
Tumor recurrence, driven by the evolution of drug resistance is a major barrier to therapeutic success in cancer. Resistance is often caused by genetic alterations such as point mutation, which refers to the modification…
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning
Dynamic Epistemic Logic (DEL) is a family of multimodal logics that has proved to be very successful for epistemic reasoning in planning tasks. In this logic, the agent's knowledge is captured by modal epistemic operator…
Epistemic Reasoning