clingo

2熱度

1回答

我已生成： curr(p5,2) curr(p5,1) curr(p5,6) 如何可以總結LASE字段2 + 1 + 6？只見clingo_guild.pdf第21頁以下： 15 :- not M-2 [ enroll(C) : hours(C,H) = H ] M, max_hours(M). ，並提出： #sum [pick(P) : curr(P,I) = I]. ，但我得到：

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,

1熱度

1回答

如何判斷圖表是否使用答案集編程強連接？

我是新來回答設置編程，可以使用一些幫助。我一直在閱讀this，但仍然可以使用一些幫助。如何使用答案集編程來判斷一個圖是否強連接？我的頭腦風暴：由節點和邊緣表示格拉夫（即;節點（1..2），邊緣（1,2），和邊緣（2,1））。現在我需要規則「strong（）： - ......」，如果圖形是強連接的，則爲true。如果您可以從任何節點開始，並沿着它們指向的方向跟隨邊緣到達任何其他節點，則該圖

0熱度

1回答

在asp/clingo中使用python腳本接地謂詞

我正在使用clingo版本4並希望能夠通過python腳本建立關係（請不要問爲什麼，這不是犯罪，因爲您至少可以將1- ary關係）。我希望這是可能的，並需要一些幫助。 #script (python) import gringo; def main(prg): prg.ground([('base', [])]); # ... compute somethings ...

0熱度

1回答

使用Clingo 4.5與Gringo 3

我正在嘗試運行PCGBook第8章練習中的代碼。他們使用clingo，但不說他們使用的是什麼版本。當我從Potassco的sourceforge（版本4.5.4）下載最新版本的Clingo時，它給了我詞法錯誤。我認爲這是因爲Gringo 3和Gringo 4之間的語法已經發生了變化。在Potassco網站上，他們說這個並且通過下載兩個版本的Gringo來解決這個問題，但是他們沒有說如何同時引用這兩

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回答

clingo編譯器計算#min的多個值

我在ASP /`clingo（Version 4+）中使用python腳本時遇到了一個基本問題。我用一個最小的例子重新構造了這個問題，以說明這一點。顯然，在這個例子中，我不需要使用腳本。然而，在我更復雜的應用程序中，我以一種更易於理解的方式人爲地重新創建了這個問題。問題是，在調用聚合/優化時，編譯器不知道如何註冊所有用於索引值的完整謂詞。相反，它似乎會連續計算最小值，結果會沿着這個方向吐出所有的

1熱度

1回答

重定向子程序輸出到一個文件

我有一個答案集程序（驗證工作），我想在C＃控制檯應用程序中運行。我想將該程序的輸出重定向到一個文本文件，然後我可以讀取它。我想： string directory = @"C:\...\Clingo"; string clingoPath = "clingo.exe"; string inputPath = "Assignment2.lp"; string dataPath = "Data1

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