《人工智能导论》自然演绎推理

《人工智能导论》

自然演绎推理方法例题

设已知以下事实：
1.凡是容易的课程小王（Wang）都喜欢。
2.C班的课程都是容易的。
3.ds是C班的一门课程。
求证:小王喜欢ds这门课程
证明：首先定义谓词：
EASY（x) :x是容易的；
LIKE（x,y):x喜欢y；
C(x) :x是C班的一门课程;
把上面已知事实及待求证的问题用谓词公式表示出来:
(∀x)(EASY(x)→LIKE(Wang,x))
(∀x)(C(x)→EASY(x))
C(ds)
LIKE(Wang,ds)
应用推理规则进行推理:
因为（∀x)(EASY(x)→LIKE(Wang,x))
由全称固化得
EASY(z)→LIKE(Wang,z)
因为 (∀x)(C(x)→EASY(x))
由全称固化得
C（y)→EASY（y)
由P规则及假言推理得
C(ds),C(y)→EASY(y)⇨EASY(ds)
EASY(ds),EASY(z)→LIKE(Wang,z)
由T规则及假言推理得
LIKE（Wang,ds)
即小王喜欢这们课程

ps:摘录于《人工智能导论》王万良
侵删