人工智能之知识表达与知识库.ppt

对于蕴涵命题： P?Q 只有当 P 不成立而 Q 成立时，其蕴涵关系被打破，故此时取逻辑值 F，其余情形取逻辑值 T。 依据这样的理解，P?Q 的等价公式就是 ?P?Q。 然而，?P?Q 只是对 P?Q 的一种弱表达。 例：天气预报： “If 明天下雨，Then 最高气温?20?C。” 这里： P=“明天下雨” Q=“最高气温?20?C” 结果： (1) 第二天，下雨了 (P＝T)，并且，最高气温＝18?C (Q＝T)，体现了 P?Q 的蕴含关系，所以，P?Q ＝T。 (2) 第二天，下雨了 (P＝T)，然而，最高气温＝25?C (Q＝F)，违背了 P?Q 的蕴含关系，所以，P?Q ＝F。 (3) 第二天，没下雨了 (P＝F)，而最高气温＝18?C (Q＝T)，这种情形并不意味着违背 P?Q 的蕴含关系，按无罪推定，P?Q 的蕴含关系仍然成立，所以，P?Q＝T。 (4) 第二天，没下雨了 (P＝F)，而最高气温＝25?C (Q＝T)，这种情形也不意味着违背 P?Q 的蕴含关系，按无罪推定，P?Q 的蕴含关系仍然成立，所以，P?Q＝T。 实际上，(3)和(4)两种情形下，因为没下雨 (P＝F)，所以我们并不能验证 P?Q 的蕴含关系，而只是推定其蕴含关系成立。因此，?P?Q 只是对 P?Q 的一种弱表达。 对于蕴涵命题： P?Q 只有当 P 不成