国科大高级人工智能8-归结原理和horn子句
只有一条规则的推理 resolution(消解，归结） CNF（conjunction normal form合取范式 （ A ∨ B ) ∧ ( B ∨ C ) （A∨B)∧(B∨C) （A∨B)∧(B∨C) 任何逻辑式都可转化为语义等价的CNF resolution消解（推理规则） 完备的 可靠的 complementary literal:互补文字 eg:A和¬A resolution是完备
相关文章
- 1. 国科大高级人工智能6-GAN
- 2. 国科大高级人工智能4-CNN
- 3. 国科大高级人工智能笔记1-搜索
- 4. 国科大高级人工智能2-人工神经网络（MLP、Hopfield）
- 5. 国科大2017-2019高级人工智能试题以及答案总结
- 6. 国科大高级人工智能9-模糊数学和遗传算法
- 7. 国科大高级人工智能5-RNN/LSTM/GRU/集束搜索/attention
- 8. 人工智能 —— 归结演绎推理
- 9. 【人工智能】归结演绎推理
- 10. 人工智能基础——鲁宾孙归结原理
- 更多相关文章...
- • MyBatis的工作原理 - MyBatis教程
- • XML DOM 高级 - XML 教程
- • 算法总结-归并排序
- • ☆技术问答集锦（13）Java Instrument原理
相关标签/搜索
每日一句
-
每一个你不满意的现在，都有一个你没有努力的曾经。
欢迎关注本站公众号,获取更多信息
