answer-set-programming

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

0熱度

1回答

ASP Clingo - 將圖分解爲n個集羣

對於給定的圖，我需要使用至多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