5.1 概述 5.2 基于谓词逻辑的机器推理 5.3 基于产生式规则的机器推理 5.4 几种结构化知识表示及其推理 5.5 不确定性知识的表示与推理

3.1 状态图搜索 3.2 状态图搜索问题求解 3.3 与或图搜索 3.4 与或图搜索问题求解

6.1 机器学习概述 6.2 符号学习 6.3 神经网络学习 6.4 知识发现与数据挖掘

2.1 基本PROLOG 2.2 Turbo PROLOG程序设计

西安石油大学：《人工智能导论》课程教学资源（教案讲义）实验大纲

西安石油大学：《人工智能导论》课程教学资源（教案讲义）实验指导书（小型专家系统设计与实现）

西安石油大学：《人工智能导论》课程教学资源（教案讲义）授课计划 Introduction to Artificial Intelligence

7.1 机器人规划的作用与任务 7.2 积木机器的机器人规划 7.3 STRIPS规划系统 7.4 具有学习能力的规划系统 7.5 分层规划 7.6 基于专家系统的机器人规划 7.7 太空构件装配顺序规划 7.8 小结

4.1 概述 4.2 神经计算 4.3 模糊计算 4.4 粗糙集理论 4.5 遗传算法 4.6 进化策略 4.7 进化编程 4.8 人工生命 4.9 粒群优化 4.10 蚂群算法 4.11 自然计算 4.12 免疫算法

3.1 经典推理和非经典推理 3.2 非单调推理 3.3 时序推理 3.4 不确定性推理 3.5 概率推理 3.6 主观Bayes方法 3.7 可信度方法