关系从句逻辑问题：什么是 Herbrand 解释
我很难掌握关系从句逻辑，我不确定这是否是提问的地方，但如果有人可以提供以下问题的指导，这将对我的修改有很大帮助。
设 P 为程序：
academic(X); student(X); other_staff(X):-
works_in(X, university).
:-student(john).
:-other_staff(john).
works_in(john, university)
问题：赫布兰德对 P 的解释是什么？
I'm having a hard time coming to grips with relational clausal logic, and I'm not sure if this is the place to ask but it would be help me so much with revision if anyone could provide guidance with the following questions.
Let P be the program:
academic(X); student(X); other_staff(X):-
works_in(X, university).
:-student(john).
:-other_staff(john).
works_in(john, university)
Question: Which are the Herbrand interpretations of P?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
这不是常规的 Prolog 语法：ISO Prolog 不允许使用“;”运算符位于头部，位于“:-”的左侧。我猜测这意味着“对于 p 来说，p 是学术人员、学生、其他员工中的每一个，
p(X) :-works_in(X, University)”。P 的 Herbrand 解释，称为 Herb(P) 是由程序中的谓词和原子组成的一组句子，这是在程序推理下封闭的最小此类句子集。这包含 P 中断言的事实：在这种情况下，有两个单位谓词，以及可通过应用该子句导出的句子：这里有两个适用的推论，都给出相同的结论，即一个双位谓词。这给出了一个包含三个元素的集合 Herb(P)。
This isn't regular Prolog syntax: ISO Prolog doesn't allow ";" operators in the head, to the left of the ":-". I'm guessing that this means "For p is each of academic, student, other_staff,
p(X) :- works_in(X, university)".The Herbrand interpretation of P, call it Herb(P) is a set of sentences made up from the predicates and atoms in the program, which is the least such set of sentences closed under inference from the program. This contains the facts asserted in P: in this case there are two one-place predicates, and the sentences derivable from applying the clause: here there are two inferences applicable, both giving the same conclusion, a two-place predicate. This gives a set, Herb(P), with three elements.