liuzhuo408的博客

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

《人工智能导论》 自然演绎推理方法例题 设已知以下事实： 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) 应用推