人工智能原理实验

人工智能实验

计算机科学与技术

必修

实验一产生式系统实验

一、实验目的：

复习产生式系统相关内容，熟悉和掌握产生式系统的运行机制，掌握基于规则推理的基本方法，能够应用产生式系统解决简单问题的方法。

二、实验原理

产生式系统用来描述若干个不同的以一个基本概念为基础的系统，这个基本概念就是产生式规则或产生式条件和操作对。在产生式系统中，论域的知识分为两部分：用事实表示静态知识；用产生式规则表示推理过程和行为。

三、实验条件：

1、PC机

2、Windows操作系统平台

3、VC集成开发环境

四、实验内容：

1、问题描述：设有N(本次设计控制在1-9之间，下同)个传教士和N个野人同在河的左岸，他们都要到对岸去；河里只有一条船，他们都会划船，但每次渡船至多只能乘N人；如果在任何一边河岸上，野人的数量超过传教士，野人就要吃掉传教士，问怎样才能用船将N个传教士和N个野人从左岸都渡到右岸，又不会发生传教士被吃的事件呢？

2.建造产生式系统（包括规则库和事实库），然后进行推理，即可以自己输入任何的规则和事实，并基于这种规则和事实进行推理。

五、实验步骤：

1.数学模型描述：设计该问题的状态。使用三元组表示某一时刻传教士，野人，渡船情况，(左岸牧师数，左岸野人数，船的位置)。其中：左岸牧师数、左岸野人数取值范围为1－9之间；船的位置取值范围为0-1，0代表左岸，1代表右岸。

2.定义初始状态和目标状态。根据数学模型描述，初始状态为（N，N，1），目标状态为（0，0，0）。

3.定义产生式规则库。根据系统设计的规则要求列出所有合法的状态转变过程。基本思想：树的按层次遍历算法。由初始状态开始按层次逐个生成符合规则的产生式规则。

4.控制策略应用深度优先搜索方式在规则库中查找答案。控制策略用于整个的推理过程实现，本次设计的搜索算法为图搜索策略中的深度优先搜索方式。实验结论：

包括做实验的目的、方法、过程等，具体要写成实验报告，如下图所示。

次：左岸到右岸，传教士过去1人，野人过去1人次：右岸到左岸，传教士过去1人，野人过去0人次：左岸到右岸，传教士过去0人，野人过去2人次：右岸到左岸，传教士过去0人，野人过去1人次：左岸到右岸，传教士过去2人，野人过去0人次：右岸到左岸，传教士过去1人，野人过去1人次：左岸到右岸，传教士过去2人，野人过去0人次：右岸到左岸，传教士过去0人，野人过去1人次：左岸到右岸，传教士过去0人，野人过去2人次：右岸到左岸，传教士过去0人，野人过去1人

实验二谓词公式合一

一、实验目的：

理解代换、合一的概念，掌握对文字进行代换的方法；能够判断文字L1和L2经过执行某个代换s是否可合一。

二、实验原理

合一算法：文字L1和L2如果经过执行某个代换s，满足L1s=L2s，则称L1与L2可合一，s称为其合一元。

三、实验条件：

1. 合一演示程序。

2.IE5.0以上，可以上Internet。

四、实验内容：

理解合一原理，熟悉对可合一文字进行合一的方法。

五、实验步骤：

1.对测试用例进行试验。进入演示程序，点击“合一测试”，得到合一结果。

2.自定义待合一文字。点击“合一测试”验证合一概念。

3.语法检查。点击“语法检查”检查输入谓词公式的语法错误。如无错误，则依次点击步骤按钮进行消解。

4.重复运行2、3步，熟悉消解原理和消解过程。

六、实验报告：

实验三子句归结与合一

一、实验目的：

理解含有变量的子句如何使用消解规则，掌握子句消解的原理和规则，能熟练进行任意两个子句的消解，了解消解推理的某些常用规则。

二、实验原理：

对子句集进行消解推理，得到相应的结论。为了对含有变量的子句使用消解规则，我们必须找到一个置换，作用于父辈子句使其含有互补文字。消解两个子句时，可能有一个以上的消解式，不过，在任何情况下最多有有限个消解式。三、实验条件

子句归结与合一演示程序。

四、实验内容：

1.运行并观察演示实例。

2.输入新的子句，检查消解结果。

3.根据消解过程理解消解原理和常用规则。

五、实验步骤：

1. 默认示例演示。进入演示实例，点击“演示实例1”，然后点击“开始消解”，得到消解结果。

2.分别运行“演示实例2”和“演示实例 3”，观察消解结果，理解常用消解规则的应用。

3.自定义消解子句。点击“系统重置”按钮，再通过键盘与两个按钮“～”

与“∨”输入合法的子句，点击“加入子句集”加入子句集，点击“开始消解”，观察消解结果。

4.重复步骤3，多次输入不同子句进行消解，熟悉消解过程。

六、实验结论：

1.熟悉消解过程，理解子句消解规则。

2.给出自己输入的待消解子句、消解结果和详细过程。

实验四搜索算法的实现

一、实验目的：

熟悉和掌握广度优先、深度优先及启发式搜索的定义、估价函数涵义及作用，掌握算法实现方法，并利用A*算法求解N数码难题，理解求解流程和搜索顺序。

二、实验原理：

A*算法是一种有序搜索算法，其特点在于对估价函数的定义上。对于一般的有序搜索，总是选择f值最小的节点作为扩展节点。因此，f是根据需要找到一条最小代价路径的观点来估算节点的，所以，可考虑每个节点n的估价函数值为两个分量：从起始节点到节点n的代价以及从节点n到达目标节点的代价。

三、实验条件：

1.N数码难题演示程序。

2.IE5.0以上，可以上Internet。

三、实验内容：

1.分别以8数码和15数码为例实际求解A*算法。

2.画出A*算法求解框图。

3.分析估价函数对搜索算法的影响。

4.分析A*算法的特点。

四、实验步骤：

1.开始演示。进入N数码难题演示程序，可选8数码或者15数码，点击“选择数码”按钮确定。第一次启动后，点击两次“缺省”或者“随机”按钮，才会出现图片。

2.点击“缺省棋局”，会产生一个固定的初始节点。点击“随机生成”，会产生任意排列的初始节点。

3.算法执行。点击“连续执行”则程序自动搜索求解，并演示每一步结果；点击“单步运行”则每次执行一步求解流程。“运行速度”可自由调节。

4.观察运行过程和搜索顺序，理解启发式搜索的原理。在下拉框中选择演示“15数码难题”，点击“选择数码”确定选择；运行15数码难题演示实例。

5.算法流程的任一时刻的相关状态，以算法流程高亮、open表、close表、节点静态图、当前扩展节点移动图等5种形式在按钮上方同步显示，便于深入学习理解A*算法。

6.根据程序运行过程画出A*算法框图。

五、实验报告要求：

1.A*算法流程图和算法框图。

2.试分析估价函数的值对搜索算法速度的影响。

实验五博弈树的启发式搜索

一、实验目的：

内容为极大极小搜索和α—β剪枝技术。极大极小搜索方法表示：对博弈树中的“或”节点，选其子节点中一个最大的得分作为父节点的得分，即选一个对自己最有利的方案；对“与”节点，选其子节点中一个最小的得分作为父节点的得分，即立足于最坏的情况。由于极大极小搜效率较低，因此引入α—β剪枝技术以减少扩展结点的数目。

“一字棋”游戏和一个给定结构的博弈树为媒介来展示搜索策略的。

二、实验原理：

重点掌握α—β剪枝技术，其原理是：

(1) 为α剪枝：对于一个与节点，若能估计出其倒推值的上确界β，并且这个β值不大于其父节点(一定是或节点)的估计倒推值的下确界α，即α≥β，则就不必再扩展该节点的其余子节点。这一过程称。

(2) β剪枝：对于一个或节点，若能估计出其倒推值的下确界α，并且这个α值不小于其父节点(一定是与节点)的估计倒推值的上确界β，即α≥β，则就不必再扩展该节点的其余子节点。

三、实验条件：

1.“一字棋”演示程序。

2.IE5.0以上，可以上Internet。

三、实验内容：

1.运用极大极小搜索策略，选择不同的搜索的层次进行博弈树问题的求解。

2.运用α—β剪枝策略，选择不同的搜索的层次进行博弈树问题的求解。

3.分析比较α—β剪枝对搜索过程的影响。

4.分析α—β剪枝算法何时最为高效。

四、实验步骤：

1.在菜单"Choice"中选择"Game"，进入"一字棋"游戏；

选择"Demo"，进入剪枝演示；

选择"Exit"，退出该程序。

2.在"一字棋"游戏状态下，选择菜单"Game"下的"Play Game"，切换到游戏界面；

在游戏界面中，左边的棋盘上进行游戏，单击下子；

点击右边的Search按钮以当前棋盘状态为初始状态进行搜索，右面的小棋盘显示搜索结果，红色点为建议下子的位置。

可选择搜索的层次和搜索的策略（极大极小搜索和α—β剪枝搜索）

3.选择菜单"Game"下的"Search Tree"，进入搜索树界面，如上图所示。此时棋盘缩小到屏幕左上角。

在左边区域每单击一次可显示搜索树的一个结点（注意：一定要确保已经点击了下方的"Search"进行过搜索，该搜索树以最近产生的搜索树为依据）；

叶节点左上角的数字为该节点所代表棋局的静态估计函数值：

非叶节点左上角的数字为经过搜索之后该节点的子节点中最佳的估计函数值。

棋盘大小选择框设置搜索树中棋盘节点的大小，选择完毕后需点击Search 按钮后才有效。

在棋局的任何时刻可搜索当前方的最佳走步。

五、实验报告要求：

1.博弈树搜索问题求解算法框图。

实验六 基于可信度的不确定性推理系统

一、实验目的：

理解和掌握基于可信度的不确定知识表示方法和推理过程，能够用Prolog 建立一个简单的不确定性推理系统。

二、实验原理

可信度方法是E.H.Shortliffe 等人在确定性理论(Theory of Confirmation)基础上，结合概率方法等提出的一种不确定性推理方法，其中C-F 模型是基于可信度表示的不确定性推理的基本方法。

1、知识不确定性的表示

C-F 模型中，知识用产生式规则表示，其一般形式是：

IF E THEN H ( CF(H, E) )

其中：

E 是前提，它既可以是简单条件，也可以是复合条件（AND 、OR ）； H 是结论，它可以是一个单一的结论，也可以是多个结论；

CF(H, E)是该条知识的可信度，称为可信度因子(Certainty Factor)或规则强度，为静态强度。CF(H, E)在[–1, 1]上取值，它指出当前提E 所对应的证据为真时，它对结论H 的支持程度，CF(H, E)的越大，就越支持结论H 为真。

2、证据不确定性的表示

在该模型中，证据的不确定性也是用可信度因子CF(E)表示的。

3、组合证据不确定性的表示

当组合证据是多个单一证据的合取时，即

E = E1 AND E2 AND (( AND En

则： CF(E) = min{CF(E1)，CF(E2) ,(，CF(En)}

当组合证据是多个单一证据的析取时，即

E = E1 OR E2 OR (( OR En

则： CF(E) = max{CF(E1)，CF(E2) ,(，CF(En)}

4、不确定性的传递算法

结论H 的可信度计算公式：

)}(,0max{),()(E CF E H CF H CF ?=

5、结论不确定性的合成算法

设有如下知识：

IF E1 THEN H ( CF(H, E1) )

IF E2 THEN H ( CF(H, E2) )

则结论H 的综合可信度可按如下步骤算出：

（1）首先，分别对每一条知识求出CF(H)：

)}(,0max{),()()}

(,0max{),()(222111E CF E H CF H CF E CF E H CF H CF ?=?=

（2）然后，用下述公式求出E1和E2对H 的综合影响所形成的可信度CF1,2(H)：

???????-+<

与)()(|})(||,)(min{|1)()(0)(,0)()

()()()(0)(,0)()()()()()(2121212121212121212,1H CF H CF H CF H CF H CF H CF H CF H CF H CF H CF H CF H CF H CF H CF H CF H CF H CF H CF H CF

三、实验条件：

根据自己熟悉的领域，自行建立一个不少于10条规则的知识库，其中至少有两条规则支持同一结论，规则的静态强度用可信度表示。

四、实验内容：

用选定的编程语言开发一个具有解释功能的不确定推理系统。

五、实验步骤：

1、选定应用领域。

2、建立规则库，应用可信度因子标识规则不确定程度。

3、编程实现基于可信度的不确定性推理系统。

4、指定不同的初始证据及其不确定性，运行已建立的不确定系统，进行不确定推理，分析输出结果。

5、当多条规则支持同一结论时，完成结论不确定性的合成运算，分析输出结果。

六、实验报告要求：

1、证据不确定性、知识不确定性、结论不确定性的表示。

2、基于可信度的不确定性推理过程。

3、自定义规则及其推理结果。

4、分析不确定性的传递。