Results 251 to 260 of about 1,741 (282)

Dynamic Epistemic Logic

2011
What is knowledge? How can we acquire knowledge? When can we say that we know something? Do we know that we know something? Those are the issues that puzzled Chinese philosophers about 2000 years ago, witness a famous dialogue below between Zhuangzi (approx.369–286 BC) from the Daoism School and Huizi (390–317 BC) from the School of Names: One day ...
openaire   +2 more sources

Concurrent dynamic epistemic logic for MAS

Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03, 2003
When giving an analysis of knowledge in multiagent systems, one needs a framework in which higher-order information and its dynamics can both be represented. A recent tradition starting in original work by Plaza treats all of knowledge, higher-order knowledge, and its dynamics on the same foot. Our work is in that tradition.
H.P. van Ditmarsch, W. van der Hoek, Barteld Kooi   +2 more
openaire   +1 more source

Games in Dynamic‐Epistemic Logic

Bulletin of Economic Research, 2001
The author discusses games of both perfect and imperfect information at two levels of structural detail: players’ local actions, and their global powers for determining outcomes of the game. Matching logical languages are proposed for both. In particular, at the ‘action level’, imperfect information games naturally model a combined ‘dynamic‐epistemic ...
openaire   +2 more sources

Overview of Dynamic Epistemic Logic

2015
This is a gentle introduction to so-called dynamic epistemic logics that can describe how agents change their knowledge and beliefs. We start with a concise introduction to epistemic logic, through the example of agents holding playing cards; and, mainly for the purpose of motivating the dynamics, we also briefly introduce the concepts of shared and ...
Hans van Ditmarsch, Barteld Kooi
openaire   +2 more sources

Dynamic epistemic logic with topological semantics

2016 3rd International Conference on Systems and Informatics (ICSAI), 2016
In this article we present dynamic epistemic logic in the content of topological semantics. Dynamic epistemic logic is a brunch of modern logic which close related to computer science. We show that the DEL under topological semantics is of highly similarity with that DEL under relational semantics.
Guo Jia-hong, He Shunan
openaire   +2 more sources

Abductive Reasoning in Dynamic Epistemic Logic

2017
This chapter proposes a study of abductive reasoning addressing it as an epistemic process that involves both an agent’s information and the actions that modify this information. More precisely, this proposal presents and discusses definitions of an abductive problem and an abductive solution in terms of an agent’s information (her knowledge and ...
Nepomuceno-Fernández, A., Soler-Toscano, F., Velázquez-Quesada, F.R.   +2 more
openaire   +3 more sources

Dynamic Epistemic Logic

2008
van Ditmarsch, H.P., van der Hoek, W., Kooi, Barteld   +2 more
openaire   +2 more sources

Dynamic epistemic logic for protocol analysis

2009
The next day, the participants in the discussion on protocol analysis reconvene. This time, they have an in-depth exchange of ideas on possible uses of epistemic logic.
van Eijck, J., Dechesne, F., Teepe, W., Wang, Y.   +3 more
openaire   +2 more sources

Dynamic Epistemic Logic and Temporal Modality

2010
Dynamic epistemic logic allows us to model agents who learn new information about the world from events which they observe. In this paper, I add a backward-looking modality to the dynamic language, to allow for our expressing statements about what an agent knew before an event took place.
openaire   +2 more sources

Logics for Dynamic Epistemic Behavioral Strategies

2015
This paper shows how the probabilistic logic of communication and change can be used to reason about finite extensive-form games with incomplete or imperfect information and with probabilistic nature moves. The results of probabilistic behavioral strategies can be expressed, as well as the results of strategies that are sensitive not also just to the ...
openaire   +2 more sources