Cheryl's Birthday
Artificial Intelligence
2017-08-10 v1 General Literature
Logic in Computer Science
Abstract
We present four logic puzzles and after that their solutions. Joseph Yeo designed 'Cheryl's Birthday'. Mike Hartley came up with a novel solution for 'One Hundred Prisoners and a Light Bulb'. Jonathan Welton designed 'A Blind Guess' and 'Abby's Birthday'. Hans van Ditmarsch and Barteld Kooi authored the puzzlebook 'One Hundred Prisoners and a Light Bulb' that contains other knowledge puzzles, and that can also be found on the webpage http://personal.us.es/hvd/lightbulb.html dedicated to the book.
Cite
@article{arxiv.1708.02654,
title = {Cheryl's Birthday},
author = {Hans van Ditmarsch and Michael Ian Hartley and Barteld Kooi and Jonathan Welton and Joseph B. W. Yeo},
journal= {arXiv preprint arXiv:1708.02654},
year = {2017}
}
Comments
In Proceedings TARK 2017, arXiv:1707.08250