clingo

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

1熱

1答えて

回答セットプログラミングを使用してグラフが強く接続されているかどうかを確認するにはどうすればよいですか？

私はセットプログラミングには新しく、助けを借りることができます。私はthisを読んでいますが、まだ助けてもらえます。グラフが強く接続されているかどうかを判断するために、回答セットプログラミングを使用するにはどうすればよいですか？マイブレーンストーミング：ノードとエッジで表されるグラフ（すなわち、ノード（1..2）、エッジ（1,2）、エッジ（2,1））。ここで、グラフが強く接続されている場合は

0熱

1答えて

asp/clingoでpythonスクリプトを使用した根拠のある述語

私はclingoバージョン4を使用していますが、Pythonスクリプトを介して関係を確立できるようにしたいと考えています（なぜか、婚姻関係）。私はこれが可能であり、助けが必要だと思っています。 #script (python) import gringo; def main(prg): prg.ground([('base', [])]); # ... compute so

0熱

1答えて

Clingo 4.5とGringo 3を使用

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

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答えて

#minの複数の値を計算するclingoコンパイラ

ASP/`clingo（Version 4+）でPythonスクリプトを使用している間、基本的な問題が発生しています。私はポイントを説明するために、最小限の例で問題を再構築しました。明らかに、この例では、スクリプトを使用する必要はありません。しかし、私のより複雑なアプリケーションでは、私は人為的に問題を再現性のある方法で再現しました。集計/最適化を呼び出す間、コンパイラは何らかの形で値のインデッ

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の表示は同じではありません。上記プログ