問題タブ [answer-set-programming]

推測ブロックから正確に「ステップ」項目を選択したいのですが、カーディナリティで推測を制限すると満足できなくなりました。

ルールで真であるすべての述語の要素を含むリストを作成する方法が DLV にあるかどうか疑問に思っていました。たとえば、次の述語がある場合

私が探している結果は、最初の要素が最初のパラメーターでfooあり、2 番目のパラメーターが最初のパラメーターに関連付けられたすべての要素を含むリストを含む新しい述語である必要があります。経験的に：

次のコードを使用して、これらの結果 (さらに多くの結果) を取得する方法があることを知っています。

しかし、サイズが 1 から N (N は最終リストの要素数) のすべての可能なリストの生成を防ぐ方法があるかどうかを知りたいです。(1) 計算コストを削減する (2) 不要な述語をすべて破棄しないようにするためです。

計算コストが問題にならない場合 (その可能性もあります)、最大のリストを持つ述語のみを保持するために、次の変更を考えていました。

ただし、これは複雑になり始め、そのうちの 1 つだけでなく、最大サイズのすべてのリストを表示しています。1つを除くすべてを取り除くにはどうすればよいですか? 他のバー(A、_)がない場合にのみバー(A、P)を生成しようとしましたが、「ルールは安全ではありません」と表示されます。また、発生回数を数えてみると、同様の問題が発生します...

最も重要なことは、それほど多くのトリックを行わなくても、期待どおりの結果を一度に得ることができるかということです。

どんな助けでも大歓迎です、

ありがとう！

次の回答セットのプログラミングの問題が発生しましたが、私の回答が正しいかどうかはわかりません。

• A(X) は通常 E(X)
• U(X) は通常、E(X) ではありません
• G(X) は通常 E(X)
• すべての G(X) は U(X) です
• U(X) は通常 A(X)
• G(t1)
• E(t2)ではなくG(t2)
• U(t3)

以下は私の Clingo コードです。

クリンゴ 0 pm.lp は:

私のコードが正しくて完全かどうかわからない?

私はセットプログラミングに答えるのが初めてで、助けが必要です。私はこれを読んでいますが、まだ助けが必要です。回答セット プログラミングを使用して、グラフが強く接続されているかどうかを確認するにはどうすればよいですか?

私のブレインストーミング:

• ノードとエッジ (つまり、ノード (1..2)、エッジ (1,2)、およびエッジ (2,1)) によって表されるグラフ。

• ここで、グラフが強く接続されている場合に true となる "strong() :- ......" というルールが必要です。

• 任意のノードから開始し、エッジが指す方向にエッジをたどることによって他のノードに到達できる場合、グラフは強く接続されています。

• したがって、私のプログラムは、各ノード X を取得し、有向エッジに沿って進み、他のすべてのノードに到達しようとする必要があります。他のすべてのノードに到達する場合は True、それ以外の場合は False。

強い（） ：- ？

PCGBookの第 8 章の演習からコードを実行しようとしています。彼らは clgo を使用していますが、使用しているバージョンについては言及していません。Potassco の sourceforge (バージョン 4.5.4) から Clingo の最新バージョンをダウンロードすると、レクサー エラーが発生します。これは、Gringo 3 と Gringo 4 の間で構文が変更されたためだと思われます。 Potassco の Web サイトでは、Gringo の両方のバージョンをダウンロードすることで修正する方法が示されていますが、両方を参照する方法については言及されていません。 Clingo でプログラムを実行しています。Gringo 3.0.0 をダウンロードして gringo.exe を置き換えましたが、clingo.exe は最新バージョンの Gringo でコンパイルされています。

Gringo 3 で Clingo の最新バージョンまたは互換性のある最新バージョンをダウンロードするにはどうすればよいですか?