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

12.1 非物质化人机工程 12.2 网络化人机工程 12.3 虚拟化人机工程 12.4 数字化人机工程 12.5 智能化人机系统

1.1.1 机器人的定义 1.1.2 机器人的发展历史 1.1.3 机器人的分类 1.1.4 机器人技术展望 1.3.1 机器人的组成 1.3.3 机器人的性能要素

延安大学：《智能机器人》课程教学资源（PPT课件讲稿）机器人基础知识（信息技术与机器人教学）