Descriptions of Game Actions

@article{Ditmarsch2002DescriptionsOG,
  title={Descriptions of Game Actions},
  author={Hans van Ditmarsch},
  journal={J. Log. Lang. Inf.},
  year={2002},
  volume={11},
  pages={349-365}
}
To describe simultaneous knowledge updates for different subgroups we propose an epistemic language with dynamic operators for actions. The language is interpreted on equivalence states (S5 states). The actions are interpreted as state transformers. Two crucial action constructors are learning and local choice. Learning is the dynamic equivalent of common knowledge. Local choice aids in constraining the interpretation of an action to a functional interpretation (state transformer). Bisimilarity… 

The logic of ontic and epistemic change

An epistemic logic incorporating dynamic operators to describe information changing events, where agents become more informed about the non-changing state of the world, as ontic changes, wherein the world and the facts describing it change themselves as well.

Semantic results for ontic and epistemic change

We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed about the non-changing

Semantic Results for Ontic and Epistemic Change

We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed about the non-changing

Verifying epistemic protocols under common knowledge

This paper introduces an epistemic protocol language, and shows that its model checking problem is decidable, and proves that there can be no unbiased deterministic protocol for the Russian cards problem.

Concurrent Dynamic Epistemic Logic

This work provides a complete axiomatization for an action language of van Ditmarsch, where an action is interpreted as a relation between epistemic states (pointed models) and sets of epistemicStates, which is found in every context where multiagent strategic decision making is at stake.

Concurrent dynamic epistemic logic for MAS

This paper provides a complete axiomatization for an action language of van Ditmarsch, where an action is interpreted as a relation between states and sets of states, and demonstrates the applicability of the framework in every context where multiagent strategic decision making is at stake.

A Composable Language for Action Models

This paper introduces a language that represents action models using syntactic operators inspired by relational actions, and shows in several settings that it is sufficient to represent any action model up to a given modal depth and to represent the results of action model synthesis.

Knowledge-Based Asynchronous Programming

This work proposes a specific iteration as the semantics of a knowledge-based program, and justifies its choice by a number of examples, including the Unexpected Hanging Paradox.

The logic of conditional doxastic actions

A logic of conditional doxastic actions is presented, obtained by incorporating ideas from belief revision theory into the usual dynamic logic of epistemic actions by reformulating the setting of Action-Priority Update in terms of conditionalDoxastic models.

Dynamic epistemic logic with assignment

This work proposes semantics for the logic of public announcements and public assignments, and gives a relevant valid principle for 'public assignment' and 'atomic assignment'.
...

References

SHOWING 1-10 OF 17 REFERENCES

Reasoning about Information Change

This paper introduces Dynamic Epistemic Logic, which is alogic for reasoning about information change in a multi-agent system, and gives a sound and complete axiomatization of the resulting logic.

Concurrent dynamic logic

Property of CDL are discussed, both on the propositional and first-order level, and the extension is shown to possess most of the desirable properties of DL.

The Logic of Public Announcements and Common Knowledge and Private Suspicions

This paper presents a logical system in which various group-level epistemic actions are incorporated into the object language and contains the infinitary operators used in the standard modeling of common knowledge.

Concurrent dynamic logic

This paper investigates extensions of dynamic logic tailored towards handling concurrent programs, with or without communication, and finds that both respects are dominated by the extent to which the capabilities of synchronization and (unbounded) counting are enabled in the system.

The logic of knowledge games : showing a cardHans

This work describes all models resulting from show actions in a simple knowledge game, and deene the show action by its pre-and postcon-dition and reports on progress in two other deenitions of show, and includes an example involving nondeterminism.

Logics of Time and Computation

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic

Dynamic logic

This book provides the first comprehensive introduction to Dynamic Logic, a system of remarkable unity that is theoretically rich as well as of practical value.

Epistemic logic for AI and computer science

  • J. MeyerWiebe van der Hoek
  • Education, Philosophy
    Cambridge tracts in theoretical computer science
  • 1995
This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject and considers applications in the areas of common knowledge, distributed knowledge, explicit and implicit belief.

Reasoning about knowledge

Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory.

Knowledge and the Problem of Logical Omniscience

  • R. Parikh
  • Philosophy, Computer Science
    ISMIS
  • 1987
The notion of knowledge has recently acquired a great deal of importance in Computer Science, partly because of its importance in AI and expert systems, but also because of applications in