试验1：用谓词表示猴子摘香蕉问题
实验内容：
利用一阶谓词逻辑求解猴子摘香蕉问题：房内有一个猴子，一个箱子，天花板上挂了一串香蕉，其位置如图所示，猴子为了拿到香蕉，它必须把箱子搬到香蕉下面，然后再爬到箱子上。请定义必要的谓词，列出问题的初始化状态（即下图所示状态），目标状态（猴子拿到了香蕉，站在箱子上，箱子位于位置b）。写出所用谓词的定义，并给出每个谓词的功能及变量的个体域，然后编程实现。
实验目的：
通过此实验加深对谓词逻辑和谓词知识表示的理解。 实验报告要求：
所撰写的实验报告必须包含以下内容：
1. 所用谓词的定义以及每个谓词的功能及变量的个体域； 2. 实验结果；（可截图）
3. 提供全部源程序及软件的可执行程序。（打印）
实验2：八数码问题
实验内容：
八数码问题：在3×3的方格棋盘上，摆放着1到8这八个数码，有1个方格是空的，其初始状态如图1所示，要求对空格执行空格左移、空格右移、空格上移和空格下移这四个操作使得棋盘从初始状态到目标状态。
2 5 4 3 7
1 2 3 8 4 1 8 6 7 6 5 (a) 初始状态 (b) 目标状态
请任选一种盲目搜索算法（深度优先搜索或宽度优先搜索）或 任选一种启发式搜索方法（A 算法或 A* 算法）编程求解八数码问题（初始状态任选），并对实验结果进行分析，得出合理的结论。 实验目的：
1. 熟悉人工智能系统中的问题求解过程；
2. 熟悉状态空间的盲目搜索和启发式搜索算法的应用； 3. 熟悉对八数码问题的建模、求解及编程语言的应用。 实验报告要求
所撰写的实验报告必须包含以下内容： 1. 算法基本原理和流程框图； 2. 基本数据结构分析和实现；
3. 编写程序的各个子模块，按模块编写文档，含每个模块的建立时间、功能、输入输出参数意义和与其它模块联系等；
4. 程序运行结果，含使用的搜索算法及搜索路径等； 5. 实验结果分析； 6. 结论；
7. 提供全部源程序及软件的可执行程序。
2