Partial information and uniform strategies

Hans Van Ditmarsch, Sophia Knight

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations

Abstract

We present an alternating-time temporal epistemic logic with uniform strategies, interpreted in a novel way on transition systems for modelling situations in which agents with partial information interact to determine the way the system updates. This logic uATEL allows us to model what properties agents can enforce when they act according to strategies based on their knowledge. Apart from the usual memoryless strategies, we distinguish state-based memory, where agents recall the history of previous states, from perfect recall, where agents also recall their actions. We show that this makes a difference. Our logic includes three strategic operators for groups, representing the case where all the agents in the group cooperate actively, but do not share their knowledge, the case where some agents in the group may be passive, and the case where all the agents in the group share their knowledge. We include a detailed comparison to the literature on the subject.

Original languageEnglish (US)
Title of host publicationComputational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Proceedings
PublisherSpringer Verlag
Pages183-198
Number of pages16
ISBN (Print)9783319097633
DOIs
StatePublished - 2014
Externally publishedYes
Event15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2014 - Prague, Czech Republic
Duration: Aug 18 2014Aug 19 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8624 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2014
CountryCzech Republic
CityPrague
Period8/18/148/19/14

Fingerprint Dive into the research topics of 'Partial information and uniform strategies'. Together they form a unique fingerprint.

Cite this