Action emulation

Eijck, Jan van; Ruan, Ji; Sadzik, Tomasz

doi:10.1007/s11229-012-0083-1

Cited by 20 publications

(29 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We also give a partial result that holds for the class of all action models. Our results extend the work in [4]. …”

supporting

confidence: 91%

“…In [4], the following useful observation is made about canonical Kripke models and action model equivalence. We rephrase the proof here.…”

Section: Action Models and Bisimulationmentioning

confidence: 99%

“…We would like to improve on this result by giving a direct definition of action emulation between action models. The definition we propose here is simpler than the one from [4] because it does not involve worlds from a canonical Kripke model and is constructed as one single relation, rather than being the union of multiple relations.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Action Emulation between Canonical Models

Sietsma¹,

Eijck²

2013

J Philos Logic

Self Cite

View full text Add to dashboard Cite

In this paper we investigate Kripke models, used to model knowledge or belief in a static situation, and action models, used to model communicative actions that change this knowledge or belief. The appropriate notion for structural equivalence between modal structures such as Kripke models is bisimulation: Kripke models that are bisimilar are modally equivalent. We would like to find a structural relation that can play the same role for the action models that play a prominent role in information updating. Two action models are equivalent if they yield the same results when updating Kripke models. More precisely, two action models are equivalent if it holds for all Kripke models that the result of updating with one action model is bisimilar to the result of updating with the other action model. We propose a new notion of action emulation that characterizes the structural equivalence of the important class of canonical action models. Since every action model has an equivalent canonical action model, this gives a method to decide the equivalence of any pair of action models. We also give a partial result that holds for the class of all action models. Our results extend the work in [4].

show abstract

“…We also give a partial result that holds for the class of all action models. Our results extend the work in [4]. …”

supporting

confidence: 91%

“…In [4], the following useful observation is made about canonical Kripke models and action model equivalence. We rephrase the proof here.…”

Section: Action Models and Bisimulationmentioning

confidence: 99%

See 1 more Smart Citation

Action Emulation between Canonical Models

Sietsma¹,

Eijck²

2013

J Philos Logic

Self Cite

View full text Add to dashboard Cite

show abstract

“…For example, action models with factual change [2] should also be representable as knowledge transformers. They also motivate a new notion of action equivalence which might help to solve a problem with action models where bisimulation had to be replaced with the more complicated notion of action emulation [16].…”

Section: Discussionmentioning

confidence: 99%

Symbolic Model Checking for Dynamic Epistemic Logic

Benthem

Eijck

Gattinger

et al. 2015

Logic, Rationality, and Interaction

Self Cite

View full text Add to dashboard Cite

Abstract. Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, existing DEL implementations are ad-hoc, so we do not know how the framework really performs. For this purpose, we want to hook up with the best available model-checking and SAT techniques in computational logic. We do this by first providing a bridge: a new faithful representation of DEL models as so-called knowledge structures that allow for symbolic model checking. Next, we show that we can now solve well-known benchmark problems in epistemic scenarios much faster than with existing DEL methods. Finally, we show that our method is not just a matter of implementation, but that it raises significant issues about logical representation and update.

show abstract

“…Indeed, the author nicely illustrates DEL theory with applications to navigation problems (on a grid) and to epistemic planning using DEL protocols. He ends with presenting a long-standing open problem (finding a structural characterization of when two epistemic action models induce equivalent updates), some partial solutions to this problem proposed in his own joint work [126,193], and a brief note on some of his very recent results on probabilistic DEL [127]. The paper by Patrick Girard and Hans Rott has two sides.…”

Section: The Invited Contributions On Informational Dynamicsmentioning

confidence: 99%