人工智能(AI)78章作业参考答案.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提示：仅考