問題タブ [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.
automation - アンサー セット プログラミング - FACT を無効にする
アンサー セット プログラミングに関して、ナレッジ ベースに既定のステートメントが既に (また) 存在する場合に、既存のファクトを無効にする方法について質問があります。
たとえば、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 行目は次のように書くこともできます。
よろしくお願いします。
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)
。どうすればそれを実装できますか?
前もって感謝します。
prolog - Prolog/ASP(Clingo) から CLIPS へのトランスレータ
Prolog/ASP コードを CLIPS に変換する簡単な方法はありますか?
このようなものですが、Prover9 の代わりに CLIPS を使用しています: https://github.com/potassco/anthem/tree/master/examples