研究生第2章(知识表示与推理1-目录).ppt

文档介绍：2017/11/11
人工智能
Artificial Intelligence (AI)
许建华
******@njnu.
南京师范大学计算机科学系
2006年9-12月
2017/11/11
第2章:知识表示与推理
知识表达的一般方法
状态空间法
问题归约法
谓词逻辑法
图的搜索技术
图搜索策略
盲目搜索技术
启发式搜索技术(A*算法)
2017/11/11
与或图的搜索技术
与或树的盲目搜索技术
与或图的启发式搜索算法(AO*算法)
博弈问题的搜索技术
博弈问题的表达
极大极小搜索过程
-剪枝方法
2017/11/11
消解原理
子句集的求取
消解原理
消解推理规则
含有变量的消解式
消解反演求解过程
Horn子句集消解
Prolog 语言简介