Cheryl 的生日
人工智能
2017-08-10 v1 综合文献
计算机科学中的逻辑
摘要
我们提出了四个逻辑谜题，随后给出了它们的解答。Joseph Yeo 设计了“Cheryl 的生日”。Mike Hartley 为“一百个囚犯与一个灯泡”提出了一个新颖的解法。Jonathan Welton 设计了“盲猜”和“Abby 的生日”。Hans van Ditmarsch 和 Barteld Kooi 撰写了谜题书《一百个囚犯与一个灯泡》，其中包含其他知识谜题，该书也可以在专门为此书建立的网页 http://personal.us.es/hvd/lightbulb.html 上找到。
关键词
引用
@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}
}
备注
In Proceedings TARK 2017, arXiv:1707.08250