| 書目名稱 | One Hundred Prisoners and a Light Bulb | | 編輯 | Hans van Ditmarsch,Barteld Kooi | | 視頻video | http://file.papertrans.cn/702/701434/701434.mp4 | | 概述 | Presents eleven classic epistemic logic puzzles with detailed step-by-step solutions.Provides an analysis of the problems without having to rely on heavy mathematical techniques.Accessible to students | | 圖書封面 |  | | 描述 | .A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no fixed order of interrogation, or interval between interrogations, and the same prisoner may be interrogated again at any stage. When interrogated, a prisoner can either do nothing, or toggle the light switch, or announce that all prisoners have been interrogated. If that announcement is true, the prisoners will (all) be set free, but if it is false, they will all be executed. While still in the dining room, and before the prisoners go to their isolation cells (forever), can the prisoners agree on a protocol that will set them free?.At first glance, this riddle may seem impossible to solve: how can all of the necessary information be transmitted by the prisoners using only a single light bulb?? There is indeed a solution, however, and it can be found by reasoning about knowledge..This book pro | | 出版日期 | Book 2015 | | 關(guān)鍵詞 | dynamic epistemic logic; epistemic logic; logic puzzle; modal logic; muddy children puzzle | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-319-16694-0 | | isbn_softcover | 978-3-319-16693-3 | | isbn_ebook | 978-3-319-16694-0 | | copyright | Springer International Publishing Switzerland 2015 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-18 01:37
發(fā)表于 2025-3-21 17:22:21
