- 博客(1)
- 收藏
- 关注
原创 《人工智能导论》自然演绎推理
《人工智能导论》自然演绎推理方法例题设已知以下事实: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)应用推
2021-04-29 20:08:44 4238
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人