河内塔问题是以下形式的谜题：给我们三个杆，以及一组可以滑到任何杆上的不同大小的圆盘。 谜题以圆锥形堆叠的圆盘开始，这取决于它们在一根杆上的大小升序。 目标是将整个磁盘堆移动到另一个棒上，遵守以下规则： 一次只能移动一个磁盘。 每次移动都涉及从一个堆栈中取出上面的圆盘并将其放在另一个堆栈的顶部。 任何磁盘都不能放置在较小磁盘的顶部。 保罗·斯托克迈尔 (Paul Stockmeyer) 写了一篇题为“河内四柱塔之变体之谜”的论文（出现在 Congressus Numerantium 第 103 卷，第 3-12 页，1994 年），它提出了一个称为“星之谜”的概括。 他这样定义这个谜题：“这个新谜题由三个标有 A、B 和 C 的柱子组成，排列成等边三角形，第四个柱子在中间标有 O。 每次磁盘移动都必须在 O 后或从 O 后； 禁止在 A、B、C 任意两个柱子之间直接移动。 因此，允许

该文档包含了OWLS格式的数据集（在领域、本体、查询、服务等方面均给出了相关的本体数据），而且还有OWLS-TC操作手册可提供参考。

关于人工智能领域PDDL的语法说明，包含domain和problem的定义以及其中模块的说明