問題タブ [clingo]

そのような定義が可能であれば、クリンゴで「関数」を作成することについて、私は機知に富んでいます。私が達成しようとしていることの単純化されたバージョンで、私はこの非常に短いプログラムを書きました:

true基本的に、差の絶対値が 1 に等しい場合に任意の 2 つの数値が保持される隣接関数を定義したいと考えています。上記のプログラムに期待することは、結果を出力することですが、次のadj(1,2) adj(2,1) adj(2,3) adj(3,2)出力が表示されます。

（省略#hide a/1.した場合、答えが出力されます：） a(1) a(2) a(3)。

これはクリンゴ101のような気がするので、ここで基本を誤解しているのかもしれません。私はオンラインで出くわした例を研究してクリンゴを学ぼうとしていますが、明日の課題があるので急いでいます. 誰かが光を当てることができれば、それは素晴らしいことです. ありがとう。

私は人工知能のクラスを受講しており、Answer Set Programming (特に Clingo) を扱っています。現時点では主に理論について話していますが、モデルと最小モデルを区別するのに問題があります。次の定義があります。

規則、モデル、最小モデル、および明確なプログラムの回答セットを満たす

1. 規則の本体に「not」がない場合、プログラムは確定的であると呼ばれます。
2. 集合 S は a:- b1, …, bm, not c1, …, not cn という形式の規則を満たすと言われます。その本体が S によって満たされる場合 (つまり、b1 … bm が S にあり、c1 ... cn のいずれも S にない) は、その頭部が S によって満たされる必要がある (つまり、a が S にある) ことを意味します。
3. 集合 S は、そのプログラムのすべての規則を満たしている場合、そのプログラムを満たしていると言われます。
4. 集合 S は、(a) S が P を満たす (S は P のモデルであるとも呼ばれる) 場合、および (b) S の厳密な部分集合が P を満たす場合 (つまり、S がP の最小モデル)。

質問の場合 (宿題ではなく、講義のスライドから引用):

上の質問の答えを誰か教えてください。おそらくそこから違いを理解することができますが、誰かが（教科書の定義ではなく）一般的な言葉で違いを説明できれば、それは素晴らしいことです. この質問をどのフォーラムに投稿すればよいかわかりません。別の場所に投稿する必要がある場合はお知らせください。

ありがとう

私は生成しました：

レーザーフィールド 2+1+6 を合計するにはどうすればよいですか?

clingo_guild.pdf の 21 ページに次のような記述がありました。

そして出てくる：

しかし、私は得る：

クリンゴ 3.0.4 を使用しています。ご協力ありがとうございました。

プロセッサ「a」は、メッセージ「a_b_c_d」のヘッダー「a」を処理し、ペイロード「b_c_d」を次のレベルの別のプロセッサに渡します。

ASP でリスト 'a_b_c_d' をどのように表現し、上記を一般的なケースに変更すればよいですか?

clingo3 のロジック プログラムに最適化ステートメントがあります。

（基本的に、ソリューションには上記のものをできるだけ少なくしたいと考えています-それらはすべて同じ重量です）。

この構文は clingo3 では機能しますが、clingo4 では機能しません。clingo4 用にどのように書き直す必要がありますか?

テストデータ

仕事の種類と特定の仕事の従業員数に従って、従業員ごとにグループ化したいと考えています。例えば：

以下は私が実行しようとしているクエリです

アドバイスしてください、私は Clingo の初心者レベルです