我在谓词和人工智能领域是新手，但我知道蕴含的意思是，如果“->”前的部分为真而“->”后的部分为假，那么整个蕴含式为假；否则为真。

但是，如果我不知道“->”后的部分，该如何使用呢？

例如，parent(X, Y)必须已知，才能判断这个谓词是真还是假，尽管parent(X, Y)正是我们想要推断的。

∀ X ∀ Y father(X, Y) ∨ mother(X, Y) → parent(X, Y)

回答：

请查看维基百科上的这篇文章这里。你有多个选择，你的陈述可能是真的，也可能是假的。这也在Udacity的AI课程中提到过，他们将其归为一个单独的类别，部分已知。虽然这比未知要好，但你可能还需要使用其他方法。