answer-set-programming

0热度

1回答

对于给定的图，我需要使用至多n个集团来表示它。我有这个任务的问题。这与图的n染色相似，与给定的图相反（当图A中的边（a，b）比边（a，b）不在图B中时，图b与图A相反。我写了下面的代码： #const n = 3. { color(X,1..n) } = 1 :- node(X). :- not edge(X, Y), color(X,C), color(Y,C). :- edge(X

1热度

1回答

解决逻辑谜题与答案设置编程

免责声明：我几乎是全新的clingo，并回答设置编程一般。我试图用clingo解决grid logic puzzle。首先，我想生成包含每个类别的一个实例的所有模型。例如，如果有三个人： person(a; b; c).，三间房子：house(w; x; z).，三种颜色： color(r; g; y). 我想一个可能的稳定模式是 assign(a, r, x), assign(b, g,

0热度

1回答

DLV列表组合

我想知道DLV中是否有一种方法来创建一个列表，其中包含规则中所有谓词的元素。举例来说，如果我有以下谓词 foo(a, b). foo(a, c). foo(a, e). foo(b, c). 我要找应该有新的谓词，结果其中第一个元素是foo第一个参数和第二个参数应包含相关的所有元素的列表第一个参数。经验： bar(a, [b,c,e]). bar(b, [c]). 我知道有一个用下

-4热度

1回答

如何从C++文件运行答案集编程文件？

有什么方法可以用来从我的C++代码的主函数中运行ASP文件？我正在做一个项目，我期望使用C++文件来控制模拟的turtlebot，并使用ASP代码构建机器人可以用来实现指定目标的行动计划。我使用的是Ubuntu 14.04，SPARC（一种ASP求解器），ROS indigo和gazebo。

1热度

1回答

如何判断图表是否使用答案集编程强连接？

我是新来回答设置编程，可以使用一些帮助。我一直在阅读this，但仍然可以使用一些帮助。如何使用答案集编程来判断一个图是否强连接？我的头脑风暴：由节点和边缘表示格拉夫（即;节点（1..2），边缘（1,2），和边缘（2,1））。现在我需要规则“strong（）： - ......”，如果图形是强连接的，则为true。如果您可以从任何节点开始，并沿着它们指向的方向跟随边缘到达任何其他节点，则该图

0热度

1回答

使用Clingo 4.5与Gringo 3

我正在尝试运行PCGBook第8章练习中的代码。他们使用clingo，但不说他们使用的是什么版本。当我从Potassco的sourceforge（版本4.5.4）下载最新版本的Clingo时，它给了我词法错误。我认为这是因为Gringo 3和Gringo 4之间的语法已经发生了变化。在Potassco网站上，他们说这个并且通过下载两个版本的Gringo来解决这个问题，但是他们没有说如何同时引用这两

0热度

2回答

如何使用SPARC求解器的输出作为python文件的输入？

我的问题：我需要将我的Python代码中的一个SPARC求解器的输出保存为一个变量（目前在终端中显示为文本）。我怎样才能做到这一点？快速注意：SPARC是一种用于ASP（应答集编程）文件的解算器 - 只是提到这一点，以免人们感到困惑，并认为我指的是asp.net。我在同一个终端中使用命令python pythonfile.py | java -jar sparc.jar aspfile.sp同

0热度

2回答

Clingo - 进展错误/警告

我运行求解器上的规划和各种答案集我得到了我认为是之间的警告（因为它不termiate执行）说以下内容： Progression : [2;8] (Error: 3) Progression : [3;8] (Error: 1.66667) Progression : [4;8] (Error: 1) Progression : [5;8] (Error: 0.6) Progression

0热度

1回答

试图在Python2.7和ASP之间进行双向通信：将命名管道的内容写入文本文件不起作用

我使用Python2.7，SPARC ASP解决方案，并从Ubuntu14.04命令运行我的代码线。我试图在我的Python代码和我的ASP（answer-set-programming）代码之间建立双向通信。为此，我将查询从python发送到ASP，将ASP响应放入fifo管道中，并在python代码中将fifo的内容读入字符串，然后将该字符串写入文本文件（这是如此我可以检查文本文件，看看我是

1热度

1回答

回答集编程 - 使无效

一个事实，我有一个关于答案集就如何使现有的其实无效，当已经有（又）一个默认声明出现在编程问题知识库。例如，有两个人seby和andy，其中一人能够立即开车。场景可以是seby可以像第3行所示的那样行驶，但是让我们说，在他的驾照被取消后，他不能再开车了，因此我们现在有第4到第7行，同时andy学习驾驶，如第7行所示。第6行显示一次只能开车一人，另外显示seby和andy也不一样。 1 person