Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
In this paper we introduce Epistemic Strategy Logic (ESL), an extension of Strategy Logic with modal operators for individual knowledge. This enhanced framework allows us to represent explicitly and to reason about the knowledge agents have of their own and other agents' strategies. We provide a semantics to ESL in terms of epistemic concurrent game models, and consider the corresponding model checking problem. We show that the complexity of model checking ESL is not worse than (non-epistemic) Strategy Logic
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Design of a Solver for Multi-Agent Epistemic Planning
As the interest in Artificial Intelligence continues to grow it is becoming more and more important to investigate formalization and tools that allow us to exploit logic to reason about the world. In particular, given th…
Epistemic ReasoningModelling Multi-Agent Epistemic Planning in ASP. Theory and Practice of Logic Programming
Designing agents that reason and act upon the world has always been one of the main objectives of the Artificial Intelligence community. While for planning in "simple" domains the agents can solely rely on facts about th…
Epistemic ReasoningReasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
Logics for reasoning about knowledge and actions have seen many applications in various domains of multi-agent systems, including epistemic planning. Change of knowledge based on observations about the surroundings forms…
Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge
The TARK conference (Theoretical Aspects of Rationality and Knowledge) is a biannual conference that aims to bring together researchers from a wide variety of fields, including computer science, artificial intelligence, …
Epistemic ReasoningPhilosophyProceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge
The TARK conference (Theoretical Aspects of Rationality and Knowledge) is a conference that aims to bring together researchers from a wide variety of fields, including computer science, artificial intelligence, game theo…
Epistemic ReasoningPhilosophy