- 博客(10)
- 收藏
- 关注
原创 【人工智能原理及其应用】习题二(4)
参考/参照书籍:《人工智能原理及其应用(第4版)》,王万森编著,北京-电子工业出版社,2018.8置换:在不同谓词公式中,往往会出现多个谓词的谓词名相同但个体不同的情况,此时推理过程是不能直接进行匹配的,需要先进行变元的替换。这种利用项对变元进行替换叫置换。合一:利用置换使两个或多个谓词的个体一致。自然演绎推理:从一组已知为真的事实出发,运用经典逻辑中的推理规则得到的结论。依据的推理规则:假言推理、拒取式推理、假言三段论等经典逻辑中的推理规则。
2024-10-28 08:30:00
1417
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人