《人工智能导论》自然演绎推理
《人工智能导论》自然演绎推理方法例题
设已知以下事实：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:摘录于《人工智能导论》王万良侵删