问题标签 [planning]

我正在使用 cligo 来解决洪水问题。我使用谓词frontier([CELL], [COLOR], [TIMESTEP])来跟踪作为洪水邻居的所有单元格。边界集可能如下所示：

我们可以将这个集合分成两个子集。每个颜色值分别为 2 或 3 的一种。我需要的基本上是两件事：

1. 确定哪个子集更大，即颜色值为 2 或 3 的单元格是否更多（顺便说一句，颜色的数量不固定，因此解决方案必须是通用的）
2. 获取最大集合成员的颜色值

如何比较谓词逻辑中 n (n>=2) 集的基数？

先感谢您！

我正在尝试使用 Python 中的动态编程计算最短路径。我将所有数据正确存储为图的加权段（道路）和节点（城市），所以这不是问题，因为我能够实现经典算法（BFS，DFS ...），情况是我没有知道如何应用动态规划来解决这个问题。我只知道从A到B，我必须将问题划分为子问题，但我不知道如何创建一个有效的算法，我的意思是算法应该遵循的步骤以及我应该如何划分问题成小问题。

谢谢你的帮助！

当我们为避免碰撞进行路径规划时，我们可以实现开环或闭环。开环方法是使用固有的简化模型，例如自行车模型，并通过设计控制器（MPC 或其他）以最佳输入向前传播系统。但是，随着时间的推移，由于建模误差，简化模型的状态肯定会与真实模型的状态不同，因此我们需要用真实系统状态（通过测量或估计获得）重新初始化路径规划器的状态。这样，我们就有了闭环规划。问题是这种重新初始化的频率是多少？较高的重新初始化频率使规划更准确，但同时也可能导致下级控制器的锯齿形参考。

当前设置

• 我们有 10 个节点的发现集群。
• 该集群的每个节点都有 24 个内核和 264 GB 内存 为后台进程保留一些内存和 CPU，我们计划使用 240 GB 内存。
• 现在，当涉及到容器设置时，因为每个容器可能需要 1 个核心，所以我们最多可以有 24 个容器，每个容器都有 10GB 内存。
• 通常集群有 1-2 GB 内存的容器，但我们受到可用内核的限制，或者我可能遗漏了一些东西

问题陈述

• 由于我们的集群被数据科学家和分析师广泛使用，只有 24 个容器是不够的。这会导致严重的资源争用。

• 有什么办法可以增加容器的数量吗？

我们正在考虑的选项

• 如果我们要求团队在一个文件中运行许多 tez 查询（不是单独的），那么我们将最多保留一个容器。

要求

1. 有没有其他方法可以管理我们的发现集群。
2. 是否有可能减小容器尺寸。
3. vcore（因为它是一个逻辑概念）可以由多个容器共享吗？

我想知道，是否可以在运行时使用由retract 和assert 修改的知识库在Prolog 中进行规划？

我的想法如下：假设我需要更换一辆汽车的爆胎。我可以把东西放在地上，也可以把东西从地上移到某个空闲的地方。

所以我想出了这样一个代码：

（我是Prolog的菜鸟，所以也许它甚至是错误的，如果是这样，请告诉我如何纠正它。）

想法是：我的车轴上有一个爆胎，后备箱有一个备用轮胎。如果 X 在某个地方，我可以移除一个东西 X，为了移除它，我移除了指定它在哪里的事实，并添加了一个事实，即它在地面上。类似地，如果 X 在某个地方并且 Y 是空闲的，我可以将一个东西 X 放到位置 Y，为此，我将 X 从它所在的位置移除并添加 X 在 Y 处的事实。

现在我被困住了：我现在不知道如何使用这段代码，因为at(spare, axle)只是说不，即使有跟踪。

所以问题是：可以使用这种方法吗？如果可以，如何使用？

我希望这是有道理的。

使用案例

首先，我想解释一下我的使用案例：我想将一个领域划分为不同的扇区，所有的植物都应该由机器人分析（每个扇区只有一个机器人）。我想检查：前提条件是已经分析了一个部门的所有植物，以便机器人返回“家”。

问题

这是域 PDDL。我的问题是放在“tracker-back-home”动作的前提下。现在我正在检查是否已经分析了所有植物，但我需要知道是否分析了特定部门的所有植物？可以使用 forall 语句吗？

该声明是否有任何版本有效，表示一个演员知道另一个演员或一个位置？或者我必须指定单独的谓词know_actor 和knows_location？

我有一个网格，如图所示。到目前为止，我已经实现了以下函数作为我的启发式函数。所以这个游戏的目标是收集所有放在这个网格上的数字。起点 A。

1. 曼哈顿距离，然后取它的最大值来计算启发式。

2. 所有曼哈顿距离到所放置数字的总和。（我认为这是不可接受的，因为它高估了到达目标的距离——如果我错了，请纠正我）

我的问题是，第一种方法扩展状态超出了我的需要，第二种方法是不可接受的。我目前正在实施我自己的启发式方法。

我想出了这个想法，计算从 A 到 2 再到 1 再到 3 和 0 的距离之间的距离之间的平方欧几里得距离。没有这样的顺序来收集数字。然而，问题只是欧几里得距离扩展了太多的状态，尽管它是可以接受的。你能帮我一个合适的距离或方法来完成我的任务吗？

谢谢！

我有一个智能灯，它的动作可以打开/关闭。动作开启会增加房间的亮度，但是，由于当前的环境状态，我无法确定它将增加多少亮度。有没有办法在 PDDL 中模拟这种不确定性？

我希望在 PostgreSQL 11 中对我的表之一（即 TransactionLog）进行范围分区。
在评估未分区表和分区表之间的查询性能时，我在规划时间上得到了巨大的差异。分区表中的计划时间非常长。
同样，当我通过直接在查询中指定分区名称进行查询时，与我在查询中基于分区表（父表）名称进行查询时相比，计划时间要少得多0.081 毫秒，其中计划时间为6.231 毫秒（示例如下）。

让我知道如何提高分区表的查询性能。

以下是架构

以下是我直接在分区上查询时的分析结果。计划时间 ~ 0.080 ms（平均 10 次执行）

以下是我通过父表查询时的解释分析结果。计划时间 ~ 6.198 ms（平均 10 次执行）

PostgreSQL 版本：x86_64-pc-linux-gnu 上的 PostgreSQL 11.7，由 gcc (GCC) 4.8.5 20150623 (Red Hat 4.8.5-39) 编译，64 位