谓词演算,蕴涵

Question

我是谓词新手，一般是人工智能，但我知道这意味着如果前面的“->”为真，则为假，否则为假，否则为真。

但是如果我不知道后面的“->”边它是如何使用的呢？

这样，必须知道 parent(X, Y) 才能知道这个谓词是 false 还是 true ，尽管 parent(X, Y) 是我们想推断。

∀ X ∀ Y 父亲(X, Y) ∨ 母亲(X, Y) → 父母(X, Y)

Answer 1

在维基百科here 上查看这篇文章。你有多项选择，你的陈述可以是真的，也可以是假的。这也是在 udacity Ai 课程上，他们刚刚将它放在一个单独的类别中，部分已知。它仍然比未知要好，但您必须使用其他东西。