問題タブ [clingo]

clgoでコンパイルされた次のコードを検討してください。

ファイルtest.lp. コンパイル コマンド: clingo 0 test.lp.

コードは、各色の頻度の合計を計算する必要があります。の場合"red"、これは である必要が9あり、“blue"これは である必要があります100。"red"値2が 2 回カウントされるためです。リストを順序付きリストにし、順序付き合計を提供する必要がある で置き換える{...}と、コンパイラは不平を言います。私は持っています。コードまたはコンパイラに何か問題がありますか?[…]error: syntax error, unexpected [, expecting {clingo version 4.5.4

ASPで注文した合計を実行する方法を教えてください。

私はclingoバージョン 4 を使用しており、python スクリプトを介してリレーションを接地できるようにしたいと考えています (理由は聞かないでください。少なくとも 1 項リレーションを接地できるため、犯罪ではありません)。これが可能であることを願っており、助けが必要です。

これは機能しません。誰もこれを行う方法を知っていますか? 代わりに試してみ[(10,20),(30,40),(70,40)]ましたが、それもうまくいきませんでした。

ASP / `clingo (バージョン 4 以降) で Python スクリプトを使用しているときに、基本的な問題が発生しています。ポイントを説明するために、最小限の例で問題を再構築しました。明らかに、この例では、スクリプトを使用する必要はありません。しかし、私のより複雑なアプリケーションでは、よりわかりやすい方法で問題を人為的に再現しました。

問題は、集約/最適化を呼び出している間、値のインデックス付けに使用されているすべての完全な述語を何らかの形でコンパイラが登録しないことです。代わりに、最小値を連続して計算しているように見え、その結果、途中ですべての値が吐き出されます。(以下の出力を参照してください。最小値が 59 から 19 になり、その後 29 に変化しないことに注意してください。これは、コードprg.groundの一部の呼び出しの順序に非常に敏感#script (python)です。)

これは非常に望ましくないため、この問題を回避する方法を知りたいです。つまり、正しいモデルが計算されるように、まだ python-script (変更されている可能性があります) を使用している以下のコードをどのように修正できますか。(この例では、明らかに、述語の解決策min_sel_weight/1はmin_sel_weight(19)それ以上の値がないことです。

プログラム。

を呼び出す clingo 0 myprogramme.lp と、次の出力が得られます。

免責事項：私はクリンゴにほぼ完全に慣れておらず、セットプログラミング全般に答えています。

クリンゴを使用してグリッド ロジック パズルを解こうとしています。まず、各カテゴリのインスタンスを 1 つ含むすべてのモデルを生成します。

たとえば、3 人の人: person(a; b; c).、3 つの家: house(w; x; z).、および 3 つの色: color(r; g; y).

assign(a, r, x), assign(b, g, z), assign(c, y, w) 1 つの潜在的な安定モデルを に、別の潜在的な安定モデルを などにしたいと思い assign(a, g, w), assign(b, y, z), assign(c, r, x)ます。これらのモデルを取得したら、パズルが解決されるまで制約を使用してモデルを削除できると考えています。

選択規則と制約を使用してみました:

しかし、これは多くの変数を持つ大規模なパズルにはあま​​り拡張できません。誰でもこれを行うためのより良い方法をアドバイスできますか?

net.sf.tweety.lp.asp、バージョン 1.8 から clingo ソルバーを実行しようとしています。私は clgo バージョン 4.3.0 を使用しています。

コードは次のとおりです。

実行すると、次のエラーが表示されます。

clingo: 回答セットの解析中にエラーが発生しました! net.sf.tweety.lp.asp.parser.ParseException: Encountered " "version "" at line 1, column 9. 次のいずれかを期待していました: "," ... "(" ... "}" ...

それを引き起こしている可能性のあるものに関するアイデアはありますか?

アンサー セット プログラミングに関して、ナレッジ ベースに既定のステートメントが既に (また) 存在する場合に、既存のファクトを無効にする方法について質問があります。

たとえば、2 人の人がいsebyてandy、そのうちの 1 人が同時に運転できるとします。シナリオはseby、3 行目に見られるように運転することができますが、たとえば、彼の免許が取り消された後、彼はもう運転することができないとしましょう。したがって、4 行目から 7 行目までがあり、その間に 7 行andy目に見られるように運転を学びました。6 行目は 1 つだけを示しています。人は一度に運転することができますが、示す以外に同じではsebyありandyません。

上記のプログラムでは、3 行目と 7 行目は 6 行目と矛盾しており、(私が使用している) Clingo ソルバーは明らかに を出力しますUNSATISFIABLE。

以上のことをすべて言いましたが、行 3 を削除するとは言わないでください。そうすれば問題は解決します。この質問の背後にある意図は、Line 3 を何らかの方法で無効にして、Line 4 にその義務を果たさせることができるかどうかを知ることです。

ただし、4 行目は次のように書くこともできます。

よろしくお願いします。