2、实验主要内容
[1] 对已有的产生式系统(默认的例子)进行演示,同时可以更改其规则库或(和)事实库,进行正反向推理,了解其推理过程和机制。
[2] 自己建造产生式系统(包括规则库和事实库),然后进行推理,即可以自己输入任何的规则和事实,并基于这种规则和事实进行推理。这为学生亲手建造产生式系统并进行推理提供了一种有效的实验环境。
3、实验条件
[1]产生式系统实验程序。
[2]IE5.0以上,可以上Internet。
二、梵塔问题实验
1、实验目的要求
熟悉和掌握问题规约法的原理、实质和规约过程;理解规约图的表示方法。
2、实验主要内容
[1]演示已有的梵塔问题(默认程序例程),可以更改圆盘数量,了解问题解决的归约过程。
[2] 分析归约机理,熟悉问题规约的详细过程。
[3] 自己建造一个梵塔问题归约系统,然后根据归约原理进行逆向推理,得到本原问题集合。通过解决这些本原问题,最终求解问题。
三、A*算法实验
1、实验目的要求
熟悉和掌握启发式搜索的定义、估价函数和算法过程,并利用A*算法求解N数码难题,理解求解流程和搜索顺序。
2、实验主要内容
[1] 分别以8数码和15数码为例实际求解A*算法。
[2] 画出A*算法求解框图。
[3] 分析估价函数对搜索算法的影响。
[4]分析A*算法的特点。