文章基本信息

标题：Modeling and solving self-referential puzzles
本地全文：下载
作者：Bubalo, Maja ; Čubrilo, Mirko
期刊名称：Journal of Information and Organizational Sciences
印刷版ISSN：1846-3312
电子版ISSN：1846-9418
出版年度：2005
卷号：29
期号：1
页码：1-12
出版社：Faculty of Organization and Informatics University of Zagreb
摘要：The so-called self-referential puzzles are a very interesting kind of logic puzzles, aiming at developing the skill of logical thinking. A self-referential puzzle consists of a sequence of questions about the puzzle itself. In this paper, we shall show some selfreferential puzzles, demonstrate how to model and solve them as propositional logic problems, and how to mechanically generate new puzzles. For this, we shall make use of the specific advantages of Mozart/Oz system – the finite domain constraint programming language and environment. We shall also show some new puzzles, according to our best knowledge not yet published elsewhere. The program in Mozart/Oz using our method generated these puzzles.
关键词：self-referential puzzles; logic programming; finite domain constraint programming; Mozart/Oz.