人工智能(AI)-7-8章作業参考答案.docVIP

《人工智能原理》课程习题解答 7.4 证明下列的每个断言： a. 是合法的当且仅当 b. 对于任意的， c. 当且仅当是合法的 d. 是合法的当且仅当是合法的 e. 当且仅当是不合法的 说明：当且仅当在所有为真的模型中，也为真；当且仅当为真且为假时，为假。以下的证明将直接从上述定义出发进行。使用集合论的表示方法可以更简洁的表示为。 a. 一个语句合法即其在所有的模型中均为真。语句在所有的模型中都是合法的。因此当合法则成立（因为在所有的模型中和都成立）；如果成立，则一定是合法的，因为在所有成立的模型中必为真。 b. 在所有的模型中均不成立，所以在所有成立的模型中有成立(诡辩，其实没有这样的模型)。 c. 假设，考虑任意模型。若在模型中为真，则由假设可知在模型中也为真，所以在中也为真。另外，当在为假，则在中为真。因此是合法的。反过来，假设是合法的。考虑任意为真的模型，必定也为真，否则模型无法满足。所以有。 d. 应用c的结论从两个方向进行证明可得。 e. 由c推出，因为是不可满足的只有当是合法的。 7.5 考虑一个只有4个命题A、B、C和D的词表。对于下列语句分别有多少个模型？ a. b. c. 说明：通过计算真值表中为真的数目得到答案。记住不要忘记计算那些语句中没有提到的命题；如果一个语句只提到和，那么不要忘记在模型数目基础上乘上22(因为要考虑和)。 a. 6 提示：仅