3

私はリレーショナル句の論理を理解するのに苦労しています.これが質問する場所であるかどうかはわかりませんが、誰かが次の質問でガイダンスを提供できれば、改訂に大いに役立ちます.

P をプログラムとします。

academic(X); student(X); other_staff(X):-
      works_in(X, university).
:-student(john).
:-other_staff(john).
works_in(john, university)

質問: P の Herbrand 解釈はどれですか?

4

1 に答える 1

1

これは通常の Prolog 構文ではありません。ISO Prolog では ";" は使用できません。頭の「:-」の左側にある演算子。これは、「p は、アカデミック、学生、その他のスタッフのそれぞれです」という意味だと推測していp(X) :- works_in(X, university)ます。

Herb(P) と呼ばれる P の Herbrand 解釈は、プログラム内の述語とアトムから構成される文のセットであり、プログラムからの推論の下で閉じられた文のセットの中で最も少ないものです。これには、P で主張されている事実が含まれています。この場合、2 つの 1 位述語があり、文節を適用して派生可能な文があります。ここには、適用可能な 2 つの推論があり、どちらも同じ結論、2 位述語を与えています。これにより、3 つの要素を持つ集合 Herb(P) が得られます。

于 2010-05-31T11:55:15.627 に答える