問題タブ [answer-set-programming]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票する
2 に答える
155 参照

automation - アンサー セット プログラミング - FACT を無効にする

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

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

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

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

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

よろしくお願いします。

0 投票する
1 に答える
459 参照

logic - クリンゴは変数範囲を適用します

私はクリンゴについてあまり知りません。問題を明確に共有できれば幸いです。

現在、私は

各 X、Y 値の結果を返します。X-XX と Y-YY の範囲を取得するにはどうすればよいですか。

例: ルールは for を生成cellUseCount(1,5,1)target(1,5,1,1)ます。しかし、私はしたいcellUseCount(1,1,1), cellUseCount(1,2,1), cellUseCount(1,3,1), cellUseCount(1,4,1), cellUseCount(1,5,1)ですtarget(1,5,1,1)。どうすればそれを実装できますか?

前もって感謝します。

0 投票する
1 に答える
262 参照

prolog - Prolog/ASP(Clingo) から CLIPS へのトランスレータ

Prolog/ASP コードを CLIPS に変換する簡単な方法はありますか?

このようなものですが、Prover9 の代わりに CLIPS を使用しています: https://github.com/potassco/anthem/tree/master/examples