我是谓词新手，一般来说是 AI，但我知道这意味着如果前面的“->”为真，则为假，否则为假，否则为真。
但是如果我不知道“->”之后的那一面，它是如何使用的？
这样，必须知道parent(X, Y)以知道该谓词是 false 还是 true ，尽管 parent(X, Y)是我们想要推断的。
∀ X ∀ Y 父亲(X, Y) ∨ 母亲(X, Y) → 父母(X, Y)
问问题
208 次
1 回答
0
在此处查看维基百科上的这篇文章。你有多项选择，你的陈述可以是真的，也可以是假的。这也是在 udacity Ai 课程上，他们刚刚将它放在一个单独的类别中，部分已知。它仍然比未知要好，但您必须使用其他东西。
于 2013-07-05T08:46:08.700 回答