(1) 定义谓词：为喜欢。；：梅花；：菊花。
(2) 定义谓词：为在时间玩。：下午。
3) 定义谓词：为有。：人。
4) 定义谓词：为喜欢。。
5) 定义谓词：为通过。为到学习。。为外语考试。
3.1证明：
a, a→ccp规则及假言推理。
b, cb∧c引入合取词。
b∧c, b∧c→dd t规则及假言推理。
d, d→qqt规则及假言推理
q为真。3.4解：(1)
其子句集为：
其子句集为：
令。其子句集为：
令。其子句集为：
由于存在量词，不在任何全称量词范围内，故可直接消去原式。
利用skolem函数，设，得。
其子句集为：
重新命名变元代入有。
引入skolem函数，令。
其子句集为：
3.5解：(1) 与归结得，故子句集不可满足。
2) 与归结得；与归结得。与归结得，故子句集不可满足。
3) 由于存在，不可能归结出空子句，所以该子句集是可满足的。
4) 与归结得；与归结得；与归结得，故子句集不可满足。
5) 将化为子句集对子句进行归结：③与⑤归结得⑥；与①进行归结得；与③归结得。
(6) 化为子句集：：令和⑥归结得⑧；⑧和②归结得⑨；⑨和④归结得⑩；⑩和⑦归结得⑾；⑧和①归结得⑿；⑿和④归结得⒀； 和⑤归结得⒁；⑾和⒁归结得。
3.8解：定义谓词：
表示储蓄；表示是钱；表示是利息；表示获得。将前提表示为谓词公式：；化为子句集：
①；将结论表示为谓词公式：；化为子句集：③；与④归结得⑥；⑥与⑤归结得⑦；⑦与③归结得。
3.10解：把前提表示为谓词公式：f1: ；f2: ；f3: 。化为子句集：①；
设求证的公式为g：；把其否定并与答案谓词析取，化为子句集得④。①归结得⑤；③归结得⑥；④归结得⑦。所以，老李是小李的祖父。
人工智能作业
人工智能 由自然探索于创新课程所想。管理学院李先同 201200272120 人工智能是一个大家看似并不陌生的字眼，我们平时所用的手机，电影中的科幻元素无不充斥着人工智能。由此人工智能变成为了一个人人都知道，却又都不甚了解的事物。通过这学期自然探索与创新课程的学习，我了解到了人工智能的发展简史，更对...
人工智能作业
2014 人工智能 作业 1 提交时间10 21 1 食草动物与食肉动物问题。3只食草动物与3只食肉动物在河一边，并有一条船。船能坐一至两只动物。船不能空载。目标是，把每只动物送到河对岸，并且留在某岸边或者船上的食肉动物数不能多于食草动物数。请将此问题转换成一个搜索问题 a.定义一个状态表示。b.给...
人工智能作业
1.何谓估价函数，在估价函数中，g n 和h n 各起什么作用？解 估价函数的任务是估计待搜索节点的重要程度，给它们排定次序。g n 是起始点到达n的实际路径代价，h n 就是n到目标点最短路径的启发函数。2.设有如下结构的移动将牌游戏 其中，b表示黑色将牌，w表是白色将牌，e表示空格。游戏的规定走...