Results 131 to 140 of about 1,988 (154)

Dynamic Epistemic Temporal Logic

2009
We introduce a new type of arrow in the update frames (or "action models") of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in multi-agent systems that need not be synchronous. Since van Benthem and Pacuit (later joined by Hoshi and Gerbrandy) showed that standard Dynamic Epistemic Logic necessarily ...
Bryan Renne, Joshua Sack, Audrey Yap
openaire   +2 more sources

Probabilistic Dynamic Epistemic Logic

Journal of Logic, Language and Information, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES [PDF]

International Game Theory Review, 2007
Game-theoretic solution concepts describe sets of strategy profiles that are optimal for all players in some plausible sense. Such sets are often found by recursive algorithms like iterated removal of strictly dominated strategies in strategic games, or backward induction in extensive games.
openaire   +3 more sources

Dynamic Epistemic Logics of Introspection

2018
This work studies positive and negative introspection not as properties, but rather as actions that change the agent’s knowledge. The actions are introduced as model update operations, with matching modalities expressing their effects. Sound and complete axiom systems are provided, and some properties are explored.
Raul Fervari, Fernando R. Velázquez-Quesada   +1 more
openaire   +3 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.
Shunan He, Jiahong Guo
openaire   +1 more source

A Succinct Language for Dynamic Epistemic Logic

International Joint Conference on Autonomous Agents and Multiagent Systems, 2017
Dynamic epistemic logic (DEL) is an extension of modal multi-agent epistemic logic with dynamic operators. We propose a succinct version of DEL where Kripke models and event models are described succinctly. Our proposal relies on Dynamic logic of propositional assignments (DLPA): epistemic relations are described with so-called accessibility programs ...
Tristan Charrier, François Schwarzentruber   +1 more
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.
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi   +2 more
openaire   +1 more source

Private Dynamic Epistemic Friendship Logic

2014 Brazilian Conference on Intelligent Systems, 2014
Recent works have proposed to model social conceptions of rationality (in contraposition to individual rationality) by means of a logic of community. In [11], the authors have defined a logic of friendship to model social relationship as those contained in social networks.
Henrique Viana, Arnaldo Araújo, Lucas Leite, João F. L. Alcântara   +3 more
openaire   +1 more source

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   +3 more sources

Dynamic Epistemic Preferential Logic of Action

2017
H.P. van Ditmarsch, W. van der Hoek and B.P. Kooi proposed in 2003 some complete formalism for representation of actions for Multi-Agent Systems. This paper is aimed at proposing a new preferential extension of this formalism in terms of dynamic-epistemic logic supported by a unique multi-valued logic.
Krystian Jobczyk, Antoni Ligeza
openaire   +1 more source