answer-set-programming

-4熱

1答えて

C++ファイルからアンサーセットプログラミングファイルを実行するにはどうすればよいですか？

私のC++コードの主な機能からASPファイルを実行するために使用できるメソッドはありますか？私は、C++ファイルを使用して擬似カメ猫を制御し、ASPコードを使用して、ロボットが指定された目標を達成するために使用できるアクションプランを作成することを期待しています。私はUbuntu 14.04、SPARC（ASPソルバー）、ROSインディゴ、およびガゼボを使用しています。

0熱

1答えて

Clingo 4.5とGringo 3を使用

PCGBookの第8章の演習からコードを実行しようとしています。彼らはclingoを使用しますが、使用しているバージョンは何も言いません。私がPotangcoのsourceforge（バージョン4.5.4）からClingoの最新バージョンをダウンロードしたとき、それは私にレクサーエラーを与えます。 Gringo 3とGringo 4の間で構文が変更されたためと考えています。Potasscoのウ

0熱

2答えて

pythonファイルへの入力としてSPARCソルバーの出力を使用するにはどうすればよいですか？

私の質問：SPARCソルバー（現在端末にテキストとして表示されている）の出力をPythonコードの変数として保存する必要があります。これどうやってするの？クイックメモ：SPARCは、ASP（answer-set-programming）ファイルに使用されるソルバーです。これは、人々が混乱しないように言い、asp.netを参照していると思います。コマンドpython pythonfile.py

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 : [6;8] (Error: 0.333333) Progressi

0熱

1答えて

Python2.7とASP間の双方向通信を試みている：名前付きパイプの内容を動作しないテキストファイルに書き込む

私はPython2.7のSPARC ASPソルバーを使用していて、Ubuntu14.04コマンドライン。私はPythonコードと私のASP（answer-set-programming）コードとの間の双方向通信を設定しようとしています。これを行うために、PythonからASPにクエリを送信し、ASPレスポンスをFIFOパイプに入れ、PythonコードでFIFOの内容を文字列に読み込み、その文字列

1熱

1答えて

clingo可変範囲を適用する

クリンゴについてよく分かりませんが、私は問題をはっきりと分かち合うことができればと思います。現在、私は、各X、Y値の結果を返します cellUseCount(X,Y,C) :- C = #count{cell(X,Y)}, target(X,Y,XX,YY). をしました。どうすればX-XXとY-YYの範囲に入ることができますか？たとえば、target(1,5,1,1)の場合はcellUs

0熱

1答えて

真の述語の数をカウントして制限する

指定されたファクトを使用して使用できる真の述語の数を制限できる特定の方法はありますか？私は合計（2）を持っています。事実として。これはうまくいくと思いました：：合計（N）、#count {x：something_to_limit（x）} = K、K = Nです。しかし、これは、Nは任意の助けを大幅に高く評価されるであろう:)

1熱

1答えて

回答集合プログラミングは - 私は（も）default文現在では既に存在する場合、無効既存事実を作成する方法についてのプログラミング設定し回答についての質問があり

無効FACTを作りますナレッジベース。たとえば、sebyとandyの2人がいて、そのうちの1人が一度にドライブできます。このシナリオでは、sebyは3行目のように運転することができますが、免許が取り消された後はもう運転できなくなるため、4行目から7行目まで、そしてandyは7行目のように運転を学びます。一度に1人しか運転できませんが、sebyとandyの表示は同じではありません。上記プログ

0熱

1答えて

アンサーセットプログラミングで2つの長方形間の交差を確認する

以下のルールは交差をチェックします。 :- areaCoords(X1,Y1,X2,Y2), areaCoords(XA,YA,XB,YB), XA >= X1, X2 >= XA, YB >= Y1, Y2 >= YA, (X1,Y1,X2,Y2) != (XA,YA,XB,YB). ただし、対称ペアが生成されます。つまり、交差点（A、B）と交差点（B、A）があるかどうかを確認するのは明らか

1熱

1答えて

間隔情報の生成に関する問題

時間の経過とともに2進関数が与えられた場合、この関数で発生する間隔に関する情報を抽出しようとします。など。このような a, a, b, b, b, a, b, b, a, a 、私は実際の間隔（[スタート]、長さ、値）を望む：私は状態aとb、および以下の機能を持たせてここに interval(0, 2, a) interval(2, 3, b) interval(5, 1, a) i