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

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