We study a generalization of the Muddy Children puzzle by allowing public announcements with arbitrary generalized quantifiers. We propose a new concise logical modeling of the puzzle based on the number triangle representation of quantifiers. Our general aim is to discuss the possibility of epistemic modeling that is cut for specific informational dynamics. Moreover, we show that the puzzle is solvable for any number of agents if and only if the quantifier in the announcement is positively active (satisfies a form of variety). © 2011 ACM.
A note on a generalization of the muddy children puzzle / Gierasimczuk, N.; Szymanik, J.. - (2011), pp. 257-264. ( 13th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2011 Groningen 2011) [10.1145/2000378.2000409].
A note on a generalization of the muddy children puzzle
Szymanik, J.
2011-01-01
Abstract
We study a generalization of the Muddy Children puzzle by allowing public announcements with arbitrary generalized quantifiers. We propose a new concise logical modeling of the puzzle based on the number triangle representation of quantifiers. Our general aim is to discuss the possibility of epistemic modeling that is cut for specific informational dynamics. Moreover, we show that the puzzle is solvable for any number of agents if and only if the quantifier in the announcement is positively active (satisfies a form of variety). © 2011 ACM.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
