私は人工知能のクラスを受講しており、Answer Set Programming (特に Clingo) を扱っています。現時点では主に理論について話していますが、モデルと最小モデルを区別するのに問題があります。次の定義があります。
規則、モデル、最小モデル、および明確なプログラムの回答セットを満たす
- 規則の本体に「not」がない場合、プログラムは確定的であると呼ばれます。
- 集合 S は a:- b1, …, bm, not c1, …, not cn という形式の規則を満たすと言われます。その本体が S によって満たされる場合 (つまり、b1 … bm が S にあり、c1 ... cn のいずれも S にない) は、その頭部が S によって満たされる必要がある (つまり、a が S にある) ことを意味します。
- 集合 S は、そのプログラムのすべての規則を満たしている場合、そのプログラムを満たしていると言われます。
- 集合 S は、(a) S が P を満たす (S は P のモデルであるとも呼ばれる) 場合、および (b) S の厳密な部分集合が P を満たす場合 (つまり、S がP の最小モデル)。
質問の場合 (宿題ではなく、講義のスライドから引用):
P is defined as:
a :- b,e.
b.
c :- d,b.
d.
Which of the following are models and least models?
{}, {b}, {b,d}, {b,d,c}, {b,d,c,e}, {b,d,c,e,a}
上の質問の答えを誰か教えてください。おそらくそこから違いを理解することができますが、誰かが(教科書の定義ではなく)一般的な言葉で違いを説明できれば、それは素晴らしいことです. この質問をどのフォーラムに投稿すればよいかわかりません。別の場所に投稿する必要がある場合はお知らせください。
ありがとう