关系从句逻辑问题：什么是Herbrand解释

Question

我很难理解关系从句逻辑，不确定这是否是提问的正确地方，但如果有人能够提供以下问题的指导，那将会对我的复习非常有帮助。

设P为程序：

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

问题：P的Herbrand解释是什么？

- anotherstat

Answer 1

这不是常规的Prolog语法：ISO Prolog不允许在头部左侧使用“;”运算符。我猜这意味着“对于p为学术、学生、其他员工中的每一个，p(X) :- works_in(X, university)”。

P的Herbrand解释，称为Herb(P)，是由程序中的谓词和原子组成的一组句子，它是从程序推理闭合的最小句子集。其中包含了P中断言的事实：在这种情况下，有两个一元谓词和应用该条款可推导出的句子：这里有两个可适用的推论，都给出了相同的结论，即一个二元谓词。这样就得到了一个具有三个元素的集合Herb(P)。

- Charles Stewart