问题标签 [clingo]

我对cligo不太了解，我希望我能清楚地分享这个问题。

目前我已经

它返回每个 X,Y 值的结果。我如何获得 X-XX 和 Y-YY 范围。

例如：规则cellUseCount(1,5,1)为target(1,5,1,1). 但是，我想拥有cellUseCount(1,1,1), cellUseCount(1,2,1), cellUseCount(1,3,1), cellUseCount(1,4,1), cellUseCount(1,5,1)for target(1,5,1,1)。我该如何实施？

提前致谢。

我正在计划中运行求解器，并且在各种答案集之间我得到了我认为是警告（因为它不会终止执行），它说以下内容：

我找不到任何关于该警告的参考，所以我希望有人知道它们的意思。

我在尝试优化可能会遇到负数的值时遇到了问题：

使用上面的代码，在我运行它之后，我得到：

最小值不应该是-1吗？或者还有更多的事情要做以最小化负成本？

我是 JupyterLabs 和 Codemirror 的新手，但是，我有一个新的 simplemode 语言语法定义，我想申请 Clingo。我将文件基于 Dockerfile 模式。但是，我不知道如何将此文件包含在 JupyterLab 的构建中。我确实设法让 JL 按照此处的说明进行构建，但我不确定如何将我的文件包含在构建过​​程中。

第 11 行packages/codemirror/src/mode.ts有：

import 'codemirror/mode/meta';

哪种让我相信如果我在 meta.js 文件中包含一行，并将我的模式文件夹放在该目录中，它会在构建过程中找到，但情况似乎并非如此。

任何帮助将不胜感激。谢谢你。

像这样的一句话

第一次尝试

第二次尝试

第一个对解决方案没有任何改变，而第二个则使一切都无法令人满意。

我目前正在开发一个答案集编程问题，包括一个机器人，该机器人需要覆盖一个房间以避免障碍物并在所有房间都被覆盖时到达目标点。我的想法是将房间地图转换为 asp 谓词，以 room/3 的形式，作为参数：

• X:x 坐标
• Y:y 坐标
• V：房间内点的值，分别为0（初始点），1（覆盖点），2（障碍物），3（目标点）

程序必须满足的标准之一是覆盖值为 1 的每个点，这可以通过约束来实现，但我不知道如何对机器人运动进行建模。我的想法是使用 move/1 形式的谓词，向上、向下、向左或向右。

任何人都可以帮助我指导我如何建模这个问题吗？

先感谢您。

我是asp的新手。我需要创建一组团队。每组必须由 3 个随机选择的团队组成。一个团队只能在一个组中。

提前致谢。这是我的代码

可能的输出可能是

有什么简单的方法可以将 Prolog/ASP 代码翻译成 CLIPS？

像这样的东西，但使用 CLIPS 而不是 Prover9： https ://github.com/potassco/anthem/tree/master/examples

以下使一个或多个文字为真：

在上面的 a,b,c,condition 是一个有效的模型，但也是 (a,condition), (a,b,condition) 等。我希望所有的 a,b,c 都是真的，总是，如果条件是真的。

我可以编写以下内容来强制 a、b、c 始终为真。

但是对于复杂的规则，这些变得非常冗长且容易出错。

我想以紧凑的形式表达它：

但是，这是一个语法错误。这样做的正确方法是什么？