Changing Observations in Epistemic Temporal Logic

05/17/2018
by   Aurèle Barrière, et al.
0

We study dynamic changes of agents' observational power in logics of knowledge and time. We consider CTL*K, the extension of CTL* with knowledge operators, and enrich it with a new operator that models a change in an agent's way of observing the system. We extend the classic semantics of knowledge for perfect-recall agents to account for changes of observation, and we show that this new operator strictly increases the expressivity of CTL*K. We reduce the model-checking problem for our logic to that for CTL*K, which is known to be decidable. This provides a solution to the model-checking problem for our logic, but its complexity is not optimal. Indeed we provide a direct decision procedure with better complexity.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/03/2014

Reasoning about Knowledge and Strategies: Epistemic Strategy Logic

In this paper we introduce Epistemic Strategy Logic (ESL), an extension ...
research
08/30/2021

Aleatoric Description Logic for Probailistic Reasoning (Long Version)

Description logics are a powerful tool for describing ontological knowle...
research
05/24/2018

On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models

Dynamic epistemic logic (DEL) is a logical framework for representing an...
research
11/09/2021

Self-checking Logical Agents

This paper presents a comprehensive framework for run-time self-checking...
research
05/02/2022

On verifying expectations and observations of intelligent agents

Public observation logic (POL) is a variant of dynamic epistemic logic t...
research
05/31/2018

Reasoning about Knowledge and Strategies

Two distinct semantics have been considered for knowledge in the context...
research
04/13/2020

Quantifying Notes Revisited

In this survey we review several dynamic epistemic logics with modalitie...

Please sign up or login with your details

Forgot password? Click here to reset